aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner
Commit message (Expand)AuthorAge
* Issue where blocker is not between source and targetLibravatar Aren Babikian2021-01-22
* implement ignored attribute values as a config optionLibravatar Aren Babikian2021-01-22
* complete change of real representation BigDecimal->DoubleLibravatar Aren Babikian2021-01-14
* OptimizationsLibravatar Kristóf Marussy2020-07-14
* 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
| * Polyhedron solver SAT fix and initial scope filteringLibravatar Kristóf Marussy2019-10-29
| * Measurements WIPLibravatar Kristóf Marussy2019-08-14
| * Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-08-01
| |\
| * | Try fix statecode bugLibravatar Kristóf Marussy2019-06-15
* | | FIx Boolean export to gmlLibravatar Kristóf Marussy2020-05-20
* | | Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-20
|\ \ \
| * | | Add new state coderLibravatar Kristóf Marussy2020-05-19
* | | | adding numbers to gml visualizationLibravatar Oszkar Semerath2020-05-20
|/ / /
* | | Bigliteral serialization in xmi transformation fixedLibravatar Oszkar Semerath2020-05-11
* | | (lipstick)Libravatar Oszkar Semerath2020-04-15
* | | fixing index out ot bound exceptions for state codersLibravatar Oszkar Semerath2019-10-19
| |/ |/|
* | https://github.com/kris7t graph width calculation ->Libravatar Oszkar Semerath2019-07-15
|/
* Default state coder range set to Width, as it should beLibravatar OszkarSemerath2019-06-01
* Fix for symmetric activation codes on symmetric modelsLibravatar OszkarSemerath2019-05-13
* some missing string support bugs in partial interpretation are fixedLibravatar OszkarSemerath2018-11-07
* Scope initialisation is defaultLibravatar OszkarSemerath2018-09-14
* Added support for SHORT type as integerLibravatar OszkarSemerath2018-08-28
* Scope support for attributesLibravatar OszkarSemerath2018-07-16
* Fixing multiple "true" and "false" objectsLibravatar OszkarSemerath2018-06-20
* Updated partial model representation handlingLibravatar OszkarSemerath2018-06-13
* Moved partial model management is moved to one project (+1 PM edge fix)Libravatar OszkarSemerath2018-05-14
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
* upgraded attribute support for the graph solverLibravatar OszkarSemerath2018-03-24
* neighbourhood calculated to fix rangeLibravatar OszkarSemerath2017-10-27
* Representation included trace by accidentLibravatar OszkarSemerath2017-10-27
* Simple visualiser that prints the size of the intermediate solution.Libravatar OszkarSemerath2017-08-27
* Added known primitives to the scopeLibravatar OszkarSemerath2017-08-15
* Partial interpretation from initial instance modelLibravatar OszkarSemerath2017-08-15
* Literals from the problem are added to the initial set of primitiveLibravatar OszkarSemerath2017-08-15
* Partial interpretation initialiser with primitive typesLibravatar OszkarSemerath2017-08-15
* Adding visualisation support for partial interpretations.Libravatar OszkarSemerath2017-07-12
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-02 08:41:47 +0000