Максим Зимнюков
- Login: zimmaxim
- Email: youda98@gmail.com
- Registered on: 09/10/2018
- Last connection: 06/08/2020
Issues
open | closed | Total | |
---|---|---|---|
Assigned issues | 0 | 0 | 0 |
Reported issues | 0 | 0 | 0 |
Activity
06/07/2020
- 06:39 PM Fortress Revision 1a4430e5 (solver-api): int to bitvec rules tests
- 05:31 PM Fortress Revision 936b06c4 (solver-api): boolector array parse + disabling not suitable for boolector tests
05/20/2020
- 10:19 AM Fortress Revision 6e78e0b2 (solver-api): int to bitvector ruleset
05/18/2020
- 09:52 PM Retrascope Revision b1febfca (retrascope): local fortress
05/13/2020
- 12:47 PM Retrascope Revision 0e73c7cf (retrascope): fix distributive
- 12:39 PM Retrascope Revision 71d84659 (retrascope): transformer rules for one argument or-and-xor
05/11/2020
- 10:06 PM Fortress Revision 98dea9e8 (solver-api): javadoc for boolector solver
- 09:44 PM Fortress Revision 68c1174e (solver-api): boolector year of development and indent fix
- 01:01 PM Fortress Revision 2c796ac6 (solver-api): remove kostyl fro boolector testing
- 12:50 PM Fortress Revision 99e0d697 (solver-api): boolector support
Also available in: Atom