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.012Aug1110987654329Jul282724232220191613126430Jun2824232120171615141310987642131May272625242320191817121110976432129Apr28272625222120191816151413121110987Moved extractorSuite testAll unit tests passfirst batch of unit tests runningFixed solverPool and Extractors unit testsSmall fix to SMTLIB bitvector supportOperator follows same abstraction principle as NAryTypeDatatypeTemplates work without ExtractableStart trans-tree traversalsImplement bitvectors of any size for SMTFix functionsAvailable, add enum solverRemove unneeded utils, small fixesStarted working on testsDocumentationAbstractSymbols is now just a PrintableRemoved useless resourcesReworked checkAssumptions and started work on first testsCommentsRemove broken linkSimplify/ rename in build.sbtCommentsFinish printersclean doccheckAssumptions for EnumerationSolver, fixed Unsat casecheckAssumptions for SMTLIB solversSolverFactory from name, better optionsBVNot in printersFixing up defaultsCleaning up useless filesSome work on printersGrammarDataGen, EnumerationSolverRemove implicit contexts from grammarsTidy upRemove prefix from SMTLIB solversType parameters not needed hereFix == bugs/ run Intellij inspectionAdd user options to CVC4Delete all solvers we're not planning to reimplement anytime soonDon't need this errorPlaceholder for checkAssumptionsConcrete cvc4 and z3 solvers