| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Implement support for alternative SMT solvers -- CVC3 and CVC4 |  Peter Collingbourne | 2012-09-06 |
| * | Restart prover after out-of-memory error; honour -restartProver option |  Michal Moskal | 2011-10-27 |
| * | Improve logging when -proverOpt:VERBOSITY=1 or 2 is specified | Michal Moskal | 2011-10-21 |
| * | Add PROVER_PATH prover option (to base options, but currently only used by SM... | Michal Moskal | 2011-08-29 |
| * | Dispose of the prover when Close() is called. |  MichalMoskal | 2011-02-23 |
| * | Pass solverarguments | MichalMoskal | 2011-02-23 |
| * | Recognize () as identifier terminators | MichalMoskal | 2011-02-18 |
| * | Kill the solver process when ctrl-c is pressed | MichalMoskal | 2011-02-17 |
| * | Provide /p: as the short form of /proverOpt:. | MichalMoskal | 2011-02-17 |
| * | Read prover responses; handle labels | MichalMoskal | 2011-02-17 |
| * | Make it possible to run Z3 on pipe; use generic PROVER_LOG options | MichalMoskal | 2011-02-17 |
| * | Start implementation of pipe communication in SMTLIB backend | MichalMoskal | 2011-02-17 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |