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.012Apr1110987654131Mar292827242322212017161514119876542129Feb28262524232215121110985432129Jan282726252423222120191815141312119876430Dec282726252423222118171615141312111098765432130Nov272524232019genc option should be passed to preprocessing phaseAdded to references in doc a line for Leon to Isabelle IJCAR system description paperalways run xlangtest and doc incrementalbijection swapmore test and doc for BijectionFixed app encoding in unrolling solvertests to apply f out of a patternUse DefinitionTransform to rewritie anti-aliasingFix to deftransRun StringRenderSuite with CVC4 until z3 version has been bumpedMoar fixes to DefinitionTransformer...Moved StringRenderSuite to smt-z3 because of libc crashMore fixes to DefinitionTransformerFreshen funDef ids for valid equalitytest, document, and fix IncrementalBijectionFix non-bijective sorts in AbstractZ3SolverBetter DefinitionTransformer (and bux fix)make larabot test Isabelleadditional tests for Bijection Suitetest and fix BijectionRemoved well-typed assertion to allow step-wise transformationsSmall fix to DefinitionTransformerFixed dependency finderMerge pull request #194 from samarion/bagsIgnore mergeSort for terminationTerminating test with nested functionshandle higher order functions as fieldsFixed evaluators and data-gen for bagsFinished up Bags in leonBags in LeonLeon targets latest smtlibintroduce a global state for true non-determinismfix excessive renaming in xlangshift a list using map with statefix recursive function and higher order paramtesting higher order function with mutable parametersanti-aliasing handling of higher-order functionsxlang does not lift code outside of lambdasWrite names correctlyIgnore even more, add timeouts to VerificationSuite