Antti Hyvärinen
- Email: Antti.Hyvarinen@gmail.com
- Registered on: 23/10/2012
- Last connection: 25/10/2022
Issues
- Assigned issues: 15
- Reported issues: 3
Projects
- OpenSMT 2 (Manager, Developer, 31/08/2015)
- hifrog (Manager, Developer, 13/05/2016)
- hi-bench (Manager, Developer, 06/07/2016)
- verify solidity contracts (Manager, 21/08/2019)
- verify witness evaluation (Manager, 27/11/2020)
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 68c4dbc6: CI: split starexec build to release and debug
- 15:24 OpenSMT 2 Revision a5f8161c: CI: use custom docker image for starexec
- 15:24 OpenSMT 2 Revision 0c82e9fe: CI: more parallelism
- 15:24 OpenSMT 2 Revision ebacd324: circleci: Use packages from image
Also available in: Atom