aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
...
* Merge branch 'dreal-integration' of https://github.com/viatra/VIATRA-Generato...Libravatar Aren Babikian2021-01-06
|\
| * Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2020-12-15
| * implement getOneSolution with Dreal IntegrationLibravatar Aren Babikian2020-12-14
| * implement isSatisfiable with Dreal integrationLibravatar Aren Babikian2020-12-14
| * add numericProblemSolver supertypeLibravatar Aren Babikian2020-12-13
| * prep for refactoring Numeric Probelm SolversLibravatar Aren Babikian2020-12-13
| * implement setup for dreal callsLibravatar Aren Babikian2020-12-13
| * remove auto-generated files and fix gitignoresLibravatar Aren Babikian2020-12-12
* | Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2021-01-06
* | implement getOneSolution with Dreal IntegrationLibravatar Aren Babikian2021-01-06
* | implement isSatisfiable with Dreal integrationLibravatar Aren Babikian2021-01-06
* | add numericProblemSolver supertypeLibravatar Aren Babikian2021-01-06
* | prep for refactoring Numeric Probelm SolversLibravatar Aren Babikian2021-01-06
* | implement setup for dreal callsLibravatar Aren Babikian2021-01-06
* | rebase dreal-integ on models20-measurementsLibravatar Aren Babikian2021-01-06
* | merge models20 measurementsLibravatar Aren Babikian2021-01-05
|\ \ | |/ |/|
| * add readme and diversity measurementsmodels20-measurementsLibravatar Aren Babikian2021-01-05
| * add notebook for generating plotsLibravatar Aren Babikian2021-01-05
| * add models20 measuement setup from VMLibravatar Aren Babikian2021-01-05
* | Prefer the global scope insted of nsURI in application configurationLibravatar Kristóf Marussy2020-12-02
* | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-12-02
|\ \
| * \ Merge branch 'master' of https://github.com/viatra/VIATRA-Generator.gitLibravatar Oszkar Semerath2020-11-27
| |\ \
| * | | System default backend set by EngineOptionsLibravatar Oszkar Semerath2020-11-27
* | | | Fix VQL validator breakage after Execute Application ConfigurationLibravatar Kristóf Marussy2020-12-02
| |/ / |/| |
* | | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-11-26
|\| |
| * | NumericProblemSolver is initialized only if it is necessaryLibravatar Oszkar Semerath2020-11-13
| * | copy-paste error fix attempt no2Libravatar Oszkar Semerath2020-11-13
| * | Update SolverLoader.xtendLibravatar Oszkár Semeráth2020-11-11
* | | Fix Z3 dependencyLibravatar Kristóf Marussy2020-11-26
|/ /
* | Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* | Must unit propagationLibravatar Kristóf Marussy2020-08-28
* | MoDeS3 unit propagation WIPLibravatar Kristóf Marussy2020-08-06
* | Fix time measurementLibravatar Kristóf Marussy2020-07-29
|/
* Clean up MODELS20 filesLibravatar Kristóf Marussy2020-07-16
* Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-07-16
* OptimizationsLibravatar Kristóf Marussy2020-07-14
* Fix event storm on EMF transaction finishLibravatar Kristóf Marussy2020-07-08
* Restore inverse punishSizeLibravatar Kristóf Marussy2020-07-07
* Trying to fix performance regressionsLibravatar Kristóf Marussy2020-07-07
* Add modified VIATRA-DSE versionLibravatar Kristóf Marussy2020-06-30
* Disable unrepairable match scoping for nowLibravatar Kristóf Marussy2020-06-30
* Fix scope + numerical solver interactionLibravatar Kristóf Marussy2020-06-28
* Fix scope + numerical propagation WIPLibravatar Kristóf Marussy2020-06-27
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * Scope unsat benchmarksLibravatar Kristóf Marussy2020-05-07
| * Fix concurrency bug in AlloyHandlerLibravatar Kristóf Marussy2020-02-12
| * Re-run generation for ApplicationConfiguration languageLibravatar Kristóf Marussy2019-10-29
| * MeasurementScriptRunner fixLibravatar Kristóf Marussy2019-10-29
| * Polyhedron solver SAT fix and initial scope filteringLibravatar Kristóf Marussy2019-10-29
| * Alloy cardinality fixesLibravatar Kristóf Marussy2019-10-29
generated by cgit v1.2.3-54-g00ecf (git 2.44.0) at 2024-05-03 04:16:57 +0000