Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Polyhedron solver SAT fix and initial scope filtering | 2019-10-29 | |
* | some missing string support bugs in partial interpretation are fixed | 2018-11-07 | |
* | Added support for SHORT type as integer | 2018-08-28 | |
* | Scope support for attributes | 2018-07-16 | |
* | Fixing multiple "true" and "false" objects | 2018-06-20 | |
* | Updated partial model representation handling | 2018-06-13 | |
* | Moved partial model management is moved to one project (+1 PM edge fix) | 2018-05-14 |