Thu, 14 Apr 2011 11:24:04 +0200 | blanchet | experiment with definitional CNF | file | diff | annotate |
Fri, 26 Nov 2010 22:36:24 +0100 | blanchet | renamed "trace_me{son,tis}" and "verbose_metis" to have the name of the tool first | file | diff | annotate |
Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | ensure that MESON correctly preserves the name of variables (needed by the new Skolemizer) | file | diff | annotate |
Mon, 11 Oct 2010 18:03:18 +0700 | blanchet | added "trace_meson" configuration option, replacing old-fashioned reference | file | diff | annotate |
Tue, 05 Oct 2010 11:45:10 +0200 | blanchet | hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact names | file | diff | annotate |
Tue, 05 Oct 2010 10:59:12 +0200 | blanchet | got rid of overkill "meson_choice" attribute; | file | diff | annotate |
Mon, 04 Oct 2010 21:49:07 +0200 | blanchet | move Meson to Plain | file | diff | annotate |
Mon, 04 Oct 2010 21:37:42 +0200 | blanchet | move MESON files together | file | diff | annotate | base |