- Email: Antti.Hyvarinen@gmail.com
- Registered on: 23/10/2012
- Last connection: 06/02/2020
- 11:37 OpenSMT 2 Revision 413e7159: Readme so that I remember how to compile
- 11:15 OpenSMT 2 Revision fd55cd99: Added the GMP include directory to the build (required in my system)
- 11:25 OpenSMT 2 Revision f9ce95ab: Merge pull request #49 from usi-verification-and-security/substitution-refactor
- Substitution refactoring merged to master since #53 was fixed while this was in progress.
- 10:50 OpenSMT 2 Revision 92cd501a: Removed an old comment and aligned lines
- 14:38 OpenSMT 2 Revision 9d445b42: Fixed the substitution design
- 10:42 OpenSMT 2 Revision 1e22b311: Mid-workout fix
- 16:22 OpenSMT 2 Revision 4e4d2e10: Avoid passing stringstream through move constructor for supporting older c++ standard libraries
- 16:22 OpenSMT 2 Revision aa77340c: Fixed a missing return value
- 16:22 OpenSMT 2 Revision af475b96: Better unit tests, fixed a possible performance problem where each start node would potentially generate a new loop instead of having a unique loop.
- 16:22 OpenSMT 2 Revision 0be98635: Fixed several problems related to substitution handling, including a reset for the Tarjan algorithm specific part in substitution nodes.
Also available in: Atom