1. 02 Dec, 2020 8 commits
  2. 01 Dec, 2020 9 commits
  3. 22 Nov, 2020 9 commits
    • Jim Newton's avatar
      shrunk tests of map coloring · 57461f92
      Jim Newton authored
      57461f92
    • Jim Newton's avatar
      added test fail comment · 9ebab38a
      Jim Newton authored
      9ebab38a
    • Jim Newton's avatar
      Merge branch 'conv-to-scala-1.13' · 512b2d8c
      Jim Newton authored
      # Conflicts:
      #	cl-robdd-scala/src/main/scala/bdd/Bdd.scala
      #	cl-robdd-scala/src/main/scala/genus/SAtomic.scala
      #	cl-robdd-scala/src/main/scala/treereduce/ListSpecificTreeReduce.scala
      #	cl-robdd-scala/src/test/scala/accumulators/AccumulatorSuite.scala
      512b2d8c
    • Jim Newton's avatar
      update tests for 2.13 · 2019608e
      Jim Newton authored
      2019608e
    • Jim Newton's avatar
      aiding compiler and IntelliJ deprecation warnings · 9c0dff59
      Jim Newton authored
      # Conflicts:
      #	cl-robdd-scala/src/main/scala/dimacs/QmVec.scala
      #	cl-robdd-scala/src/main/scala/treereduce/ListSpecificTreeReduce.scala
      9c0dff59
    • Jim Newton's avatar
      updated build.sbt to get scalameter working for Scala 2.13 · 25f8cd9e
      Jim Newton authored
      # Conflicts:
      #	cl-robdd-scala/build.sbt
      25f8cd9e
    • Jim Newton's avatar
      Merge branch 'fix-issue-3' · 518a1839
      Jim Newton authored
      # Conflicts:
      #	.gitignore
      #	bin/auto-test-scala-on-push.csh
      #	cl-robdd-scala/build.sbt
      #	cl-robdd-scala/project/build.properties
      #	cl-robdd-scala/src/Scratches/bdd-scratch.sc
      #	cl-robdd-scala/src/Scratches/scratch.scala
      #	cl-robdd-scala/src/Scratches/scratch_1.scala
      #	cl-robdd-scala/src/main/scala/accumulators/Accumulators.scala
      #	cl-robdd-scala/src/main/scala/bdd/Bdd.scala
      #	cl-robdd-scala/src/main/scala/bdd/DimacsBdd.scala
      #	cl-robdd-scala/src/main/scala/bdd/MapColoring.scala
      #	cl-robdd-scala/src/main/scala/dfa/Dfa.scala
      #	cl-robdd-scala/src/main/scala/dfa/Minimize.scala
      #	cl-robdd-scala/src/main/scala/dimacs/QmVec.scala
      #	cl-robdd-scala/src/main/scala/genus/SAnd.scala
      #	cl-robdd-scala/src/main/scala/genus/SAtomic.scala
      #	cl-robdd-scala/src/main/scala/genusbdd/GenusBdd.scala
      #	cl-robdd-scala/src/main/scala/treereduce/ListSpecificTreeReduce.scala
      #	cl-robdd-scala/src/test/scala/accumulators/AccumulatorSuite.scala
      #	cl-robdd-scala/src/test/scala/dimacs/DimacsSuite.scala
      #	cl-robdd-scala/src/test/scala/genus/GenusCanonicalize.scala
      #	cl-robdd-scala/src/test/scala/genus/GenusDisjoint.scala
      #	cl-robdd-scala/src/test/scala/genus/GenusInhabited.scala
      #	cl-robdd-scala/src/test/scala/genus/GenusSubtypep.scala
      #	cl-robdd-scala/src/test/scala/genus/GenusTypep.scala
      #	cl-robdd-scala/src/test/scala/genus/Types.scala
      #	cl-robdd-scala/src/test/scala/genusbdd/GenusBddTest.scala
      518a1839
    • Jim Newton's avatar
      Merge branch 'fix-issue-3' into conv-to-scala-1.13 · a4a3272f
      Jim Newton authored
      # Conflicts:
      #	cl-robdd-scala/src/main/scala/dimacs/QmVec.scala
      a4a3272f
    • Jim Newton's avatar
      fixed wrong removal of subclasses · 3ea73788
      Jim Newton authored
      3ea73788
  4. 21 Nov, 2020 14 commits