Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
leon-repair [2015/02/09 03:11] ekneuss |
leon-repair [2015/02/09 03:17] ekneuss |
||
---|---|---|---|
Line 38: | Line 38: | ||
* [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic4.scala|PropLogic.nnf4]] | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic4.scala|PropLogic.nnf4]] | ||
* [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic5.scala|PropLogic.nnf5]] | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic5.scala|PropLogic.nnf5]] | ||
+ | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Numerical/Numerical1.scala|Numerical.power]] | ||
+ | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Numerical/Numerical3.scala|Numerical.moddiv]] | ||
+ | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/MergeSort/MergeSort1.scala|MergeSort.split]] | ||
+ | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/MergeSort/MergeSort2.scala|MergeSort.merge1]] | ||
+ | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/MergeSort/MergeSort3.scala|MergeSort.merge2]] | ||
+ | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/MergeSort/MergeSort4.scala|MergeSort.merge3]] | ||
+ | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/MergeSort/MergeSort5.scala|MergeSort.merge4]] | ||
+ | |||
+ | The version of Leon used to run all these benchmarks is [[https://github.com/colder/leon/commit/d5a9f51a18100ae762f1d3ef5115e5e8231134bc| publicly available on Github]]. | ||
- | The version of Leon used to run all these benchmarks is [[https://github.com/colder/leon/commit/59a2eaa083a782b165c5f2134161ca78e9259330| publicly available on Github]]. |