?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
Merge branch 'master' of /home/pl/chr
2008-08-29 Tom SchrijversMerge branch 'master' of git://gollem.science.uva.nl...
commit | commitdiff | tree
2008-08-29 Tom SchrijversFIXED bug, spotted by Jan Wielemaker
 commit | commitdiff | tree
2008-08-25 Tom SchrijversIMPROVED: slightly cheaper constant matching operation...
commit | commitdiff | tree
2008-08-22 Tom SchrijversFIX chr_identifier related bugs and performance issues
 commit | commitdiff | tree
2008-08-21 Tom SchrijversFIXED bug in goal expansion of chr_identifier lookup...
commit | commitdiff | tree
2008-08-07 Tom SchrijversENHANCED: migrate CHR compiler to proper AST: fixes...
commit | commitdiff | tree
2008-08-06 Tom SchrijversENHANCED: migrate CHR compiler to proper AST: rule...
commit | commitdiff | tree
2008-06-27 Tom SchrijversCHR: ADDED error value for check_guard_bindings option...
commit | commitdiff | tree
2008-06-27 Tom SchrijversCHR: ADDED error value for check_guard_bindings option...
commit | commitdiff | tree
2008-06-23 Tom SchrijversCHR bug fix: matching between + and ? mode arguments
 commit | commitdiff | tree
2008-06-10 Tom SchrijversMerge branch 'master' of gollem.science.uva.nl:/home...
commit | commitdiff | tree
2008-06-10 Tom Schrijversbug fix
 commit | commitdiff | tree
2008-05-22 Tom SchrijversCHR: experimental detach code size reduction (bug fix)
 commit | commitdiff | tree
2008-05-21 Tom SchrijversCHR: reduce code size of attach and detach predicates...
commit | commitdiff | tree
2008-05-20 Tom SchrijversCHR: chr_enum/1 (bug fix) and chr_enum/2 (with handler)
 commit | commitdiff | tree
2008-05-18 Tom SchrijversCHR: reinstate chr_enum/1
 commit | commitdiff | tree
2008-05-14 Tom SchrijversCHR: suppress printing of put_attr/3 at toplevel
 commit | commitdiff | tree
2008-04-18 Tom SchrijversBUG fix CHR: global variable declaration for multithreaded...
commit | commitdiff | tree
2008-04-16 Tom SchrijversFIXED CHR: remove optimizations for previous term_hash...
commit | commitdiff | tree
2008-04-08 Tom Schrijversspecialized on multiple arguments
 commit | commitdiff | tree
2008-03-04 Tom Schrijversexperimental: reconstruct original constraint term...
commit | commitdiff | tree
2008-03-04 Tom Schrijversexperimental: error handler for chr_constants type...
commit | commitdiff | tree
2008-02-27 Tom SchrijversENHANCED: CHR performance of find_chr_constraint when...
commit | commitdiff | tree
2008-02-26 Tom Schrijversprefer global_ground store for enumerating CHR constraints...
commit | commitdiff | tree
2008-02-25 Tom Schrijversexperimental: specialize chr_enum/1 type in experiment...
commit | commitdiff | tree
2008-02-24 Tom Schrijversminor CHR updates
 commit | commitdiff | tree
2008-02-14 Tom SchrijversENHANCED: CHR performance (minor issues)
 commit | commitdiff | tree
2008-02-13 Tom Schrijversrevert use of C library because of unexplained errors?
 commit | commitdiff | tree
2008-02-13 Tom Schrijverssafe PL_get_arg
 commit | commitdiff | tree
2008-02-13 Tom SchrijversFIX: CHR new C file for Windows
 commit | commitdiff | tree
2008-02-13 Tom Schrijversclean-up of CHR compiler
 commit | commitdiff | tree
2008-02-13 Tom SchrijversFIX: CHR: single chr_support.c C file
 commit | commitdiff | tree
