Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Made 2 invariants of class 'CommandLineOptions' robust by: | wuestholz | 2015-01-09 |
* | Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T... | Ally Donaldson | 2013-12-02 |
* | Removed old comments about "BASEMOVE" and other constructor calls, where the ... | Unknown | 2013-01-07 |
* | Implement support for alternative SMT solvers -- CVC3 and CVC4 | Peter Collingbourne | 2012-09-06 |
* | Boogie: internal clean-up, removed BvHandling type, everything now behaves as... | Rustan Leino | 2011-10-27 |
* | Add PROVER_PATH prover option (to base options, but currently only used by SM... | Michal Moskal | 2011-08-29 |
* | Allow : instead of = in options | Michal Moskal | 2011-06-30 |
* | Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove... | MichalMoskal | 2011-02-11 |
* | Boogie: Committing changed source files | tabarbe | 2010-08-20 |
* | Boogie: Renaming core sources in preparation for port commit | tabarbe | 2010-08-20 |