General

Profile

Hans-Peter Deifel's activity

From 10/18/2017 to 11/16/2017

11/16/2017

11:13 AM COOL 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
 

Also available in: Atom