Files · 542dea5c580c6878d7da952a4b036c5f792f80ba · LARA / inox · GitLab

Snippets Groups Projects

authored

Name	Last commit	Last update
testcases/etaps2011-testcases
testcases/graph
testcases/malkis
testcases/master-thesis-regis
testcases/pldi2011-testcases
testcases/sas2011-testcases
testcases/synthesis
testcases/testgen
testcases/vmcai2011-testcases
testcases/vstte10competition
testcases/Abs.scala
testcases/AbsArray.scala
testcases/AbsFun.scala
testcases/Account.scala
testcases/Account2.scala
testcases/Add.scala
testcases/AddressBook.scala
testcases/BSTSimpler.scala
testcases/BinarySearch.scala
testcases/BinarySearchTree.scala
testcases/BubbleFun.scala
testcases/BubbleSort.scala
testcases/BubbleWeakInvariant.scala
testcases/Choose.scala
testcases/ConnectedTest.scala
testcases/Errors.scala
testcases/Expr2Comp.scala
testcases/ExprComp.scala
testcases/Fibonacci.scala
testcases/InsertionSort.scala
testcases/IntOperations.scala
testcases/LinearSearch.scala
testcases/ListImp.scala
testcases/ListWithSize.scala
testcases/MaxSum.scala
testcases/MergeSort.scala
testcases/Mult.scala
testcases/MultiBug.scala
testcases/MultiExample.scala
testcases/MultisetOperations.scala
testcases/MutuallyRecursive.scala
testcases/Naturals.scala
testcases/NonDeterministicList.scala
testcases/PaperDemoExample.scala
testcases/Parser.scala
testcases/Prime.scala
testcases/QuickSort.scala
testcases/README
testcases/RedBlackTree.scala
testcases/Sat.scala
testcases/SecondsToTime.scala
testcases/SetOperations.scala
testcases/SortedList.scala
testcases/SortedTree.scala
testcases/Test.scala
testcases/TwoSizeFunctions.scala
testcases/UnificationTest.scala
testcases/UseContradictoryLemma.scala
testcases/VerySimple.scala
testcases/Viktor.scala
testcases/buggyEpsilon.scala
testcases/xplusone.scala

Anything that's in this directory needs to be parsable by Leon, otherwise
it will make me angry.