General

Profile

Martin Blicha

  • Login: blichm@usi.ch
  • Registered on: 05/10/2022
  • Last connection: 02/08/2024

Issues

open closed Total
Assigned issues 0 0 0
Reported issues 0 0 0

Projects

Project Roles Registered on
verify solidity contracts Manager 24/10/2022
verify witness evaluation Manager 24/10/2022
hi-bench Manager 24/10/2022
hifrog Manager 24/10/2022
OpenSMT 2 Manager 24/10/2022

Activity

16/11/2022

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

06/11/2022

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

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

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...
Martin Blicha
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...
Martin Blicha
11:50 OpenSMT 2 Revision 3eb606f9: Tests: Add regression test for UFLRA bug
Martin Blicha

31/10/2022

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

25/10/2022

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

Also available in: Atom