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.023Jul22232221201917141310962130Jun292625242322211918171612111032129May2726222120191813121187654329Apr28292827282726272625242322212017161514231Mar26231918109654328Feb27262524232120191817161312Fix test casesAdded more comments for some synthesis functions.Added scaladoc for the whole Constructors.scala file.document generic transformfix name of testimprove doc of fixpointtest and use fixpointimprove doc and testing of core APIFix Expressions documentationImprove documentation and test foldRightAdded comments for the whole Expressions.scala + some ExprOps.scalaAdding type annotations considered harmfulMention options in vcs file itselfStart an independent unit-testing source treefix scaladoc warningsfixpoint should not be in ExprOpscorrect scaladoc format for ExprOpsbasic purescala scaladoctop level scaladocNew 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 frontend