https://github.com/frenetic-lang/netkat-automata
Tip revision: a4c3809e40e7c2ce500182043a74131ac9c19579 authored by Nate Foster on 27 May 2017, 05:27:07 UTC
Update README.md
Update README.md
Tip revision: a4c3809
| File | Mode | Size |
|---|---|---|
| felix | ||
| src | ||
| .gitignore | -rw-r--r-- | 870 bytes |
| Makefile | -rwxr-xr-x | 522 bytes |
| README.md | -rw-r--r-- | 9.0 KB |
| _oasis | -rw-r--r-- | 2.3 KB |
| _tags | -rw-r--r-- | 3.6 KB |
| bench.txt | -rw-r--r-- | 208.3 KB |
| how-to-test-properties | -rw-r--r-- | 553 bytes |
| myocamlbuild.ml | -rw-r--r-- | 16.9 KB |
| run_tests | -rwxr-xr-x | 176 bytes |
| run_tests_short | -rwxr-xr-x | 480 bytes |
| setup.ml | -rw-r--r-- | 183.7 KB |
| things_to_test | -rw-r--r-- | 2.3 KB |
