User Tools

Site Tools


ongoing_projects

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
ongoing_projects [2015/05/20 16:38]
vinnim
ongoing_projects [2017/07/15 12:19] (current)
kroening
Line 9: Line 9:
 | Under-approximative acceleration ​                | CBMC ''​goto-instrument/''​ | Matt       | released in version 4.4 | | Under-approximative acceleration ​                | CBMC ''​goto-instrument/''​ | Matt       | released in version 4.4 |
 | SMT2 backend parser with nested struct support ​  | CBMC ''​solvers/​smt2'' ​   | Peter      | experimental,​ not merged in yet | | SMT2 backend parser with nested struct support ​  | CBMC ''​solvers/​smt2'' ​   | Peter      | experimental,​ not merged in yet |
-| Incremental BMC                                  | CBMC ''​goto-symex/'',​ ''​cbmc/''​ | Peter      | available on ''​http://​www.cprover.org/​svn/​cbmc/​branches/​peter-incremental-unwinding''​ | +| Incremental BMC                                  | CBMC ''​goto-symex/'',​ ''​cbmc/''​ | Peter      | available on ''​http://​svn.cprover.org/​svn/​cbmc/​branches/​peter-incremental-unwinding''​ | 
-| Support for Heap theory ​                         | CBMC ''​solvers/​smt2'',​ ''​goto-symex/''​ | Peter      | ongoing, available on ''​http://​www.cprover.org/​svn/​cbmc/​branches/​ESOP2014-heap/''​ |+| Support for Heap theory ​                         | CBMC ''​solvers/​smt2'',​ ''​goto-symex/''​ | Peter      | ongoing, available on ''​http://​svn.cprover.org/​svn/​cbmc/​branches/​ESOP2014-heap/''​ |
 | Instrumentation for heap theory ​       | CBMC ''​goto-instrument/''​ | Peter      | ongoing | | Instrumentation for heap theory ​       | CBMC ''​goto-instrument/''​ | Peter      | ongoing |
 | Instrumentation for MC/DC test generation ​       | CBMC ''​goto-instrument/''​ | Peter      | ongoing | | Instrumentation for MC/DC test generation ​       | CBMC ''​goto-instrument/''​ | Peter      | ongoing |
ongoing_projects.txt · Last modified: 2017/07/15 12:19 by kroening