Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | fix merging issue | 2020-11-04 | |
|\ | |||
| * | Optimizations | 2020-07-14 | |
| | | |||
| * | Add new state coder | 2020-05-19 | |
| | | |||
| * | https://github.com/kris7t graph width calculation -> | 2019-07-15 | |
| | | | | | | | | from https://github.com/kris7t/VIATRA-Generator/blob/c0c5a1644cc221352b8b9b370eea6a87677ba948/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend#L99-L138 | ||
* | | Merge branch 'master' into Realistic-Generation-SURE | 2019-06-05 | |
|\| | |||
| * | Default state coder range set to Width, as it should be | 2019-06-01 | |
| | | |||
* | | REALMET: implement incoming edges in visualisation. multips need fix | 2019-05-20 | |
| | | |||
* | | REALMET: first impl of n'hood visualis. minor bug with adding outgng 0s. | 2019-05-19 | |
|/ | |||
* | Updated partial model representation handling | 2018-06-13 | |
| | |||
* | upgraded attribute support for the graph solver | 2018-03-24 | |
| | |||
* | neighbourhood calculated to fix range | 2017-10-27 | |
| | |||
* | Representation included trace by accident | 2017-10-27 | |
| | |||
* | Migrating Additional projects | 2017-06-10 | |