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.06Jun42131May272625242320191817121110976432129Apr28272625222120191816151413121110987654131Mar292827242322212017161514119876542129Feb28262524232215Added assert and MapApply to be evaluated in abstract evaluation.Fixed forgotten Set.mkString and other custom types.basic usage of theory encoder for arraysChange the leon library directory in game2048Fixed inline of defs (fixpoint, and update body as well)fix disambiguation for java 7create library arrayMerge pull request #217 from MikaelMayer/reccoverageRemoved rec coverage tests since they are not up to date anymore.Removed useless code.Added simplification of letdefs when returning results.New identifiers in ScopeSimplifier do not use uniqueId if already unique.Only one constant should be found (StringRender)When refering to itself, can use the functions for examples.Merge pull request #216 from ptrcarta/patch-1documetation bug about the type of body expressionFixed missed horizontal markovizations.Added test to make sure horizontal markovization works alone.Fixed the abstract test which failed in the presence of other pretty-printers.Constant pattern matching alltogether + testAdded the possibility to reuse existing printing functions.Added the possibility to augment RHS of non-terminals with terminals, to the condition they should be placed on the left.Completely rewrote abstract vertical markovization so that it follows a clear algorithm.Making abstract synthesis to work again !Fixed Bug AbstractEvaluator: Evaluate CaseClassSelector on left-hand side.A.holds.because(B) = A.holds(because(B)) = A.holds(B)Added proof after holdsAdded forgotten pretty printersSimplified how detupling creates non-terminals and how to rebuild them.Fixed case class synthesis and out of order synthesis.Fixed a bug when updating grammars.Adding a tag to non-terminals for synthesis.grammarsAdded pattern coverage with test suite.Added markovize_abstract_vertical_filteredAdded the possibility to markovize on demand.Refactored FunDefTemplateGenerator to be an object.Final testing for rec-coverage (double check at the end)Added the handling of functions for input coverage.Added recursive example for rec-coverageIdentifiable values out of an expected type.