Tags

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

v1.0.2

d3d2fca5 · New code reorg, now only two packages · Aug 12, 2019
```
New from v1.0.1 : code reorganisation, specifisc, Mvg to Z3
```

v1.0.1

7101004d · Clarified rule for SSA construction · Jul 24, 2019

New from v1.0 : fixed variable redefinition semantics, new cli and improved visuals

1
…
6
7
8
9
10