Public Git Hosting - chr.git/search

2008-08-29	Tom Schrijvers	FIXED bug, spotted by Jan Wielemaker	commit \| commitdiff \| tree
2008-08-25	Tom Schrijvers	IMPROVED: slightly cheaper constant matching operation...	commit \| commitdiff \| tree
2008-08-22	Tom Schrijvers	FIX chr_identifier related bugs and performance issues	commit \| commitdiff \| tree
2008-08-21	Tom Schrijvers	FIXED bug in goal expansion of chr_identifier lookup...	commit \| commitdiff \| tree
2008-08-07	Tom Schrijvers	ENHANCED: migrate CHR compiler to proper AST: fixes...	commit \| commitdiff \| tree
2008-08-06	Tom Schrijvers	ENHANCED: migrate CHR compiler to proper AST: rule...	commit \| commitdiff \| tree
2008-06-27	Tom Schrijvers	CHR: ADDED error value for check_guard_bindings option...	commit \| commitdiff \| tree
2008-06-27	Tom Schrijvers	CHR: ADDED error value for check_guard_bindings option...	commit \| commitdiff \| tree
2008-06-23	Tom Schrijvers	CHR bug fix: matching between + and ? mode arguments	commit \| commitdiff \| tree
2008-06-10	Tom Schrijvers	Merge branch 'master' of gollem.science.uva.nl:/home...	commit \| commitdiff \| tree
2008-06-10	Tom Schrijvers	bug fix	commit \| commitdiff \| tree
2008-05-22	Tom Schrijvers	CHR: experimental detach code size reduction (bug fix)	commit \| commitdiff \| tree
2008-05-21	Tom Schrijvers	CHR: reduce code size of attach and detach predicates...	commit \| commitdiff \| tree
2008-05-20	Tom Schrijvers	CHR: chr_enum/1 (bug fix) and chr_enum/2 (with handler)	commit \| commitdiff \| tree
2008-05-18	Tom Schrijvers	CHR: reinstate chr_enum/1	commit \| commitdiff \| tree
2008-05-14	Tom Schrijvers	CHR: suppress printing of put_attr/3 at toplevel	commit \| commitdiff \| tree
2008-04-18	Tom Schrijvers	BUG fix CHR: global variable declaration for multithreaded...	commit \| commitdiff \| tree
2008-04-16	Tom Schrijvers	FIXED CHR: remove optimizations for previous term_hash...	commit \| commitdiff \| tree
2008-04-08	Tom Schrijvers	specialized on multiple arguments	commit \| commitdiff \| tree
2008-03-04	Tom Schrijvers	experimental: reconstruct original constraint term...	commit \| commitdiff \| tree
2008-03-04	Tom Schrijvers	experimental: error handler for chr_constants type...	commit \| commitdiff \| tree
2008-02-27	Tom Schrijvers	ENHANCED: CHR performance of find_chr_constraint when...	commit \| commitdiff \| tree
2008-02-26	Tom Schrijvers	prefer global_ground store for enumerating CHR constraints...	commit \| commitdiff \| tree
2008-02-25	Tom Schrijvers	experimental: specialize chr_enum/1 type in experiment...	commit \| commitdiff \| tree
2008-02-24	Tom Schrijvers	minor CHR updates	commit \| commitdiff \| tree
2008-02-14	Tom Schrijvers	ENHANCED: CHR performance (minor issues)	commit \| commitdiff \| tree
2008-02-13	Tom Schrijvers	revert use of C library because of unexplained errors?	commit \| commitdiff \| tree
2008-02-13	Tom Schrijvers	safe PL_get_arg	commit \| commitdiff \| tree
2008-02-13	Tom Schrijvers	FIX: CHR new C file for Windows	commit \| commitdiff \| tree
2008-02-13	Tom Schrijvers	clean-up of CHR compiler	commit \| commitdiff \| tree
2008-02-13	Tom Schrijvers	FIX: CHR: single chr_support.c C file	commit \| commitdiff \| tree
2008-02-12	Tom Schrijvers	ENHANCED: CHR: moved performance critical predicates...	commit \| commitdiff \| tree
2008-02-11	Tom Schrijvers	ENHANCED: CHR user-provided background knowledge (Jon...	commit \| commitdiff \| tree
2008-02-11	Tom Schrijvers	missing updates	commit \| commitdiff \| tree
2008-02-10	Tom Schrijvers	ENHANCED: CHR compiler performance	commit \| commitdiff \| tree
2008-02-10	Tom Schrijvers	ENHANCED: CHR compiler performance	commit \| commitdiff \| tree
2008-01-31	Tom Schrijvers	code clean-up	commit \| commitdiff \| tree
2008-01-29	Tom Schrijvers	EHANCED: CHR performance: compacted indexing code	commit \| commitdiff \| tree
2008-01-28	Tom Schrijvers	ADDED: CHR: chr_constants/1 built-in type for enumerated...	commit \| commitdiff \| tree
2008-01-27	Tom Schrijvers	ENHANCED: CHR: performance improvements (success continuatio...	commit \| commitdiff \| tree
2008-01-24	Tom Schrijvers	CHR: performance improvement	commit \| commitdiff \| tree
2008-01-23	Tom Schrijvers	CHR: suppress debug message	commit \| commitdiff \| tree
2008-01-23	Tom Schrijvers	CHR bug fix	commit \| commitdiff \| tree
2008-01-22	Tom Schrijvers	CHR performance improvements	commit \| commitdiff \| tree
2008-01-14	Tom Schrijvers	fixed performance bugs	commit \| commitdiff \| tree
2008-01-10	Tom Schrijvers	faster hashtable lookups for int and natural types	commit \| commitdiff \| tree
2008-01-10	Tom Schrijvers	new chr_options	commit \| commitdiff \| tree
2008-01-10	Tom Schrijvers	Type checking of constraint declarations.	commit \| commitdiff \| tree
2008-01-09	Tom Schrijvers	bug fix	commit \| commitdiff \| tree
2008-01-09	Tom Schrijvers	suppress spurious warnings	commit \| commitdiff \| tree
2008-01-08	Tom Schrijvers	comments	commit \| commitdiff \| tree
2008-01-08	Tom Schrijvers	bug fix	commit \| commitdiff \| tree
2008-01-08	Tom Schrijvers	clean-up	commit \| commitdiff \| tree
2008-01-08	Tom Schrijvers	bug fix	commit \| commitdiff \| tree
2008-01-07	Tom Schrijvers	omit spurious warnings	commit \| commitdiff \| tree
2008-01-07	Tom Schrijvers	New experimental store for fast lookup on term constants.	commit \| commitdiff \| tree
2008-01-04	Tom Schrijvers	new experimental indexing store (see ChangeLog)	commit \| commitdiff \| tree
2008-01-04	Tom Schrijvers	Recognize more harmless built-ins.	commit \| commitdiff \| tree
2008-01-03	Tom Schrijvers	Inlined inthash lookups.	commit \| commitdiff \| tree
2008-01-03	Tom Schrijvers	Changes to warning messages of new storedness declaration...	commit \| commitdiff \| tree
2007-12-31	Tom Schrijvers	New feature for adding unconditional simplification...	commit \| commitdiff \| tree
2007-12-29	Tom Schrijvers	Experimental feature. See ChangeLog.	commit \| commitdiff \| tree
2007-12-27	Tom Schrijvers	See ChangeLog	commit \| commitdiff \| tree
2007-10-02	Tom Schrijvers	time	commit \| commitdiff \| tree
2007-10-02	Tom Schrijvers	added more type information	commit \| commitdiff \| tree
2007-09-26	Tom Schrijvers	no timing information	commit \| commitdiff \| tree
2007-09-26	Tom Schrijvers	code cleaning knows about line numbers	commit \| commitdiff \| tree
2007-05-25	Tom Schrijvers	guard_entailment speedup	commit \| commitdiff \| tree
2007-05-02	Tom Schrijvers	bug fix + checks	commit \| commitdiff \| tree
2007-04-05	Tom Schrijvers	compiler performance improvement	commit \| commitdiff \| tree
2007-03-26	Tom Schrijvers	experimental dynamic attribute terms	commit \| commitdiff \| tree
2007-03-16	Tom Schrijvers	extended AI observation analysis to disjunction	commit \| commitdiff \| tree
2007-03-14	Tom Schrijvers	internal predicate renamed	commit \| commitdiff \| tree
2007-03-12	Tom Schrijvers	line numbers in messages	commit \| commitdiff \| tree
2007-03-12	Tom Schrijvers	slightly faster guard entailment module	commit \| commitdiff \| tree
2007-03-08	Tom Schrijvers	line numbers	commit \| commitdiff \| tree
2007-03-05	Tom Schrijvers	bug fix	commit \| commitdiff \| tree
2007-02-26	Tom Schrijvers	bug fix observation	commit \| commitdiff \| tree
2007-02-26	Tom Schrijvers	mixed constraint stores	commit \| commitdiff \| tree
2007-02-23	Tom Schrijvers	bug fix	commit \| commitdiff \| tree
2007-02-22	Tom Schrijvers	ht_removal option	commit \| commitdiff \| tree
2007-01-25	Tom Schrijvers	bugfixes	commit \| commitdiff \| tree
2007-01-18	Tom Schrijvers	constraints in guards	commit \| commitdiff \| tree
2006-12-19	Tom Schrijvers	bug fix in dynamic type checking	commit \| commitdiff \| tree
2006-12-13	Tom Schrijvers	bug fix in runtime type checking	commit \| commitdiff \| tree
2006-11-29	Tom Schrijvers	no timings	commit \| commitdiff \| tree
2006-11-29	Tom Schrijvers	named history bug fix	commit \| commitdiff \| tree
2006-11-27	Tom Schrijvers	history pragma, deoptimization	commit \| commitdiff \| tree
2006-11-22	Tom Schrijvers	removed writelns	commit \| commitdiff \| tree
2006-11-21	Tom Schrijvers	experimental active_in_guard pragma	commit \| commitdiff \| tree
2006-11-20	Tom Schrijvers	mpassive	commit \| commitdiff \| tree
2006-11-20	Tom Schrijvers	experimental history feature	commit \| commitdiff \| tree
2006-11-20	Tom Schrijvers	changes	commit \| commitdiff \| tree
2006-10-25	Tom Schrijvers	latest changes	commit \| commitdiff \| tree
2006-10-18	Tom Schrijvers	experimental features	commit \| commitdiff \| tree
2006-10-17	Tom Schrijvers	various small improvements	commit \| commitdiff \| tree
2006-10-12	Tom Schrijvers	inlining, experimental extension	commit \| commitdiff \| tree
2006-10-09	Tom Schrijvers	various	commit \| commitdiff \| tree
2006-10-03	Tom Schrijvers	bug fix	commit \| commitdiff \| tree
2006-10-03	Tom Schrijvers	various	commit \| commitdiff \| tree
next

copy of chr

RSS Atom