summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Johannes Middeke [Wed, 4 May 2016 20:59:04 +0000 (22:59 +0200)]
Fixed a problem in the degree script.
Johannes Middeke [Wed, 4 May 2016 20:21:07 +0000 (22:21 +0200)]
Cleaned up HTML/SVG generation, included a new script for running the degree experiments.
Johannes Middeke [Wed, 4 May 2016 19:20:14 +0000 (21:20 +0200)]
Accidentally added the files which are generated by oasis.
Johannes Middeke [Wed, 4 May 2016 19:19:20 +0000 (21:19 +0200)]
Rewrote test.ml to use command line arguments; rewrote HTML/SVG generation.
Johannes Middeke [Wed, 4 May 2016 03:59:35 +0000 (05:59 +0200)]
Initial commit.
The current state of the program computes the number of common factors.