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
06/11/2022
- 10:56 OpenSMT 2 Revision 29ad21fe: Add changelog entry
- 10:53 OpenSMT 2 Revision 1fb821e9: Tests: Rename test file
- 10:53 OpenSMT 2 Revision 0c266427: Tests: Add unit test for not computing bad substitutions
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 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... - 11:50 OpenSMT 2 Revision 3eb606f9: Tests: Add regression test for UFLRA bug
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