Project

General

Profile

« Previous | Next » 

Revision a80babbf

IDa80babbf586021a3e9f70bb875f7f01be22f8ccc
Parent 42f17c7e

Added by Hans-Peter Deifel 27 days ago

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').

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences