real initial commit
Showing
- .gitignore 3 additions, 0 deletions.gitignore
- CHANGELOG.md 11 additions, 0 deletionsCHANGELOG.md
- LICENSE 30 additions, 0 deletionsLICENSE
- README.md 1 addition, 0 deletionsREADME.md
- Setup.hs 2 additions, 0 deletionsSetup.hs
- abstranalyser.cabal 81 additions, 0 deletionsabstranalyser.cabal
- analizer/groundness-master/.gitignore 5 additions, 0 deletionsanalizer/groundness-master/.gitignore
- analizer/groundness-master/LICENSE 201 additions, 0 deletionsanalizer/groundness-master/LICENSE
- analizer/groundness-master/Makefile 76 additions, 0 deletionsanalizer/groundness-master/Makefile
- analizer/groundness-master/README.md 81 additions, 0 deletionsanalizer/groundness-master/README.md
- analizer/groundness-master/analysis.pl 605 additions, 0 deletionsanalizer/groundness-master/analysis.pl
- analizer/groundness-master/analyze.pl 513 additions, 0 deletionsanalizer/groundness-master/analyze.pl
- analizer/groundness-master/benchmarks/air.clpr 130 additions, 0 deletionsanalizer/groundness-master/benchmarks/air.clpr
- analizer/groundness-master/benchmarks/aircraft.pl 3126 additions, 0 deletionsanalizer/groundness-master/benchmarks/aircraft.pl
- analizer/groundness-master/benchmarks/ann.pl 507 additions, 0 deletionsanalizer/groundness-master/benchmarks/ann.pl
- analizer/groundness-master/benchmarks/append.pl 6 additions, 0 deletionsanalizer/groundness-master/benchmarks/append.pl
- analizer/groundness-master/benchmarks/aqua_c.pl 15017 additions, 0 deletionsanalizer/groundness-master/benchmarks/aqua_c.pl
- analizer/groundness-master/benchmarks/asm.pl 595 additions, 0 deletionsanalizer/groundness-master/benchmarks/asm.pl
- analizer/groundness-master/benchmarks/boyer.pl 440 additions, 0 deletionsanalizer/groundness-master/benchmarks/boyer.pl
- analizer/groundness-master/benchmarks/bridge.clpr 538 additions, 0 deletionsanalizer/groundness-master/benchmarks/bridge.clpr
Loading
Please register or sign in to comment