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 |