Cleaned up HTML/SVG generation, included a new script for running the degree experiments.
authorJohannes Middeke <jmiddeke@risc.jku.at>
Wed, 4 May 2016 20:21:07 +0000 (22:21 +0200)
committerJohannes Middeke <jmiddeke@risc.jku.at>
Wed, 4 May 2016 20:21:07 +0000 (22:21 +0200)
commit5bf1274c7caa589c8dae1aff2c488a5926cf0f67
treee9bddf1f8cd34caf97a014f7ad955b9b9ccab4a2
parent20b85a8f56326dfa7850006608d1be9c4425a251
Cleaned up HTML/SVG generation, included a new script for running the degree experiments.
commonSVG.ml
degrees.sh [new file with mode: 0644]
makeHTML.ml
makeHTMLdegrees.ml
test.ml