Changelog

   1 Feb 17, 2005
   2
   3   * JS: Added guard entailment optimizations and
   4         new syntax for type and mode declarations.
   5
   6 Dec 15, 2004
   7
   8   * TS: Use prolog:message/3 hook to automatically print
   9         contents of CHR constraint stores with query bindings
  10         on toplevel.
  11
  12 Dec  3, 2004
  13
  14   * TS: Bugfix in code generation. Reported by Lyosha Ilyukhin.
  15
  16 Jul 28, 2004
  17
  18   * TS: Updated hashtable stores. They now start small and expand.
  19
  20 Jul 19, 2004
  21
  22   * JW: Removed chr_pp: module prefixes
  23   * JW: Updated Windows makefile.mak (more similar organisation, added check)
  24
  25 Jul 17, 2004
  26
  27   * TS: Added chr_hashtable_store library.
  28   * TS: Added find library.
  29   * TS: Added builtins library.
  30   * TS: Added clean_code library.
  31   * TS: Added binomial_heap library.
  32   * TS: Added a_star library.
  33   * TS: Added new intermediate bootstrapping step
  34   * TS: Synchronized CHR compiler with most recent development version
  35
  36   Summary of changes:
  37
  38    "The new version of the compiler contains several new optimizations, both
  39     fully automatic, such as the antimonotny-based delay avoidance (see
  40     http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW385.abs.html for
  41     the technical report), and enabled by mode declarations (see CHR
  42     documentation), such as hashtable-based constraint indexes."
  43
  44 Apr 9, 2004
  45
  46   * JW: Added chr_messages.pl.  Make all debug messages use the print_message/2
  47     interface to enable future embedding.
  48
  49 Apr 7, 2004
  50
  51   * JW: Added chr:debug_interact/3 hook.  Defined in chr_swi.pl to void
  52     showing constraints first as goal and then as CHR call.
  53   * JW: Added chr:debug_event/2 hook.  Defined in chr_swi.pl to make the
  54     CHR debugger honour a skip command from the Prolog tracer.
  55
  56 Apr 6, 2004
  57
  58   * JW: Added b (break) to the CHR debugger.
  59   * TS: added chr_expandable/2 clause for pragma/2
  60
  61 Apr 5, 2004
  62
  63   * JW: fixed reference to format_rule/2.
  64   * JW: Use select/3 rather than delete/3 in diff/2 in Tests/zebra.pl
  65   * TS: CHR translation now leaves CHR store empty
  66
  67 Apr 4, 2004
  68
  69   * JW: added :- use_module(library(chr)) to all examples.
  70   * JW: mapped -O --> option(optimize, full).
  71   * JW: introduced file-search-path `chr' for clarity and to enable running
  72     make check from the local environment instead of the public installation.
  73   * JW: mapped prolog flag generate_debug_info --> option(debug, on)
  74   * JW: Replaced the chr -> pl step with term_expansion/2.
  75   * JW: Moved insert_declarations/2 to chr_swi.pl
  76
  77 Apr 2, 2004
  78
  79   * JW: fixed Undefined procedure: chr_runtime:run_suspensions_loop_d/1
  80   * TS: Added <space> for creep and shortened debug line prefix to CHR:
  81
  82 Mar 29, 2004
  83
  84   * JW: Use \+ \+ in chr_compile/3 to undo changes to the constraint
  85     pool.  Regression test suite using "make check" works again.
  86
  87 Mar 25, 2004
  88
  89   * TS: Added skip and ancestor debug commands
  90
  91 Mar 24, 2004
  92
  93   * TS: Added bootstrapping process for CHR compiler using CHR.
  94   * TS: CHR compiler now uses CHR.
  95   * TS: Fixed bug in compilation of multi-headed simpagation rules.
  96   * TS: Cleaned up compiler.
  97   * TS: Added analysis + optimization for never attached constraints.
  98   * TS: Exploit uniqueness (functional dependency) results to detect
  99     set semantics type simpagation rules where one rule can be passive
 100   * TS: Compiler generates 'chr debug_event'/1 calls
 101   * TS: Rudimentary support for debugging.
 102     option(debug,on) causes a trace of CHR events to be printed
 103
 104 Mar 15, 2004
 105
 106   * JW: Fix operator handling.
 107
 108 Mar 3, 2004
 109
 110   * JW: Integrated new version from Tom Schrijvers.