aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend
Commit message (Expand)AuthorAge
* almost finish crossscen VQL + implement ITE handling + prelim resultsLibravatar Aren Babikian2021-01-20
* Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2021-01-06
* add numericProblemSolver supertypeLibravatar Aren Babikian2021-01-06
* prep for refactoring Numeric Probelm SolversLibravatar Aren Babikian2021-01-06
* NumericProblemSolver is initialized only if it is necessaryLibravatar Oszkar Semerath2020-11-13
* Numeric Solver integration to explorationLibravatar Oszkar Semerath2020-05-09
* Added new testLibravatar anqili4262020-04-22
* Added test methods with running time measurementLibravatar anqili4262020-04-15
* Updated logic that creates a numeric problem using matchesLibravatar anqili4262020-04-08
* Added call to form numeric problem templatesLibravatar anqili4262020-03-31
* parsing count, min, max, check and eval v1Libravatar Oszkar Semerath2019-07-15
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-02 21:44:56 +0000