Gbury/ejcp-decide
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
9 commits 1 branch 0 tags 1.3 MiB
  • OCaml 97.6%
  • Makefile 1.7%
  • Shell 0.7%
Find a file
Exact
Guillaume Bury 8c17c09a2c Added results and analyze
2016-06-29 16:07:04 +02:00
tests First commit 2016-06-28 16:05:50 +02:00
.gitignore Initial commit 2016-06-28 16:04:11 +02:00
.merlin Added results and analyze 2016-06-29 16:07:04 +02:00
_tags Added results and analyze 2016-06-29 16:07:04 +02:00
analyze.ml Added results and analyze 2016-06-29 16:07:04 +02:00
LICENSE Initial commit 2016-06-28 16:04:11 +02:00
main.ml Fixed line distance calculus 2016-06-29 10:41:06 +02:00
Makefile Added results and analyze 2016-06-29 16:07:04 +02:00
README.md Added opam switch info 2016-06-28 16:32:28 +02:00
results-1001.json Added results and analyze 2016-06-29 16:07:04 +02:00
run First commit 2016-06-28 16:05:50 +02:00

README.md

ejcp-decide

Dependencies

Needs:

  • Ocaml 4.03.0
  • yojson
  • ppx_deriving yojson

Probably not compatible with Ocaml 4.02.3 because of changes in ppx_deriving_yojson (use of the result type instead of polymorphic variant for generated parsing functions). Use of one of the 4 official ocaml 4.03.0 switches (released on april, 25th) on opam is therefore probably needed.

Build and test

Build:

make

Run tests:

make test

Count the number of "YES":

make count