testcases · a2e7db77f96fd7356c07619751d2c3e46aea9db9 · LARA / inox · GitLab

Snippets Groups Projects

fix bugs in SatSolver, can be run with scala (not with Leon though)

Régis Blanc authored 12 years ago

d228bea0

d228bea0 12 years ago

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

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