Prepare for Final Release.
Showing
- Performance/.gitignore 0 additions, 3 deletionsPerformance/.gitignore
- Performance/ChangeLog.md 0 additions, 3 deletionsPerformance/ChangeLog.md
- Performance/LICENSE 0 additions, 30 deletionsPerformance/LICENSE
- Performance/Performance-exe 0 additions, 1 deletionPerformance/Performance-exe
- Performance/README.md 0 additions, 1 deletionPerformance/README.md
- Performance/Setup.hs 0 additions, 2 deletionsPerformance/Setup.hs
- Performance/app/GenData.hs 0 additions, 24 deletionsPerformance/app/GenData.hs
- Performance/app/Main.hs 0 additions, 76 deletionsPerformance/app/Main.hs
- Performance/data/internal_ancestor.data 0 additions, 55 deletionsPerformance/data/internal_ancestor.data
- Performance/data/souffle_ancestor.data 0 additions, 106 deletionsPerformance/data/souffle_ancestor.data
- Performance/package.yaml 0 additions, 56 deletionsPerformance/package.yaml
- Performance/plot.py 0 additions, 223 deletionsPerformance/plot.py
- Performance/res/#ancestor.repl# 0 additions, 1 deletionPerformance/res/#ancestor.repl#
- Performance/res/ancestor.in 0 additions, 5 deletionsPerformance/res/ancestor.in
- Performance/res/ancestor.repl 0 additions, 1 deletionPerformance/res/ancestor.repl
- Performance/res/nat.in 0 additions, 3 deletionsPerformance/res/nat.in
- Performance/res/nat.repl 0 additions, 1 deletionPerformance/res/nat.repl
- Performance/src/Lib.hs 0 additions, 6 deletionsPerformance/src/Lib.hs
- Performance/src/Parser.hs 0 additions, 97 deletionsPerformance/src/Parser.hs
- Performance/stack.yaml 0 additions, 65 deletionsPerformance/stack.yaml
Loading
Please register or sign in to comment