Parvin Sadigova
- Login: p.sadigova@outlook.com
- Registered on: 26/01/2018
- Last connection: 27/09/2021
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| hi-bench | Developer | 16/07/2018 |
| OpenSMT 2 | Developer | 27/05/2018 |
Activity
27/11/2019
- 18:01 OpenSMT 2 Revision a62cd19d: several more test cases added to test Hrmite Normal Form computation
17/07/2019
- 16:10 OpenSMT 2 Revision 3fd6353e: working on compilation errors, and backuping in case if something happens to my computer..still have to fix the rest of the errors. Also not clear whether getPTref has to be implemented so that we get ptref from lvref of the bound?
- 10:56 OpenSMT 2 Revision 1abeeaad: all ptref from lavar and labound are moved to LASolver, no PTRef in LRAModel - this commit is also a backup in case if
13/07/2019
- 21:08 OpenSMT 2 Revision 3f26cd6f: backup of moving ptrefs from lvs in case if something happens to my computer
10/07/2019
- 10:04 OpenSMT 2 Revision b45b4738: trying to get tableau from matrix to be able to run simplex to check the HNF for sat or unsat
27/06/2019
- 14:52 OpenSMT 2 Revision c76193e2: converting matrix to tableau
25/06/2019
- 14:27 OpenSMT 2 Revision 086f8d01: 3 different methods that need Simplex
- 14:07 OpenSMT 2 Revision a7e527ab: constructors of the simplex split and fixed
04/06/2019
- 09:52 OpenSMT 2 Revision 094ac85f: some debugging fixes
30/05/2019
Also available in: Atom