General

Profile

Martin Blicha

  • Registered on: 05/10/2022
  • Last connection: 21/02/2024

Issues

Projects

Activity

16/11/2022

12:42 OpenSMT 2 Revision d07c43b1: CMake: Update gtest and googlebenchmark version

06/11/2022

10:56 OpenSMT 2 Revision 29ad21fe: Add changelog entry
10:53 OpenSMT 2 Revision 0c266427: Tests: Add unit test for not computing bad substitutions
10:53 OpenSMT 2 Revision 1fb821e9: Tests: Rename test file

05/11/2022

10:11 OpenSMT 2 Revision 26fc2cd7: ArithLogic: Fix substitutions in presence of UF
Previously, in `collectSingleEqualitySubstitutions`, the variables were
processed in order as stored in `unordered_ma...

04/11/2022

11:50 OpenSMT 2 Revision 8c58827a: TSolvers: Fix solver schedule for UFLA
Before the change regarding the T-solvers schedule, in UFLA, UF solver
was always checked before the LA solver.
Howev...
11:50 OpenSMT 2 Revision 3eb606f9: Tests: Add regression test for UFLRA bug
11:50 OpenSMT 2 Revision bfe41d44: LASolver: Set `has_explanation` flag properly
It seems that LASolver was always setting `has_explanation` flag to
true, but never to false. This, in combination wi...

31/10/2022

19:22 OpenSMT 2 Revision 6c8b1701: Changelog: Add entry for changes in distinct

25/10/2022

15:18 OpenSMT 2 Revision dc472da7: Tests: Add tests for evaluating on constants

Also available in: Atom