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.010Sep928Aug23222120191725Jul2320191817141026Jun2523149876542131May30542118Apr17161514876530Mar2927262524222120191816151310976227Feb232221201715141312109730Jan2928272625242319181716131276529Dec282423222120191815131285230Nov272625242322212016151412111098765432131Oct292827262423212019181711107643228Sep219130Aug29181615121110987654329Jul282724232220191613126430Jun282423212017Fix remaining issue with new positioned typesPositions make no sense in inox identifiersIntroduce Program object with apply constructorFix tutorial to include solver freeReplace final with sealed due to Scala bugAdded Jad to larabot trustedSome cleaning up in expressions and typesRenamed the cache in simplifierAdd some comment for why simplifyLetCacheAdd cache in simplifier to lessen let blowupBetter LRU cacheFix let simplification with lambda bindingFlag extractor is more deterministicRemoved context from program for better path-dep typesA few small changes in simplifier with pcRevert "less non-determinism in traversals"less non-determinism in traversalsmissing transformations and traversals for idsDrop it:test for 2.12 from larabot (redundant test)Some fixes for the new transformers in SymbolOpsFix printer for Char literalsremoving various changes from the active branch to create a clean PRadded transformation of identifiersupdated timers and added identifiers to tree traversalsadd Bench.scala for expression timersMake sure totalFunctions requires assumeCheckedAdd assumeChecked and totalFunctions modes for purity checkingremoves the simplification that replaces an expression by a variableAdd test for let simplificationFixed invalid let simplificationClean up lambda templates blocker handlingAdd test for lambda with preSmall fixes for CVC4 smtlib encodingSome fixes in lambda templatesAnother small fix in simplifierSome fixes to unroling solverFix for app blockers in LambdaTemplatesFix in purity computation in simplifierSome improvements in normalizeStructureMerge commit '778712c581d9e2b15e00cc112419dce231f7b1a5' into parsing-refactoring