Skip to content

History

Versions 5

Version Author Diff Last updated
v5 rschoene
Added getting started guide. - also fixed tables for gitlab
v4 rschoene
60x more detailed system
v3 rschoene
Changed table style, remove math (both not supported by bitbucket markdown.
v2 rschoene
Some more documentation on test setup and AST generation.
v1 rschoene
Test scenario for generation of ILP.