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.021Jun20171615141310987642131May272625242320191817121110976432129Apr28272625222120191816151413121110987654131Mar292827242322212017Added extended horizontal markovizationconsolidate EffectsAnalysis contractignore some slow unit testscleanup effect analysis codeeffects analysis is incrementala few extra tests for effects analysisunit test for effect analysisextract effects analysis code into own classupdate deps when foundMerge branch 'game/tictactoe'game object to hold state and prove extra propsbody assertions now validsmall refactoringsFix tictactoe bugsGameTicTacToe.scalaStarted implementing TicTacToe, Main.scalacleaner tests and error msgno global mutable fieldsfun no longer use invalid aliasingcheck aliasing before any transformationscatching array aliasing issuescatch an aliasing issue with constructorsdraft of a SFun implementationfix issue detecting mutated varRemoved a failing test suite from Orb.Fixed wrong priority when splitting strings.detect missing effectcorrect require to avoid negative size arrayAbstract evaluator authorises more steps.Small CEGIS fixesUse nativez3Fix this printingMore timeoutWhoopsThis need not be a valPC clauses should have the correct orderSolution should not simplify its term. Make it a case class. FixesFix indentation etc.Make benchmark directory for SYNT'16Add option to enable IntroduceRecCalls. Refactor Grammars.default, move it to synthesis