Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | almost finish crossscen VQL + implement ITE handling + prelim results | 2021-01-20 | |
| | |||
* | Add config flag for selecting numeric solver. Integ with Z3 | 2021-01-06 | |
| | |||
* | add numericProblemSolver supertype | 2021-01-06 | |
| | |||
* | prep for refactoring Numeric Probelm Solvers | 2021-01-06 | |
| | |||
* | NumericProblemSolver is initialized only if it is necessary | 2020-11-13 | |
| | |||
* | Numeric Solver integration to exploration | 2020-05-09 | |
| | |||
* | Added new test | 2020-04-22 | |
| | |||
* | Added test methods with running time measurement | 2020-04-15 | |
| | |||
* | Updated logic that creates a numeric problem using matches | 2020-04-08 | |
| | |||
* | Added call to form numeric problem templates | 2020-03-31 | |
| | |||
* | parsing count, min, max, check and eval v1 | 2019-07-15 | |