Merge requests · LARA / inox

[WIP] Add a ground simplifier

!48 · created Nov 13, 2017 by Viktor Kuncak master
- Closed
updated Nov 26, 2017
add some missing positions

!38 · created Sep 05, 2017 by Viktor Kuncak master
- Closed
updated Sep 10, 2017
Adds a helper method for changing the invariant of an ADT

!35 · created Aug 19, 2017 by Viktor Kuncak master
- Closed
updated Aug 21, 2017
Adding traversal and transformations for Identifiers

!34 · created Aug 10, 2017 by Viktor Kuncak master
- Closed
updated Aug 19, 2017
Added initial version of Princess interface.

!2 · created Oct 28, 2016 by Viktor Kuncak master
- Closed
updated Dec 05, 2016