Skip to content
Snippets Groups Projects
Select Git revision
  • add-blocker-graph-debug
  • add-map-equal-value-keys
  • dotty-compat
  • fix-stainless-1135
  • github/fork/SolalPirelli/sp/minimizer
  • github/fork/jad-hamza/replaceFromSymbols-positions
  • github/fork/mario-bucev/more-instantiation
  • main default
  • refactor-parser
  • scala-2.12.13
  • scala-2.13
  • v1.1.5
  • v1.1.0
  • v1.0.2
  • v1.0.1
  • v1.0
16 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.023Mar22212017161514119876542129Feb28262524232215121110985432129Jan282726252423222120191815141312119876430Dec282726252423222118171615141312111098765432130Nov27252423201918171613111098765432print verification report after Isabelle phaseAdding a regression test suite for lazy evaluationReverted bad part of commit ef8fad41021709aadd08ab54751f465b1c9369e3Merge branch 'master' of https://github.com/epfl-lara/leon into orb(a) Adding support for running lazy and memoized programsExamplesAdder.scala now simplifies the postcondition before adding examples to it.Refactor grammars, introduce Labels, and Label Aspectsgeneric prefold with contextupdate documentationleon.base property is not neededupdate to libisabelle 0.3xlang does nothing unless neededMerge updates in synthesisRemove stats fileUseless importsadd some doc for new xlang featuresMerge branch 'topic/mutable-classes'banking testcasesMore detailed timers for CEGISLeonOptions should use OptionPrinting fixes in GraphNumbersTest base should be preserved along loop iterationsNumbersGrowableIterable did not actually sort the bufferFix comparison bugsChange reconstruction in DetupleInputDon't produce the same call twiceMove the testing script with testsFix this benchmarkFix SafeRecursiveCalls to not forget previous callsRemove unused commits mostlyFix bug with comparisonNumbersRerwiting of integer/comparison rules. Cleaning up.Increase solver timeout in CEGISTake precondition of function into account when simplifying SolutionBenchmark should use BigIntsRemove intermediate synthesis numbersAdd list differences benchmark