Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
extra
update TODO
August 27, 2017 08:50
src
Merge pull request #17 from bobot/feature/bobot/extensions
July 18, 2023 14:04
tests
Remove dependency on num
April 28, 2023 17:21
.gitignore
Reverted reindentation and updated gitignore
August 31, 2022 17:58
CHANGES.md
Version 0.5
November 15, 2022 11:04
LICENSE
clarify Licensing
November 25, 2016 13:19
Makefile
Better README & Makefile
November 15, 2022 10:52
README.md
Better README & Makefile
November 15, 2022 10:52
dune-project
Remove dependency on num
April 28, 2023 17:21
ocplib-simplex.opam
Remove dependency on num
April 28, 2023 17:21