Branches · Gilles Coremans / ASTTool · GitLab

Stale branches

master merged

771b759b · Add some convenience functions and rework bound variable function generation · Oct 20, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
quickcheck protected

4b5e36cd · Fix incorrectly bound type variables · Dec 04, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
combles merged

21b7f5ba · Final stuff on SystemF · Feb 22, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
genterm default

eb0d920d · Merge branch 'master' of github.com:martonbognar/ASTTool into genterm · May 01, 2020

Download source code

zip tar.gz tar.bz2 tar