st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-05 22:38:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
lama_byterun/bench
History
Kakadu ae6fad97c6 Benchmarking many files at once 
Signed-off-by: Kakadu <Kakadu@pm.me>
2020-12-11 18:06:33 +03:00
..
.gitignore .gitignore files 2020-12-11 18:04:30 +03:00
bench_main.ml Benchmarking many files at once 2020-12-11 18:06:33 +03:00
Makefile Benchmarking many files at once 2020-12-11 18:06:33 +03:00
p.ml Adding benchmarking executable 2020-12-11 18:06:33 +03:00
pp_default.m4 Adding benchmarking executable 2020-12-11 18:06:33 +03:00
pp_gt.m4 Adding benchmarking executable 2020-12-11 18:06:33 +03:00
README.md Adding benchmarking executable 2020-12-11 18:06:33 +03:00

README.md

Benchmark suite for pretty printing

Files:

  • bench_main.ml -- runner of benhcmark
  • p.ml -- an implementation of pretty-printer
  • pp_default.m4 -- macro that converts p.ml into strightforward pretty printer
  • pp_gt.m4 -- a macro that converts p.ml into GT-based pretty printer