- Email: Antti.Hyvarinen@gmail.com
- Registered on: 23/10/2012
- Last connection: 22/04/2021
- 20:18 OpenSMT 2 Revision 51db748b: Remove getKeysAndVals and co from Map and implement MapWithKeys (#248)
- * Implement MapWithKeys and use it when appropriate
* Rewrite some preconditions as asserts in minisat Map
- 10:30 OpenSMT 2 Revision 9ee02623: Unifying style, small refactorings (#239)
- Unifying style, small refactorings, cleaned constructors and destructors
- 18:15 OpenSMT 2 Revision 0d24a3b4: Fix pipe mode (#234)
- * fix #233
* Cleaning the pipe reading code, implemented handling of parentheses in quoted symbols, strings and comm...
- 14:25 OpenSMT 2 Revision 0034af7b: Osx build (#232)
- * Includes the OS X build to CircleCI config
* Ensures that build directory exists in CI in the build scripts
- 10:59 OpenSMT 2 Revision c3f45670: Move parallel solving related splitting information from logic to theory (#230)
- * Moved split-related information from logic to theory
* A better implementation for UFLRATheory. This is untested,...
- 18:29 OpenSMT 2 Revision 21c98e84: Do not copy termColors in iteration (#229)
- 18:29 OpenSMT 2 Revision 3531de1d: Fixes the presentation of a single interpolant to conform to the 2012 standard (#220)
- 11:47 OpenSMT 2 Revision d61b84ce: Conforming to the 2012 itp format. (#215)
- 17:16 OpenSMT 2 Revision 80a31a31: Add support for CircleCI (#214)
- Add support for CircleCI
* A default Debian system from circleci for building and testing with the system default g++...
- 16:45 OpenSMT 2 Revision be78eae3: Cleanup for undefined behaviour (#212)
- * Fixed undefined behaviour and counters in FastRationals
* Constructor and copying for TFun
* Fix TFuns to be stor...
Also available in: Atom