Skip to content
Snippets Groups Projects
Select Git revision
  • e40d0b1db5d5890fbdb8ce3b5b64cd01ab066aa0
  • aconjunctive default
  • pgsolver
  • pgsolver-old
  • gen2
  • pgsolver-tmp
  • cool-copy
  • cool2mlsolver
  • master
  • latex
  • ctl-testcases
  • tmp/leakdebug
  • api-docs
  • remove-gmlmip
  • fix-testsuite-flatmu
  • fix-testsuite protected
16 results

cool

user avatar
Hans-Peter Deifel authored
R and B are now keywords and were used as identifiers. Now, r and
b (lowercase) is used instead in the testcases. For consistency, all
other identifiers were lowercased, too.
e40d0b1d
History
Name Last commit Last update