- Email: Antti.Hyvarinen@gmail.com
- Registered on: 23/10/2012
- Last connection: 19/04/2019
- 12:05 OpenSMT 2 Revision 4c50dd1f: Fixed a problem with distinctions being applied to the node instead of the root of the node. Some tiny cleaning
- 18:34 OpenSMT 2 Revision 771bc674: Fixed a problem with distinct, which assumed that a distinct predicate in merge conflict only contains two equal atoms
- 17:39 OpenSMT 2 Revision cce79478: Fixed what is possibly a performance bug in lookahead, where backjumping inside lookahead computation resulted in restart instead of re-trying the same node.
- 14:48 OpenSMT 2 Revision 11cdca65: Cleaned a little the regression tests
- 14:26 OpenSMT 2 Revision 1a0f7a49: Implemented again the lookahead partitioning. Mostly untested, but might still work.
- 12:29 OpenSMT 2 Revision 85a8c72b: Cleaned code more
- 19:38 OpenSMT 2 Revision b2d96009: Cleaned more the code, separated the splitting code from general lookahead code. The splitting should not yet work correctly.
- 17:21 OpenSMT 2 Revision bae0948b: Fixed a bug with wrong model copying. Added a test case.
- 15:11 OpenSMT 2 Revision ad6a3514: Cleaned the Core/SimpSMTSolvers a little. Lookahead solver is now a subclass of SimpSMTSolver, but is untested.
- 12:25 OpenSMT 2 Revision 454f3b2a: Fixed some parser generator errors
Also available in: Atom