Contents of call-analysis-3.2.0

LICENSE
README.md
package.json
benchmarks_callpattern/
- addadd.curry
- addlast.curry
- bertconc.curry
- bertf0.curry
- doublecoin.curry
- doubleisone.curry
- family.curry
- halfdouble.curry
- head.curry
- last.curry
- lastapp.curry
- mapadddouble.curry
- readfile.curry
- risers.curry
- tails.curry
benchmarks_ndopt/
- Benchmarks.curry
- dupboollist.curry
- duplist.curry
- dupnd.curry
- even.curry
- half.curry
- instfree.curry
- last.curry
- lastbool.curry
- lastpeano.curry
- permsort.curry
- queens.curry
- select.curry
- xor_sergio.curry
src/
- Analysis.curry
- Dependency.curry
- LetDropping.curry
- Names.curry
- NondetAnalysis.curry
- Nondeterminism.curry
- OrCaseLifter.curry
- Overlapping.curry
- ReadFlatTRS.curry
- TRS.curry