testcases · 20c13c968b5b5f5f312d4016d6f78944c9f8e021 · LARA / inox

Refactored the condition abduction code, refactored InSynth code out of Leon,...

Ivan Kuraj authored 11 years ago

Refactored the condition abduction code, refactored InSynth code out of Leon, and added the InSynth core library, with substantial amount of fixing and clearning sources, tests, and testcases

89d021cb

History

89d021cb 11 years ago

History

Name	Last commit	Last update
..
condabd
etaps2011-testcases
graph
insynth-leon-tests
insynth-synthesis-tests
lesynth-results
malkis
master-thesis-regis
pldi2011-testcases
sas2011-testcases
scala-workshop
synthesis
testgen
vmcai2011-testcases
vstte10competition
Abs.scala
AbsArray.scala
AbsFun.scala
Account.scala
Account2.scala
Add.scala
AddressBook.scala
Addresses.scala
AmortizedQueueStrongSpec.scala
BSTSimpler.scala
BinarySearch.scala
BinarySearchFun.scala
BinarySearchTree.scala
BinaryTreeImp.scala
BubbleFun.scala
BubbleSort.scala
BubbleWeakInvariant.scala
Choose.scala
ConnectedTest.scala
Errors.scala
Expr2Comp.scala
ExprComp.scala
Fibonacci.scala
FiniteSort.scala
InsertionSort.scala
InsertionSortImp.scala
IntOperations.scala
Interpret.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
QuickSortImp.scala
README
RedBlackTree.scala
Sat.scala
SecondsToTime.scala
SetOperations.scala
SimpInterpret.scala
SortedList.scala
SortedTree.scala
Test.scala
TreeListSetNoDup.scala
TwoSizeFunctions.scala
UnificationTest.scala
UseContradictoryLemma.scala
VerySimple.scala
Viktor.scala
buggyEpsilon.scala
xplusone.scala

README