Opam Package benchpress.0.1

Package info

opam-namebenchpress
opam-version0.1
synopsisTool to run one or more logic programs, on a set of files, and collect the results
authors
  • Simon Cruanes
  • Guillaume Bury
homepagehttps://github.com/sneeuwballen/benchpress/
readme-fileREADME.md
deps (17)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

benchpress

Package files

man/man1/benchpress.1
man/man1/benchpress-run.1
lib/benchpress/opam
lib/benchpress/dune-package
lib/benchpress/builtin_config.ml
lib/benchpress/benchpress__Xdg.cmx
lib/benchpress/benchpress__Xdg.cmti
lib/benchpress/benchpress__Xdg.cmt
lib/benchpress/benchpress__Xdg.cmi
lib/benchpress/benchpress__Ulimit.cmx
lib/benchpress/benchpress__Ulimit.cmti
lib/benchpress/benchpress__Ulimit.cmt
lib/benchpress/benchpress__Ulimit.cmi
lib/benchpress/benchpress__Test_compare.cmx
lib/benchpress/benchpress__Test_compare.cmti
lib/benchpress/benchpress__Test_compare.cmt
lib/benchpress/benchpress__Test_compare.cmi
lib/benchpress/benchpress__Test.cmx
lib/benchpress/benchpress__Test.cmt
lib/benchpress/benchpress__Test.cmi
lib/benchpress/benchpress__Task_queue.cmx
lib/benchpress/benchpress__Task_queue.cmti
lib/benchpress/benchpress__Task_queue.cmt
lib/benchpress/benchpress__Task_queue.cmi
lib/benchpress/benchpress__Task.cmx
lib/benchpress/benchpress__Task.cmt
lib/benchpress/benchpress__Task.cmi
lib/benchpress/benchpress__Subdir.cmx
lib/benchpress/benchpress__Subdir.cmt
lib/benchpress/benchpress__Subdir.cmi
lib/benchpress/benchpress__Stanza.cmx
lib/benchpress/benchpress__Stanza.cmt
lib/benchpress/benchpress__Stanza.cmi
lib/benchpress/benchpress__Sexp_loc.cmx
lib/benchpress/benchpress__Sexp_loc.cmt
lib/benchpress/benchpress__Sexp_loc.cmi
lib/benchpress/benchpress__Run_result.cmx
lib/benchpress/benchpress__Run_result.cmti
lib/benchpress/benchpress__Run_result.cmt
lib/benchpress/benchpress__Run_result.cmi
lib/benchpress/benchpress__Run_prover_problem.cmx
lib/benchpress/benchpress__Run_prover_problem.cmti
lib/benchpress/benchpress__Run_prover_problem.cmt
lib/benchpress/benchpress__Run_prover_problem.cmi
lib/benchpress/benchpress__Run_event.cmx
lib/benchpress/benchpress__Run_event.cmti
lib/benchpress/benchpress__Run_event.cmt
lib/benchpress/benchpress__Run_event.cmi
lib/benchpress/benchpress__Res.cmx
lib/benchpress/benchpress__Res.cmti
lib/benchpress/benchpress__Res.cmt
lib/benchpress/benchpress__Res.cmi
lib/benchpress/benchpress__Prover.cmx
lib/benchpress/benchpress__Prover.cmti
lib/benchpress/benchpress__Prover.cmt
lib/benchpress/benchpress__Prover.cmi
lib/benchpress/benchpress__Proc_run_result.cmx
lib/benchpress/benchpress__Proc_run_result.cmt
lib/benchpress/benchpress__Proc_run_result.cmi
lib/benchpress/benchpress__Problem.cmx
lib/benchpress/benchpress__Problem.cmti
lib/benchpress/benchpress__Problem.cmt
lib/benchpress/benchpress__Problem.cmi
lib/benchpress/benchpress__Notify.cmx
lib/benchpress/benchpress__Notify.cmti
lib/benchpress/benchpress__Notify.cmt
lib/benchpress/benchpress__Notify.cmi
lib/benchpress/benchpress__Misc.cmx
lib/benchpress/benchpress__Misc.cmt
lib/benchpress/benchpress__Misc.cmi
lib/benchpress/benchpress__Limit.cmx
lib/benchpress/benchpress__Limit.cmti
lib/benchpress/benchpress__Limit.cmt
lib/benchpress/benchpress__Limit.cmi
lib/benchpress/benchpress__Exec_action.cmx
lib/benchpress/benchpress__Exec_action.cmt
lib/benchpress/benchpress__Exec_action.cmi
lib/benchpress/benchpress__Dir.cmx
lib/benchpress/benchpress__Dir.cmt
lib/benchpress/benchpress__Dir.cmi
lib/benchpress/benchpress__Definitions.cmx
lib/benchpress/benchpress__Definitions.cmti
lib/benchpress/benchpress__Definitions.cmt
lib/benchpress/benchpress__Definitions.cmi
lib/benchpress/benchpress__Builtin_config.cmx
lib/benchpress/benchpress__Builtin_config.cmt
lib/benchpress/benchpress__Builtin_config.cmi
lib/benchpress/benchpress__Bin_utils.cmx
lib/benchpress/benchpress__Bin_utils.cmt
lib/benchpress/benchpress__Bin_utils.cmi
lib/benchpress/benchpress__Api_types.cmx
lib/benchpress/benchpress__Api_types.cmti
lib/benchpress/benchpress__Api_types.cmt
lib/benchpress/benchpress__Api_types.cmi
lib/benchpress/benchpress__Api_pp.cmx
lib/benchpress/benchpress__Api_pp.cmti
lib/benchpress/benchpress__Api_pp.cmt
lib/benchpress/benchpress__Api_pp.cmi
lib/benchpress/benchpress__Api_pb.cmx
lib/benchpress/benchpress__Api_pb.cmti
lib/benchpress/benchpress__Api_pb.cmt
lib/benchpress/benchpress__Api_pb.cmi
lib/benchpress/benchpress__Api.cmx
lib/benchpress/benchpress__Api.cmt
lib/benchpress/benchpress__Api.cmi
lib/benchpress/benchpress__Action.cmx
lib/benchpress/benchpress__Action.cmt
lib/benchpress/benchpress__Action.cmi
lib/benchpress/benchpress.ml
lib/benchpress/benchpress.cmxs
lib/benchpress/benchpress.cmxa
lib/benchpress/benchpress.cmx
lib/benchpress/benchpress.cmt
lib/benchpress/benchpress.cmi
lib/benchpress/benchpress.a
lib/benchpress/api_types.mli
lib/benchpress/api_types.ml
lib/benchpress/api_pp.mli
lib/benchpress/api_pp.ml
lib/benchpress/api_pb.mli
lib/benchpress/api_pb.ml
lib/benchpress/Xdg.mli
lib/benchpress/Xdg.ml
lib/benchpress/Ulimit.mli
lib/benchpress/Ulimit.ml
lib/benchpress/Test_compare.mli
lib/benchpress/Test_compare.ml
lib/benchpress/Test.ml
lib/benchpress/Task_queue.mli
lib/benchpress/Task_queue.ml
lib/benchpress/Task.ml
lib/benchpress/Subdir.ml
lib/benchpress/Stanza.ml
lib/benchpress/Sexp_loc.ml
lib/benchpress/Run_result.mli
lib/benchpress/Run_result.ml
lib/benchpress/Run_prover_problem.mli
lib/benchpress/Run_prover_problem.ml
lib/benchpress/Run_event.mli
lib/benchpress/Run_event.ml
lib/benchpress/Res.mli
lib/benchpress/Res.ml
lib/benchpress/Prover.mli
lib/benchpress/Prover.ml
lib/benchpress/Proc_run_result.ml
lib/benchpress/Problem.mli
lib/benchpress/Problem.ml
lib/benchpress/Notify.mli
lib/benchpress/Notify.ml
lib/benchpress/Misc.ml
lib/benchpress/META
lib/benchpress/Limit.mli
lib/benchpress/Limit.ml
lib/benchpress/Exec_action.ml
lib/benchpress/Dir.ml
lib/benchpress/Definitions.mli
lib/benchpress/Definitions.ml
lib/benchpress/Bin_utils.ml
lib/benchpress/Api.ml
lib/benchpress/Action.ml
lib/benchpress
doc/benchpress/README.md
doc/benchpress/LICENSE
doc/benchpress
bin/benchpress