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.04Aug329Jul282724232220191613126430Jun2824232120171615141310987642131May272625242320191817121110976432129Apr28272625222120191816151413121110987654131Mar292827242322212017Timeout solversSolver APIsBlahSolver factoriesRemoved matchExpr in transformersFinished up unrolling solver and theory encodersProgress on unrolling solverLots of work on solversAdd CollectorWithPC constructorAdd ScopeSimplifier, SimplifierWithPC. Exclude guard in matchExprCaseConditionsRename UnapplyPattern.id -> fdTransformersUse Variable in lambdasFix bug in isPurelyFunctional, commentsWhoopsImprovements/commentsComments, slight improvementsAdd support for types and defs. Some renamings.Finish pattern/guard support, improvementsRename files in grammarsAdd patterns to DSLPattern binders should be orderedDSL to construct expressionsMostly hide fields that can cause ambiguityGrammars compileMore private fieldsFixes in treesInox evaluatorsleon -> inox in utilsCompiles!! Wouhoouuuuu!!Started work on the solversProgress on inox treesAdded datagen, continued working on treesStarted cleaning up Inox and rewrote Trees,Expressions,Types,DefinitionsPrints lambdas of fundefs using the fundef's name.Coverage can now handle tuples.Up to date all-markovization.Fixed an inlining bug.Added forgotten @library on functions names.QuestionBuilder returns the list of inputs that it tests.