Tags · Verifisc / Mlang · GitLab

Mentions légales du service

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

v1.1.0

e95b6ad6 · Merge branch 'dev' into 'master' · Oct 09, 2020

Release: v1.1.0
```
Operational for the 2018 income computation
```
Download source code

zip tar.gz tar.bz2 tar
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
```
Download source code

zip tar.gz tar.bz2 tar
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
```
Download source code

zip tar.gz tar.bz2 tar
v1.0

de4b5f14 · Small tweaks · Jul 16, 2019
```
Interpreteur M et compilateur M -> Python
```
Download source code

zip tar.gz tar.bz2 tar