#
51377482 |
|
18-Mar-2016 |
wenzelm <none@none> |
isabelle process -T THEORY;
|
#
787274e3 |
|
18-Mar-2016 |
wenzelm <none@none> |
proper option -l;
|
#
239ff6e6 |
|
10-Mar-2016 |
wenzelm <none@none> |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
#
00eb33e4 |
|
09-Mar-2016 |
wenzelm <none@none> |
isabelle_process is superseded by "isabelle process" tool; tuned tool usage; misc updates and tuning of "system" manual; --HG-- rename : bin/isabelle_process => lib/Tools/process
|
#
069a632f |
|
09-Mar-2016 |
wenzelm <none@none> |
isabelle.Build uses ML_Process directly; isabelle_process is for batch mode only; removed unused feeder (already part of "isabelle console");
|
#
e46f39e8 |
|
12-Jul-2013 |
wenzelm <none@none> |
system options for Isabelle/HOL proof tools;
|
#
88acdc2d |
|
16-Feb-2012 |
bulwahn <none@none> |
tuning mutabelle script
|
#
e71aab02 |
|
10-Feb-2012 |
bulwahn <none@none> |
making num_mutations a configuration that can be changed with the mutabelle bash command
|
#
680d93a7 |
|
11-Feb-2012 |
bulwahn <none@none> |
making max_mutants an option that can be changed in the Mutabelle-script
|
#
38cf3bd0 |
|
11-Feb-2012 |
bulwahn <none@none> |
increase timeout to 30 seconds; changing mutabelle script
|
#
52a1d403 |
|
23-Jan-2012 |
bulwahn <none@none> |
more configurations to mutabelle
|
#
5fb77bc3 |
|
07-Nov-2011 |
blanchet <none@none> |
revived Refute in Mutabelle
|
#
0dfc3de6 |
|
07-Nov-2011 |
blanchet <none@none> |
align columns in output and keep error log around
|
#
7beff85a |
|
21-Oct-2011 |
bulwahn <none@none> |
improving mutabelle script again after missing some changes in f4896c792316
|
#
1baf1400 |
|
18-Oct-2011 |
bulwahn <none@none> |
adding testing of quickcheck narrowing with finite types to mutabelle script; modified is_executable in mutabelle_extra
|
#
77e64863 |
|
22-Sep-2011 |
bulwahn <none@none> |
changing quickcheck_timeout to 30 seconds in mutabelle's testing
|
#
901df6fe |
|
20-Jul-2011 |
bulwahn <none@none> |
exporting function in quickcheck; adapting mutabelle script
|
#
28532dda |
|
14-Jun-2011 |
bulwahn <none@none> |
improved mutabelle script to use nat for quickcheck_narrowing
|
#
cb63675e |
|
02-Jun-2011 |
bulwahn <none@none> |
adding quickcheck narrowing to mutabelle script; deactivating nitpick in mutabelle script momentarily because we are not monitoring the results effectively
|
#
c9328b32 |
|
02-Jun-2011 |
bulwahn <none@none> |
adding invocation of exhaustive testing without using finite types to mutabelle
|
#
e955d278 |
|
25-Mar-2011 |
krauss <none@none> |
eliminated hardwired MUTABELLE_OUTPUT_PATH (cf. 6a147393c62a)
|
#
b7aa64d0 |
|
13-Mar-2011 |
wenzelm <none@none> |
more conventional Mutabelle settings -- similar to Mirabelle;
|
#
f06b2ba8 |
|
20-Dec-2010 |
wenzelm <none@none> |
some attempts to fit diagnostic output into regular TTY (75-80 characters per line);
|
#
c6180b29 |
|
16-Dec-2010 |
bulwahn <none@none> |
added nitpick to mutabelle script
|
#
99f3f58f |
|
08-Dec-2010 |
bulwahn <none@none> |
improving the mutabelle script
|
#
5b731ab1 |
|
06-Dec-2010 |
bulwahn <none@none> |
adding mutabelle as a component and an isabelle tool to be used in regression testing
|
#
6ee7ab3b |
|
06-Dec-2010 |
bulwahn <none@none> |
adapting copied bash code in mutabelle script
|