Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
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
Created with Raphaël 2.2.01Jun31May272625242320191817121110976432129Apr28272625222120191816151413121110987654131Mar292827242322212017161514119876542129Feb28262524232215create library arrayMerge pull request #217 from MikaelMayer/reccoverageRemoved rec coverage tests since they are not up to date anymore.Removed useless code.Added simplification of letdefs when returning results.New identifiers in ScopeSimplifier do not use uniqueId if already unique.Only one constant should be found (StringRender)When refering to itself, can use the functions for examples.Merge pull request #216 from ptrcarta/patch-1documetation bug about the type of body expressionFixed missed horizontal markovizations.Added test to make sure horizontal markovization works alone.Fixed the abstract test which failed in the presence of other pretty-printers.Constant pattern matching alltogether + testAdded the possibility to reuse existing printing functions.Added the possibility to augment RHS of non-terminals with terminals, to the condition they should be placed on the left.Completely rewrote abstract vertical markovization so that it follows a clear algorithm.Making abstract synthesis to work again !Fixed Bug AbstractEvaluator: Evaluate CaseClassSelector on left-hand side.A.holds.because(B) = A.holds(because(B)) = A.holds(B)Added proof after holdsAdded forgotten pretty printersSimplified how detupling creates non-terminals and how to rebuild them.Fixed case class synthesis and out of order synthesis.Fixed a bug when updating grammars.Adding a tag to non-terminals for synthesis.grammarsAdded pattern coverage with test suite.Added markovize_abstract_vertical_filteredAdded the possibility to markovize on demand.Refactored FunDefTemplateGenerator to be an object.Final testing for rec-coverage (double check at the end)Added the handling of functions for input coverage.Added recursive example for rec-coverageIdentifiable values out of an expected type.Rec-coverage can handle any permutations,Added rec-coverage and started the algorithm.Fixed compilation issues.Integrated the latest scalaz3 changes.Fixed scalaz3 for windows version.Import the latest changes to branch markovization