Skip to content
Snippets Groups Projects
Select Git revision
  • main default
  • scala-2.13
  • github/fork/mario-bucev/more-instantiation
  • github/fork/SolalPirelli/sp/minimizer
  • scala-2.12.13
  • add-blocker-graph-debug
  • add-map-equal-value-keys
  • fix-stainless-1135
  • github/fork/jad-hamza/replaceFromSymbols-positions
  • refactor-parser
  • dotty-compat
  • v1.1.5
  • v1.1.0
  • v1.0.2
  • v1.0.1
  • v1.0
16 results
Blame Permalink
  • Mirco Dotta's avatar
    2e05d891
    - For the Multiset library corrected bugs with "--", "intersection", "++" and "+++". · 2e05d891
    Mirco Dotta authored 
    - Added a new "asSet" operation on a multiset, which returns the multiset as a set (by doing we loose cardinality information on the elements).
- Added new tests for the multiset library in the regression suite.
- Added the specs-1.5.0.jar to run ScalaSpec framework.
- Added sources for ScalaCheck, this is useful for debugging. 
- Added Eclipse project and classpath files.
    2e05d891
    History
    - For the Multiset library corrected bugs with "--", "intersection", "++" and "+++".
    Mirco Dotta authored 
    - Added a new "asSet" operation on a multiset, which returns the multiset as a set (by doing we loose cardinality information on the elements).
- Added new tests for the multiset library in the regression suite.
- Added the specs-1.5.0.jar to run ScalaSpec framework.
- Added sources for ScalaCheck, this is useful for debugging. 
- Added Eclipse project and classpath files.