projects
/
jmiddeke
/
LU.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
jmiddeke/LU.git
2016-05-10
Johannes Middeke
Corrections to factor experiment.
master
commit
|
commitdiff
|
tree
|
snapshot
2016-05-10
Johannes Middeke
Forgot to add script.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-10
Johannes Middeke
Fixed factor script and added new HTML generation script.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-10
Johannes Middeke
Added script to run the factor experiments.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-10
Johannes Middeke
Changed the usage message.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-06
Johannes Middeke
Documentation for polynomials now mentions Zarith;...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-06
Johannes Middeke
Added some documentation.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-05
Johannes Middeke
Added a file to render the result of the probability...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-05
Johannes Middeke
Fixed the labels on the graphs.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-04
Johannes Middeke
Added code to compute the probability of non-trivial...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-04
Johannes Middeke
Fixed a problem in the degree script.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-04
Johannes Middeke
Cleaned up HTML/SVG generation, included a new script...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-04
Johannes Middeke
Accidentally added the files which are generated by...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-04
Johannes Middeke
Rewrote test.ml to use command line arguments; rewrote...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-04
Johannes Middeke
Initial commit.
commit
|
commitdiff
|
tree
|
snapshot