Project

General

Profile

Activity

From 11/03/2017 to 12/02/2017

11/16/2017

11:13 AM Revision a80babbf (cool): benchmarks: Rename gen.ml to aconjunctive_mu_generator.ml
Also disables the build of the corresponding executable by
default (can be reenabled with the flat 'benchmarks').
Hans-Peter Deifel

11/07/2017

08:04 AM Revision 42f17c7e (cool): makestatic.sh: Add 'gen' binary for acmu benchmarks
Hans-Peter Deifel
07:59 AM Revision 4caf8f04 (cool): makestatic.sh: Include benchmarks for aconjunctive mu
Hans-Peter Deifel
07:59 AM Revision 2357f98f (cool): benchmarks: Add README
Hans-Peter Deifel
07:32 AM Revision 2cccf57a (cool): Link ncurses bindings against libtinfo and libgpm
This is needed to produce static binaries. Hans-Peter Deifel
 

Also available in: Atom