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.021Jul201917141310962130Jun292625242322211918171612111032129May2726222120191813121187654329Apr28292827282726272625242322212017161514231Mar26231918109654328Feb27262524232120191817161312New travis intrastructureAPI for telling which solver solved (for portfolio)Remove mutation in tactics. Fix path-conditions of matchs with guardsFix doc typosAdd some more things to docMake List API scala compatible, add @librarytailOption in ListDocument val with patternsUnapply in docs, List. List.headOptionSimplificationsfix docsome doc for realsfix warningvalid test was in fact invalids/caracterizing/characterizing/check for division by zero of real numbersregression tests for real numbersextensive testing of real evaluatorssupport for real in evaluatorsreal complete enough to prove theoremsreal numbers trees and frontendParse parameterless local functionsImprove printingIntroducing UnapplyPattern, plus improvementsPut CegisPerformanceTest in correct packageproving properties of equivalence over rationalsrational invariant positive denominatorimplicit import for rationalsPlatform independent path separator. Notes on Windows64.more operations for rationalsrational available in langGet more tests if they are easy to getFix simpleValue for recursive ADTsCorrect typoImprove/fix/use consistently features related to deep type hierarchiesCodeExtraction should exclude empty treesObjectClass in CodeGenCodeGen tests for overridesXLangAnalysisPhase -> XLangDesugaringPhaseFixes