Commit message (Expand) | 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 | |
* | | 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 |