Project

General

Profile

Activity

From 11/12/2017 to 12/11/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
 

Also available in: Atom