Tags

Tags give the ability to mark specific points in history as being important

v1.1.5

93550f1b · Merge pull request #132 from jad-hamza/cvc4-1.8 · Apr 15, 2021

Release: Simplifier, unroll bound, MapMerge for z3 maps, error reporting, sbt and java versions
v1.1.0

e701e019 · Add type widening for ADT constructor lookup · Mar 13, 2018

Release: Inox 1.1.0
```
Using a sane type system
```
v1.0.2

4b032e61 · Fix in template generator for nested lambdas · Feb 21, 2017
```
Version 1.0.2 sets up for git hashed versions
```
v1.0.1

96655e96 · Bumped inox version to 1.0.1 · Jan 30, 2017
```
Version 1.0.1
```
v1.0

7de53baf · Fixed scaladoc links and updated build.sbt to point to maven deps · Dec 28, 2016
```
Version 1.0 of Inox.

Subsumes solving capabilities of Leon 3.0.
```