chsticksel kind2-dev issues

chsticksel / kind2-dev

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Include uploaddir to Makefile.options in jobserver

#323 chsticksel opened 9 years ago
0
Write installation instructions for jobserver

#322 chsticksel opened 9 years ago
0
Miniscope before quantifier elimination

#321 chsticksel opened 9 years ago
0
Allow condacts without return values

#320 chsticksel opened 9 years ago
0
Move transition relation to use offsets -1 and 0

#319 chsticksel opened 9 years ago
0
Annotate properties to their source

#318 chsticksel closed 9 years ago
0
Benchmark CVC4 against Z3

#317 chsticksel opened 9 years ago
0
Update ZeroMQ and CZMQ

#316 chsticksel opened 9 years ago
0
Investigate scheduling and cleanup of processes on cvc cluster

#315 chsticksel opened 9 years ago
0
Support Yices 1 and 2

#314 chsticksel opened 9 years ago
0
Unfunctorize SolverMethods and SMTSolver

#313 chsticksel opened 9 years ago
0
Exchange invariants for subsystems

#312 chsticksel closed 9 years ago
0
Assert invariants from subranges from the beginning on

#311 chsticksel opened 9 years ago
0
Maintain invariants in TransSys.t as set

#310 chsticksel opened 9 years ago
0
Add a renderer + better stats

#309 chsticksel opened 9 years ago
0
Evaluate k-induction without UF

#308 chsticksel opened 9 years ago
0
Merge invariant generation to main branch

#307 chsticksel opened 9 years ago
1
Accept arrays with recursive definitions Lustre

#306 chsticksel opened 9 years ago
0
Rewrite PDR with check-sat-assume

#305 chsticksel opened 9 years ago
0
Output sequence of blocking clauses as counterexample from PDR

#304 chsticksel opened 9 years ago
0
Define our semantics of assume guarantee reasoning

#303 chsticksel opened 9 years ago
0
Check bug in propagating clauses to future frames

#302 chsticksel opened 9 years ago
1
Include uploaddir to Makefile.options in jobserver

#301 chsticksel opened 9 years ago
0
Write installation instructions for jobserver

#300 chsticksel opened 9 years ago
0
Miniscope before quantifier elimination

#299 chsticksel opened 9 years ago
0
Allow condacts without return values

#298 chsticksel opened 9 years ago
0
Move transition relation to use offsets -1 and 0

#297 chsticksel opened 9 years ago
0
Annotate properties to their source

#296 chsticksel closed 9 years ago
0
Benchmark CVC4 against Z3

#295 chsticksel opened 9 years ago
0
Update ZeroMQ and CZMQ

#294 chsticksel opened 9 years ago
0
Investigate scheduling and cleanup of processes on cvc cluster

#293 chsticksel opened 9 years ago
0
Support Yices 1 and 2

#292 chsticksel opened 9 years ago
0
Unfunctorize SolverMethods and SMTSolver

#291 chsticksel opened 9 years ago
0
Exchange invariants for subsystems

#290 chsticksel closed 9 years ago
0
Assert invariants from subranges from the beginning on

#289 chsticksel opened 9 years ago
0
Maintain invariants in TransSys.t as set

#288 chsticksel opened 9 years ago
0
Add a renderer + better stats

#287 chsticksel opened 9 years ago
0
Evaluate k-induction without UF

#286 chsticksel opened 9 years ago
0
Merge invariant generation to main branch

#285 chsticksel opened 9 years ago
1
Accept arrays with recursive definitions Lustre

#284 chsticksel opened 9 years ago
0
Rewrite PDR with check-sat-assume

#283 chsticksel opened 9 years ago
0
Output sequence of blocking clauses as counterexample from PDR

#282 chsticksel opened 9 years ago
0
Define our semantics of assume guarantee reasoning

#281 chsticksel opened 9 years ago
0
Check bug in propagating clauses to future frames

#280 chsticksel opened 9 years ago
1
Include uploaddir to Makefile.options in jobserver

#279 chsticksel opened 9 years ago
0
Write installation instructions for jobserver

#278 chsticksel opened 9 years ago
0
Miniscope before quantifier elimination

#277 chsticksel opened 9 years ago
0
Allow condacts without return values

#276 chsticksel opened 9 years ago
0
Move transition relation to use offsets -1 and 0

#275 chsticksel opened 9 years ago
0
Annotate properties to their source

#274 chsticksel closed 9 years ago
0