2008-02-12 Tom SchrijversENHANCED: CHR: moved performance critical predicates...
commit | commitdiff | tree
2008-02-11 Tom SchrijversENHANCED: CHR user-provided background knowledge (Jon...
commit | commitdiff | tree
2008-02-11 Tom Schrijversmissing updates
 commit | commitdiff | tree
2008-02-10 Tom SchrijversENHANCED: CHR compiler performance
 commit | commitdiff | tree
2008-02-10 Tom SchrijversENHANCED: CHR compiler performance
 commit | commitdiff | tree
2008-01-31 Tom Schrijverscode clean-up
 commit | commitdiff | tree
2008-01-29 Tom SchrijversEHANCED: CHR performance: compacted indexing code
 commit | commitdiff | tree
2008-01-28 Tom SchrijversADDED: CHR: chr_constants/1 built-in type for enumerated...
commit | commitdiff | tree
2008-01-27 Tom SchrijversENHANCED: CHR: performance improvements (success continuatio...
commit | commitdiff | tree
2008-01-24 Tom SchrijversCHR: performance improvement
 commit | commitdiff | tree
2008-01-23 Tom SchrijversCHR: suppress debug message
 commit | commitdiff | tree
2008-01-23 Tom SchrijversCHR bug fix
 commit | commitdiff | tree
2008-01-22 Tom SchrijversCHR performance improvements
 commit | commitdiff | tree
2008-01-14 Tom Schrijversfixed performance bugs
 commit | commitdiff | tree
2008-01-10 Tom Schrijversfaster hashtable lookups for int and natural types
 commit | commitdiff | tree
2008-01-10 Tom Schrijversnew chr_options
 commit | commitdiff | tree
2008-01-10 Tom SchrijversType checking of constraint declarations.
 commit | commitdiff | tree
2008-01-09 Tom Schrijversbug fix
 commit | commitdiff | tree
2008-01-09 Tom Schrijverssuppress spurious warnings
 commit | commitdiff | tree
2008-01-08 Tom Schrijverscomments
 commit | commitdiff | tree
2008-01-08 Tom Schrijversbug fix
 commit | commitdiff | tree
2008-01-08 Tom Schrijversclean-up
 commit | commitdiff | tree
2008-01-08 Tom Schrijversbug fix
 commit | commitdiff | tree
2008-01-07 Tom Schrijversomit spurious warnings
 commit | commitdiff | tree
2008-01-07 Tom SchrijversNew experimental store for fast lookup on term constants.
 commit | commitdiff | tree
2008-01-04 Tom Schrijversnew experimental indexing store (see ChangeLog)
 commit | commitdiff | tree
2008-01-04 Tom SchrijversRecognize more harmless built-ins.
 commit | commitdiff | tree
2008-01-03 Tom SchrijversInlined inthash lookups.
 commit | commitdiff | tree
2008-01-03 Tom SchrijversChanges to warning messages of new storedness declaration...
commit | commitdiff | tree
2007-12-31 Tom SchrijversNew feature for adding unconditional simplification...
commit | commitdiff | tree
2007-12-29 Tom SchrijversExperimental feature. See ChangeLog.
 commit | commitdiff | tree
2007-12-27 Tom SchrijversSee ChangeLog
 commit | commitdiff | tree
2007-10-02 Tom Schrijverstime
 commit | commitdiff | tree
2007-10-02 Tom Schrijversadded more type information
 commit | commitdiff | tree
2007-09-26 Tom Schrijversno timing information
 commit | commitdiff | tree
2007-09-26 Tom Schrijverscode cleaning knows about line numbers
 commit | commitdiff | tree
2007-05-25 Tom Schrijversguard_entailment speedup
 commit | commitdiff | tree
2007-05-02 Tom Schrijversbug fix + checks
 commit | commitdiff | tree
2007-04-05 Tom Schrijverscompiler performance improvement
 commit | commitdiff | tree
2007-03-26 Tom Schrijversexperimental dynamic attribute terms
 commit | commitdiff | tree
2007-03-16 Tom Schrijversextended AI observation analysis to disjunction
 commit | commitdiff | tree
2007-03-14 Tom Schrijversinternal predicate renamed
 commit | commitdiff | tree
2007-03-12 Tom Schrijversline numbers in messages
 commit | commitdiff | tree
2007-03-12 Tom Schrijversslightly faster guard entailment module
 commit | commitdiff | tree
2007-03-08 Tom Schrijversline numbers
 commit | commitdiff | tree
2007-03-05 Tom Schrijversbug fix
 commit | commitdiff | tree
2007-02-26 Tom Schrijversbug fix observation
 commit | commitdiff | tree
2007-02-26 Tom Schrijversmixed constraint stores
 commit | commitdiff | tree
2007-02-23 Tom Schrijversbug fix
 commit | commitdiff | tree
2007-02-22 Tom Schrijversht_removal option
 commit | commitdiff | tree
2007-01-25 Tom Schrijversbugfixes
 commit | commitdiff | tree
2007-01-18 Tom Schrijversconstraints in guards
 commit | commitdiff | tree
2006-12-19 Tom Schrijversbug fix in dynamic type checking
 commit | commitdiff | tree
2006-12-13 Tom Schrijversbug fix in runtime type checking
 commit | commitdiff | tree
2006-11-29 Tom Schrijversno timings
 commit | commitdiff | tree
2006-11-29 Tom Schrijversnamed history bug fix
 commit | commitdiff | tree
2006-11-27 Tom Schrijvershistory pragma, deoptimization
 commit | commitdiff | tree
2006-11-22 Tom Schrijversremoved writelns
 commit | commitdiff | tree
2006-11-21 Tom Schrijversexperimental active_in_guard pragma
 commit | commitdiff | tree
2006-11-20 Tom Schrijversmpassive
 commit | commitdiff | tree
2006-11-20 Tom Schrijversexperimental history feature
 commit | commitdiff | tree
2006-11-20 Tom Schrijverschanges
 commit | commitdiff | tree
2006-10-25 Tom Schrijverslatest changes
 commit | commitdiff | tree
2006-10-18 Tom Schrijversexperimental features
 commit | commitdiff | tree
2006-10-17 Tom Schrijversvarious small improvements
 commit | commitdiff | tree
2006-10-12 Tom Schrijversinlining, experimental extension
 commit | commitdiff | tree
2006-10-09 Tom Schrijversvarious
 commit | commitdiff | tree
2006-10-03 Tom Schrijversbug fix
 commit | commitdiff | tree
next
copy of chr