2013-07-15 | wenzelm | tuned line length; | file | diff | annotate |
2011-11-11 | bulwahn | renaming example invocations: tester predicate_compile is renamed to smart_exhaustive | file | diff | annotate |
2011-07-21 | bulwahn | adapting two examples in Predicate_Compile_Examples | file | diff | annotate |
2011-03-13 | wenzelm | modernized imports (untested!?); | file | diff | annotate |
2010-12-29 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
2010-12-03 | bulwahn | adapting predicate_compile_quickcheck | file | diff | annotate |
2010-10-25 | bulwahn | changing test parameters in examples to get to a result within the global timelimit | file | diff | annotate |
2010-09-30 | bulwahn | adapting manual configuration in examples | file | diff | annotate |
2010-09-16 | bulwahn | adapting examples | file | diff | annotate |
2010-09-07 | bulwahn | adapting example files | file | diff | annotate |
2010-09-07 | bulwahn | adding a List example (challenge from Tobias) for counterexample search | file | diff | annotate |