aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme
Commit message (Expand)AuthorAge
* remove local-docker file transferLibravatar Aren Babikian2021-01-09
* fix dup decl bug + adjust famTree case studyLibravatar Aren Babikian2021-01-07
* prepping measurement setup w/ drealLibravatar Aren Babikian2021-01-06
* 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
* 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
* | Fix Z3 dependencyLibravatar Kristóf Marussy2020-11-26
|/
* Use String to create RealExprLibravatar anqili4262020-05-13
* removed unnecesary printingLibravatar Oszkar Semerath2020-05-12
* logging detailed measurement data for the numerical solverLibravatar Oszkar Semerath2020-05-12
* precise time measurements for the numeric solverLibravatar Oszkar Semerath2020-05-12
* Fixed bug in setting constant typesLibravatar anqili4262020-05-11
* Added support for real numbersLibravatar anqili4262020-05-10
* closing numerical solverLibravatar Oszkar Semerath2020-05-10
* Numeric Solver integration to explorationLibravatar Oszkar Semerath2020-05-09
* viatra parsing fixesLibravatar Oszkar Semerath2020-05-07
* Adjust classpath for Z3 in viatra2logicLibravatar ArenBabikian2020-05-06
* Merge branch 'Attribute-Solver'Libravatar anqili4262020-04-26
|\
| * Added FakeIntegerElementLibravatar anqili4262020-04-26
* | Merge branch 'Attribute-Solver'Libravatar anqili4262020-04-25
|\|
| * Added new testLibravatar anqili4262020-04-22
| * Added measurementsLibravatar anqili4262020-04-15
| * Added test methods with running time measurementLibravatar anqili4262020-04-15
| * Added logic to get a solutionLibravatar anqili4262020-04-15
| * Updated logic that creates a numeric problem using matchesLibravatar anqili4262020-04-08
| * Added logic to create a numeric problem instance with pattern matchesLibravatar anqili4262020-04-07
| * Added logic to form numeric problem templatesLibravatar anqili4262020-03-31
| * Added call to form numeric problem templatesLibravatar anqili4262020-03-31
* | Variable trace added to Viatra2Logic mappingLibravatar Oszkar Semerath2020-04-17
* | check constraint is a special evalLibravatar Oszkar Semerath2020-04-15
|/
* parsing count, min, max, check and eval v1Libravatar Oszkar Semerath2019-07-15
* Removed unnecessary loggingLibravatar OszkarSemerath2019-02-17
* Update error message for untranslated types in ViatraLibravatar OszkarSemerath2018-10-11
* updated support for java typesLibravatar OszkarSemerath2018-09-14
* Updated type provider to support java native typesLibravatar OszkarSemerath2018-08-10
* Scope support for attributesLibravatar OszkarSemerath2018-07-16
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
* upgraded attribute support for the graph solverLibravatar OszkarSemerath2018-03-24
* Translated PQueryies are added to annotation.Libravatar OszkarSemerath2018-02-24
* Removed PQuery from API, IQuerySpecification is used insteadLibravatar OszkarSemerath2018-01-23
* If a query is not supported query exception.Libravatar OszkarSemerath2017-09-27
* Transitive closure supportLibravatar OszkarSemerath2017-08-16
* Fixed a typo Libravatar Mayer Krisztián Gábor2017-08-08
* Added a try-catch to detect if a query cannot be translated (because,Libravatar OszkarSemerath2017-07-05
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-02 02:15:09 +0000