Antti Hyvärinen
- Login: hyvaeria@usi.ch
- Email: Antti.Hyvarinen@gmail.com
- Registered on: 23/10/2012
- Last connection: 25/10/2022
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 15 | 8 | 23 |
| Reported issues | 1 | 2 | 3 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| verify solidity contracts | Manager | 21/08/2019 |
| verify witness evaluation | Manager | 27/11/2020 |
| hi-bench | Manager, Developer | 06/07/2016 |
| hifrog | Manager, Developer | 13/05/2016 |
| OpenSMT 2 | Manager, Developer | 31/08/2015 |
Activity
24/10/2022
- 15:21 OpenSMT 2 Revision 65ee3c95: Changelog: some further updates
11/10/2022
- 16:29 OpenSMT 2 Revision 9172b7f0: THandler: fix explanation loop
- 15:15 OpenSMT 2 Revision 923c3616: TSolverHandler: remove redundant structure
- Once the code follows solver schedule there is no need to have a
separate storage for the solver pointers. The sched... - 14:32 OpenSMT 2 Revision 7cbf1c66: TSolverHandler: follow solver schedule
- Currently the order dictated in which solvers should be accessed, e.g.,
when asserting literals, is defined in a vect...
10/10/2022
- 16:20 OpenSMT 2 Revision b7a329c4: CI: Fix dockerhub repository name
08/10/2022
07/10/2022
- 15:24 OpenSMT 2 Revision ebacd324: circleci: Use packages from image
- 15:24 OpenSMT 2 Revision 0c82e9fe: CI: more parallelism
- 15:24 OpenSMT 2 Revision a5f8161c: CI: use custom docker image for starexec
- 15:24 OpenSMT 2 Revision 68c4dbc6: CI: split starexec build to release and debug
Also available in: Atom