Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge remote-tracking branch 'origin/master' into kris | 2019-08-01 | |
|\ | |||
| * | 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 | ||
* | | Try fix statecode bug | 2019-06-15 | |
|/ | | | | Modified graph width calculation to not depend on order of nodes | ||
* | Default state coder range set to Width, as it should be | 2019-06-01 | |
| | |||
* | 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 | |