Contents of verify-non-fail-2.0.0

LICENSE
README.md
package.json
Z3BUG/
- match-error-fixed.smt
- match-error.smt
include/
- Prelude.smt
- Prelude_min.smt
src/
- Main.curry
- FlatCurry/
  - AddTypes.curry
  - Build.curry
  - Names.curry
  - NormalizeLet.curry
  - Print.curry
  - Simplify.curry
- Verify/
  - CallTypes.curry
  - ESMT.curry
  - Files.curry
  - Helpers.curry
  - IOTypes.curry
  - NonFailConditions.curry
  - Options.curry
  - ProgInfo.curry
  - Statistics.curry
  - WithSMT.curry
test-nosmt/
- ArithDiv.curry
- DataList.curry
- DepthkDomain.curry
- EncapSearch.curry
- Equality.curry
- InfLists.curry
- InferCallTypes.curry
- README.txt
- RESULTEXAMPLES.txt
- RESULTEXAMPLES_VALUES2.txt
- RESULTLIBS.txt
- RESULTLIBS_VALUES2.txt
- Risers.curry
- SetFuns.curry
- Split.curry
- TestSuccess.curry
- test.sh
test-smt/
- CaseCond.curry
- CharBounds.curry
- Diamond.curry
- Fac.curry
- FacIO.curry
- FacMore.curry
- HeadPos.curry
- ListLength.curry
- Nth.curry
- NthInfer.curry
- NthZero.curry
- NthZeroNonFail.curry
- NthZeroNonFailWrong.curry
- One.curry
- README.txt
- RESULTEXAMPLES.txt
- Sig.curry
- Tuple.curry
- UseDiv.curry
- UseFac.curry
- UseFloatDiv.curry
- UseSqrt.curry
- test.sh