src/HOL/Tools/Predicate_Compile/code_prolog.ML
2011-03-13 wenzelm 2011-03-13 allow spaces in executable names; simplified generated bash scripts;
2011-01-08 wenzelm 2011-01-08 misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
2010-12-20 wenzelm 2010-12-20 slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version); more robust rm_tree -- somewhat dangerous and not exported; tuned;
2010-12-07 wenzelm 2010-12-07 eliminated some hard tabulators (deprecated);
2010-12-03 bulwahn 2010-12-03 adapting predicate_compile_quickcheck
2010-11-02 wenzelm 2010-11-02 simplified some time constants;
2010-10-21 bulwahn 2010-10-21 adapting alternative_defs, predicate_compile_quickcheck, examples and code_prolog
2010-09-30 bulwahn 2010-09-30 adding option to globally limit the prolog execution
2010-09-28 bulwahn 2010-09-28 renaming use_random to use_generators in the predicate compiler
2010-09-27 bulwahn 2010-09-27 adding further tracing messages; tuned
2010-09-20 bulwahn 2010-09-20 renaming variable name to decrease likelyhood of nameclash
2010-09-20 bulwahn 2010-09-20 moving renaming_vars to post_processing; removing clone in values and quickcheck of code_prolog
2010-09-20 bulwahn 2010-09-20 removing clone in code_prolog and predicate_compile_quickcheck
2010-09-16 bulwahn 2010-09-16 adding restoring of numerals for natural numbers for values command
2010-09-16 bulwahn 2010-09-16 values command for prolog supports complex terms and not just variables
2010-09-16 bulwahn 2010-09-16 registering code_prolog as component; using environment variable; adding settings file for prolog code generation
2010-09-16 bulwahn 2010-09-16 adding mode inference to prolog compilation; separate between (ad-hoc) code modifications and system_configuration; adapting quickcheck
2010-09-15 bulwahn 2010-09-15 adding option show_invalid_clauses for a more detailed message when modes are not inferred
2010-09-07 bulwahn 2010-09-07 towards time limiting the prolog execution
2010-09-07 bulwahn 2010-09-07 adding dependencies to IsaMakefile; increasing negative search limit for predicate_compile_quickcheck; adding tracing of introduction rules in code_prolog
2010-08-31 bulwahn 2010-08-31 handling the quickcheck result no counterexample more correctly
2010-08-31 bulwahn 2010-08-31 adding manual reordering of premises to prolog generation
2010-08-31 bulwahn 2010-08-31 towards support of limited predicates for mutually recursive predicates
2010-08-31 bulwahn 2010-08-31 improving clash-free naming of variables and preds in code_prolog
2010-08-31 bulwahn 2010-08-31 renaming
2010-08-31 bulwahn 2010-08-31 using Cache_IO interface for a safe parallel prolog execution
2010-08-31 bulwahn 2010-08-31 storing options for prolog code generation in the theory
2010-08-31 bulwahn 2010-08-31 adding Lambda example theory; tuned
2010-08-31 bulwahn 2010-08-31 added quite adhoc logic program transformations limited_predicates and replacements of predicates
2010-08-28 haftmann 2010-08-28 formerly unnamed infix equality now named HOL.eq
2010-08-27 wenzelm 2010-08-27 merged, resolving some minor conflicts in src/HOL/Tools/Predicate_Compile/code_prolog.ML;
2010-08-27 bulwahn 2010-08-27 merged
2010-08-27 bulwahn 2010-08-27 added support for yet another prolog system (yap); generate has only one option ensure_groundness; added one example of yap invocation in example theory
2010-08-26 bulwahn 2010-08-26 moving options; tuned
2010-08-26 bulwahn 2010-08-26 added generation of predicates for size-limited enumeration of values
2010-08-26 haftmann 2010-08-26 formerly unnamed infix impliciation now named HOL.implies
2010-08-26 wenzelm 2010-08-26 standardized Context.copy_thy to Theory.copy alias, with slightly more direct way of using it;
2010-08-25 bulwahn 2010-08-25 renaming variables to conform to prolog names
2010-08-25 bulwahn 2010-08-25 changing hotel trace definition; adding simple handling of numerals on natural numbers
2010-08-25 bulwahn 2010-08-25 added quickcheck generator for prolog generation; first example of counterexample search with prolog for hotel key card system
2010-08-25 bulwahn 2010-08-25 moving preprocessing to values in prolog generation
2010-08-25 bulwahn 2010-08-25 invocation of values for prolog execution does not require invocation of code_pred anymore
2010-08-25 bulwahn 2010-08-25 improving output of set comprehensions; adding style_check flags
2010-08-25 bulwahn 2010-08-25 improving ensure_groundness in prolog generation; added further example
2010-08-25 bulwahn 2010-08-25 adding very basic transformation to ensure groundness before negations
2010-08-19 haftmann 2010-08-19 tuned quotes
2010-08-19 haftmann 2010-08-19 use antiquotations for remaining unqualified constants in HOL
2010-08-18 haftmann 2010-08-18 removed Code_Prolog: modifies global environment setup non-conservatively
2010-08-01 bulwahn 2010-08-01 adding parsing of numbers; improving output of solution without free variables in prolog code generation
2010-08-01 bulwahn 2010-08-01 adding preprocessing of introduction rules to replace the constant Predicate.eq in the prolog code generation
2010-08-01 bulwahn 2010-08-01 adding basic arithmetic support for prolog code generation
2010-08-01 bulwahn 2010-08-01 adding numbers as basic term in prolog code generation
2010-07-29 bulwahn 2010-07-29 adapting output for first solution
2010-07-29 bulwahn 2010-07-29 removing pointless type information in internal prolog terms
2010-07-29 bulwahn 2010-07-29 cleaning example file; more natural ordering of variable names
2010-07-29 bulwahn 2010-07-29 improving translation to prolog; restoring terms from prolog output; adding tracing support
2010-07-29 bulwahn 2010-07-29 working on parser for prolog reponse
2010-07-29 bulwahn 2010-07-29 querying for multiple solutions in values command for prolog execution
2010-07-29 bulwahn 2010-07-29 correcting scanning
2010-07-29 bulwahn 2010-07-29 adding values command and parsing prolog output