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.04Jun2131May30542118Apr17161514876530Mar2927262524222120191816151310976227Feb232221201715141312109730Jan2928272625242319181716131276529Dec282423222120191815131285230Nov272625242322212016151412111098765432131Oct292827262423212019181711107643228Sep219130Aug29181615121110987654329Jul282724232220191613126430Jun2824232120171615141310987642131May27Update test suites for BitVectorsFix typoGeneralise AST Constructors for all BVLiteralsAdd initial support for Byte: Int8Literal and Int8TypeRename IntLiteral into Int32LiteralAdd ability to report stacktraceFixed ASCII string encoder for java special charsUpdate tests for new simple solver apiBetter timers in solversBetter timer statistics in solverEnable SymbolTransformers as map keysBetter path-dependent type signature for SimpleSolverAPIAdd tests regarding arithmetic operations.Add test for parsing the unit literal.Add tests for parsing literal expressions.Add tests for parsing types.Add repeating decimal number literals support in the parser.Recognize negative literals as literals, not the negation of a positive literal.Add default NoSymbols when no implicit Symbols is to be found.Update the doc.Remove the Symbols parameter for the interpolator in Trees.Remove the interpolator field from the Symbols.Remove the dependency to symbols in Interpolator.Remove Name and EmbeddedIdentifier from the set of Literals.Merge pull request #25 from epfl-lara/parsingAdded field holes to the expression extractor.Better theory decodingUpdate README.mdUpdate README.mdGot rid of all implicit conversions! Thank you scala 2.12 and SAM !Added choose. Updated table of content.Some more work on the documentation.Added some documentation on the string interpolation feature. Still incomplete.Fixed a bug where errors would show previous positions.Added interpolator to the Symbols.Added missing copyright notices.Added interpolator into trees.Imported the parser from Welder.Small fix in function mergingFixes in choose extraction