https://github.com/ryanrhymes/owl
Tip revision: 126274834577f879c85fbe1d0c9bb861f6240379 authored by Marcello Seri on 10 April 2021, 12:00:23 UTC
unnecessary optflags set in travis
unnecessary optflags set in travis
Tip revision: 1262748
File | Mode | Size |
---|---|---|
.github | ||
bin | ||
docker | ||
docs | ||
examples | ||
perftest | ||
src | ||
test | ||
.gitattributes | -rw-r--r-- | 517 bytes |
.gitignore | -rw-r--r-- | 265 bytes |
.ocamlformat | -rw-r--r-- | 182 bytes |
.travis.yml | -rw-r--r-- | 873 bytes |
ACKNOWLEDGEMENT.md | -rw-r--r-- | 4.3 KB |
CHANGES.md | -rw-r--r-- | 11.8 KB |
CODE_OF_CONDUCT.md | -rw-r--r-- | 3.1 KB |
CONTRIBUTING.md | -rw-r--r-- | 5.7 KB |
Dockerfile | -rw-r--r-- | 1.3 KB |
INSTALL.md | -rw-r--r-- | 3.0 KB |
INSTALL_WINDOWS.md | -rw-r--r-- | 2.4 KB |
LICENSE.md | -rw-r--r-- | 1.1 KB |
Makefile | -rw-r--r-- | 1.7 KB |
README.md | -rw-r--r-- | 4.7 KB |
VERSION | -rw-r--r-- | 12 bytes |
dune-project | -rw-r--r-- | 28 bytes |
dune-workspace | -rw-r--r-- | 0 bytes |
owl-base.opam | -rw-r--r-- | 563 bytes |
owl-plplot.opam | -rw-r--r-- | 1007 bytes |
owl-top.opam | -rw-r--r-- | 613 bytes |
owl-zoo.opam | -rw-r--r-- | 919 bytes |
owl.opam | -rw-r--r-- | 1.2 KB |