General

Profile

Antti Hyvärinen

Issues

Projects

Activity

22/05/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
Co-autho...

27/04/2021

10:30 OpenSMT 2 Revision 9ee02623: Unifying style, small refactorings (#239)
Unifying style, small refactorings, cleaned constructors and destructors

30/03/2021

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...

11/03/2021

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,...

02/03/2021

18:29 OpenSMT 2 Revision 21c98e84: Do not copy termColors in iteration (#229)

28/01/2021

18:29 OpenSMT 2 Revision 3531de1d: Fixes the presentation of a single interpolant to conform to the 2012 standard (#220)

22/01/2021

11:47 OpenSMT 2 Revision d61b84ce: Conforming to the 2012 itp format. (#215)

20/01/2021

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/01/2021

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