aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme
Commit message (Expand)AuthorAge
* fix merging issueLibravatar 20001LastOrder2020-11-04
|\
| * 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
| |/
* | Merge branch 'master' into Realistic-Generation-SURELibravatar 20001LastOrder2019-06-05
|\|
| * Default state coder range set to Width, as it should beLibravatar OszkarSemerath2019-06-01
* | REALMET: implement incoming edges in visualisation. multips need fixLibravatar ArenBabikian2019-05-20
* | REALMET: first impl of n'hood visualis. minor bug with adding outgng 0s.Libravatar ArenBabikian2019-05-19
|/
* 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.2) at 2024-07-05 21:56:17 +0000