| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |