aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model
Commit message (Collapse)AuthorAge
* code for paperRealistic-Generation-SURELibravatar 20001LastOrder2020-11-15
|
* fix merging issueLibravatar 20001LastOrder2020-11-04
|\
| * Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
| |\
| | * Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-08-30
| | |\
| | * \ Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-08-01
| | |\ \
| | * \ \ Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-05-04
| | |\ \ \
| | * | | | Infrastructure for objective functionsLibravatar Kristóf Marussy2019-04-07
| | | | | |
| | * | | | Two-valued fault tree analyzer WIPLibravatar Kristóf Marussy2019-02-19
| | | | | |
| | * | | | Build with Eclipse 2018.12, generated files changeLibravatar Kristóf Marussy2019-02-19
| | | | | |
| * | | | | Fix attribute export to xmiLibravatar Kristóf Marussy2020-05-20
| | | | | |
| * | | | | Setting delimier in every printing mode to ','Libravatar Oszkar Semerath2020-05-17
| | | | | |
| * | | | | separtor ; -> \tLibravatar Oszkar Semerath2020-05-14
| | | | | |
| * | | | | Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
| | |_|_|/ | |/| | |
| * | | | Bug fixed in transitive closure expression builderLibravatar Oszkar Semerath2019-08-30
| | |_|/ | |/| |
| * | | parsing count, min, max, check and eval v1Libravatar Oszkar Semerath2019-07-15
| | | |
| * | | aggregated partial substitution + builderLibravatar Oszkar Semerath2019-07-09
| | |/ | |/|
* | | fix the null pointer error when trying reproducing the generation procedureLibravatar 20001LastOrder2019-05-27
| | |
* | | modify generation to log metrics measurementsLibravatar 20001LastOrder2019-05-27
| | |
* | | REALMET: first impl of n'hood visualis. minor bug with adding outgng 0s.Libravatar ArenBabikian2019-05-19
|/ /
* / Added aggregate expressions to logic language on the model levelLibravatar OszkarSemerath2019-05-04
|/
* Removed unnecessary loggingLibravatar OszkarSemerath2019-02-17
|
* Logic structure builder fix for string buildingLibravatar OszkarSemerath2018-11-07
|
* Progress monitor fixLibravatar OszkarSemerath2018-09-14
|
* ReasonerWorkspace adds Schema Location for saving Models into XMI. FixesLibravatar OszkarSemerath2018-07-21
| | | | | | | | #16 Therefore models can be opened using **Sample Reflective Ecore Model Editor** even if the metamodel is reachable. close
* Support for building float, double and BigDecimal literalsLibravatar OszkarSemerath2018-07-15
|
* cleanup imported packageLibravatar OszkarSemerath2018-07-15
|
* Added scope validation as a service of the solver interfaceLibravatar OszkarSemerath2018-07-15
|
* Additional packages for standalone runtime environmentLibravatar OszkarSemerath2018-07-06
|
* Added support for running application in plain java.Libravatar OszkarSemerath2018-07-05
| | | | (However, I might added several unnecessary dependencies to the visualisation package.)
* type multiplicity is refined to 0Libravatar OszkarSemerath2018-06-13
|
* Cleared metafilesLibravatar OszkarSemerath2018-05-12
|
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
|
* Updated and fixed dependencies:Libravatar OszkarSemerath2018-05-07
| | | | | | - All java library dependency: fixed to java 1.8 - Added Automatic-Module-Name to be compatible with java 1.9 - Added all sources explicitly to build.properties - removed .util packages generated by previous versions of Viatra
* Factory for string literals.Libravatar OszkarSemerath2018-03-24
|
* copyMap bugfixLibravatar OszkarSemerath2018-03-07
|
* Statistics are appendedLibravatar OszkarSemerath2018-03-04
|
* ConsolesLibravatar OszkarSemerath2018-03-04
|
* +SolverProcessMonitor to (optionally) report process and request cancelLibravatar OszkarSemerath2018-03-03
|
* separated init and clear phases in workspacesLibravatar OszkarSemerath2018-03-03
|
* added getFile() and refresh() to workspaceLibravatar OszkarSemerath2018-02-28
|
* Project workspace folder structure generation patchLibravatar OszkarSemerath2018-02-24
|
* Documentation level is in the config interfaceLibravatar OszkarSemerath2018-02-24
|
* :lipstick:Libravatar OszkarSemerath2017-09-27
|
* Printing string statistics do not add linebreaksLibravatar OszkarSemerath2017-09-27
|
* Listing all files in folder.Libravatar OszkarSemerath2017-09-27
|
* Transitive closureLibravatar OszkarSemerath2017-08-16
|
* Adding transitive closure to the logic languageLibravatar OszkarSemerath2017-08-16
|
* Added known primitives to the scopeLibravatar OszkarSemerath2017-08-15
|
* Added support for string attributes when mapping metamodelsLibravatar OszkarSemerath2017-08-15
|
* Primitive elements in the partial interpretationLibravatar OszkarSemerath2017-08-15
|