repo.or.cz
/
chr.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Merge branch 'master' of /home/pl/chr
2008-08-29
T
o
m Schrijvers
Merge branch
'master'
o
f gi
t
://gollem
.
sc
i
e
n
c
e
.
uva
.
n
l
.
.
.
commit
|
commitdiff
|
tree
2008-08-29
To
m
Schri
j
vers
FIXE
D
bug, spotted by Jan Wielemaker
commit
|
commitdiff
|
tree
2008-08-25
T
om
Sc
h
rijvers
IMP
R
OVED: sli
g
htly chea
p
e
r co
n
s
t
ant matching operation
.
.
.
commit
|
commitdiff
|
tree
2008-08-22
Tom Schr
i
jvers
FIX chr_
i
dentifi
e
r related bugs and perfo
r
mance is
s
ues
commit
|
commitdiff
|
tree
2008-08-21
T
o
m Schrijvers
FIXED bug in
goal expans
i
on of chr_identifier lookup
.
.
.
commit
|
commitdiff
|
tree
2008-08-07
Tom Sch
r
ijvers
ENHANCED: mig
r
ate 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
S
chrijvers
CH
R
: ADDED e
r
ror value for check
_
g
u
ard_binding
s
option
.
.
.
commit
|
commitdiff
|
tree
2008-06-27
Tom Schrijvers
CHR: ADD
E
D e
r
r
or value for
c
heck_gua
r
d_b
i
ndings opti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-06-23
Tom Sch
r
ijvers
CHR
b
ug f
i
x: matching
betwee
n
+ a
n
d
? mode argume
n
t
s
commit
|
commitdiff
|
tree
2008-06-10
Tom Schrijvers
M
e
rge
b
ran
c
h 'mas
t
er' of g
o
l
lem
.
science
.
uva
.
nl
:
/h
o
me
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Tom Schri
j
vers
bug fix
commit
|
commitdiff
|
tree
2008-05-22
To
m
Schr
i
jv
e
rs
CHR: experi
m
ental
deta
c
h
code si
z
e reduction (bug fix)
commit
|
commitdiff
|
tree
2008-05-21
T
o
m Schrijvers
CHR: reduce code
size of attach and det
a
ch predic
a
tes
.
.
.
commit
|
commitdiff
|
tree
2008-05-20
Tom Schrijvers
CHR: chr_enum/1 (bug fi
x
)
a
nd chr_enum/
2
(wit
h
handler)
commit
|
commitdiff
|
tree
2008-05-18
Tom
Schrijvers
CHR
:
reinstate
c
hr_enum/1
commit
|
commitdiff
|
tree
2008-05-14
T
om Schrijvers
C
H
R: suppress
p
rinting o
f
put_attr/3 at toplevel
commit
|
commitdiff
|
tree
2008-04-18
Tom
S
c
h
rijv
e
rs
BUG fix CHR: g
l
obal
v
a
riable declaration for multith
r
eaded
.
.
.
commit
|
commitdiff
|
tree
2008-04-16
Tom Schrijv
e
rs
FIX
E
D CHR: re
m
ove opti
m
ization
s
for previous term_hash
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
To
m
Schrijvers
specialized o
n
multiple argument
s
commit
|
commitdiff
|
tree
2008-03-04
T
o
m Schrijvers
exp
e
riment
a
l
:
reco
n
struct original const
r
ai
n
t term
.
.
.
commit
|
commitdiff
|
tree
2008-03-04
T
om Schrijvers
ex
p
erimental:
e
rror ha
n
dle
r
for chr_constan
t
s
t
ype
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
T
o
m Schri
j
vers
ENHAN
C
ED: C
H
R performance of find_c
h
r_constrai
n
t when
.
.
.
commit
|
commitdiff
|
tree
2008-02-26
Tom Schrijvers
p
r
e
f
e
r
global_ground sto
r
e for enumerating CHR co
n
strain
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-02-25
Tom Sc
h
ri
j
vers
expe
r
imenta
l
:
s
p
ec
i
alize
chr_enum/1 type in experi
m
ent
.
.
.
commit
|
commitdiff
|
tree
2008-02-24
Tom
S
chrijvers
mi
n
or CHR updat
e
s
commit
|
commitdiff
|
tree
2008-02-14
Tom Schrijvers
ENHANCED: C
H
R
p
erf
o
rmance
(minor i
s
sue
s
)
commit
|
commitdiff
|
tree
2008-02-13
Tom
S
chrij
v
ers
revert use of
C
libr
a
ry be
c
au
s
e of
unexpla
i
n
ed errors?
commit
|
commitdiff
|
tree
2008-02-13
T
om
Schr
i
jver
s
sa
f
e PL_get_arg
commit
|
commitdiff
|
tree
2008-02-13
Tom Schrijver
s
FIX
:
CH
R
n
e
w C file for
W
indows
commit
|
commitdiff
|
tree
2008-02-13
Tom Sch
r
ijvers
c
lean-up of CHR com
p
i
ler
commit
|
commitdiff
|
tree
2008-02-13
T
o
m
Schr
i
jver
s
FIX: CHR: sin
g
le chr_supp
o
rt
.
c C file
commit
|
commitdiff
|
tree
2008-02-12
T
om Schri
j
vers
ENHANCED: CH
R
:
moved performance cr
i
tical predicates
.
.
.
commit
|
commitdiff
|
tree
2008-02-11
To
m
Sc
h
r
i
j
v
ers
ENHANCED
:
CHR
u
ser-provide
d
back
g
round knowledge (Jon
.
.
.
commit
|
commitdiff
|
tree
2008-02-11
T
o
m Schrijvers
missing updates
commit
|
commitdiff
|
tree
2008-02-10
Tom Schrijvers
ENHANC
E
D
: CHR com
p
iler p
e
r
f
o
rm
a
nc
e
commit
|
commitdiff
|
tree
2008-02-10
Tom S
c
h
rijvers
ENHAN
C
ED: CHR
c
ompiler performanc
e
commit
|
commitdiff
|
tree
2008-01-31
Tom
S
chrijvers
code clean-up
commit
|
commitdiff
|
tree
2008-01-29
Tom Schrijve
r
s
EHANCE
D
:
CHR performa
n
c
e
: co
m
pacted
indexing
c
o
d
e
commit
|
commitdiff
|
tree
2008-01-28
Tom Schrijvers
ADDED: CHR
:
chr_constants/1 built-in type for e
n
umerated
.
.
.
commit
|
commitdiff
|
tree
2008-01-27
T
om Schrijvers
EN
H
ANCED: CHR: performanc
e
i
m
pr
o
vem
e
n
t
s
(success continuatio
.
.
.
commit
|
commitdiff
|
tree
2008-01-24
To
m
Schrijvers
CH
R
: per
f
o
rmance
i
mprovement
commit
|
commitdiff
|
tree
2008-01-23
T
om Schrijvers
CHR:
s
uppre
s
s debug message
commit
|
commitdiff
|
tree
2008-01-23
Tom Sch
r
ijve
r
s
CHR bu
g
fix
commit
|
commitdiff
|
tree
2008-01-22
To
m
Sch
r
i
jv
e
rs
CHR performanc
e
imp
r
ovement
s
commit
|
commitdiff
|
tree
2008-01-14
Tom Schrijvers
fixed
performance bugs
commit
|
commitdiff
|
tree
2008-01-10
Tom Sch
r
i
j
vers
faster ha
s
htable
l
ook
u
ps
f
or in
t
an
d
natural ty
p
es
commit
|
commitdiff
|
tree
2008-01-10
Tom
S
c
hrijvers
n
ew chr_options
commit
|
commitdiff
|
tree
2008-01-10
Tom Schrijvers
Type c
h
ecking of constraint
d
ecl
a
ra
t
ions
.
commit
|
commitdiff
|
tree
2008-01-09
To
m
S
c
h
rijve
r
s
bug fix
commit
|
commitdiff
|
tree
2008-01-09
Tom Sc
h
rijve
r
s
suppress spurious w
a
rnings
commit
|
commitdiff
|
tree
2008-01-08
Tom S
c
hrijvers
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 Schrijve
r
s
omit s
p
uri
o
us warnings
commit
|
commitdiff
|
tree
2008-01-07
Tom Schrijve
r
s
New ex
p
erimental store for
f
a
st
lookup
o
n term c
o
nsta
n
t
s
.
commit
|
commitdiff
|
tree
2008-01-04
T
om
S
ch
r
ijver
s
n
ew experimental indexing store (see Chan
g
eLo
g
)
commit
|
commitdiff
|
tree
2008-01-04
Tom Sch
r
ijver
s
Recognize more h
a
r
m
less
b
uilt-ins
.
commit
|
commitdiff
|
tree
2008-01-03
Tom
S
chrijvers
In
l
ined inth
a
s
h lookups
.
commit
|
commitdiff
|
tree
2008-01-03
Tom Schrijvers
Chan
g
e
s
to warnin
g
m
e
ssag
e
s
of ne
w
s
toredn
e
ss decla
r
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-12-31
Tom Sc
h
rijvers
N
ew feature for adding unc
o
nditional si
m
plification
.
.
.
commit
|
commitdiff
|
tree
2007-12-29
T
o
m
Schrijvers
Exp
e
rimental
f
eature
.
See Change
L
og
.
commit
|
commitdiff
|
tree
2007-12-27
Tom Schrijvers
See C
h
angeLog
commit
|
commitdiff
|
tree
2007-10-02
Tom
S
c
h
rijvers
t
ime
commit
|
commitdiff
|
tree
2007-10-02
Tom Schrij
v
ers
add
e
d more type
infor
m
ation
commit
|
commitdiff
|
tree
2007-09-26
To
m
Schrijvers
no timing information
commit
|
commitdiff
|
tree
2007-09-26
T
o
m Schrijvers
code clea
n
i
n
g knows about line numbers
commit
|
commitdiff
|
tree
2007-05-25
T
o
m Sc
h
r
ij
v
ers
gua
r
d_entail
m
ent speedu
p
commit
|
commitdiff
|
tree
2007-05-02
T
om Schr
i
jvers
bug
fix + checks
commit
|
commitdiff
|
tree
2007-04-05
Tom Schri
j
vers
compiler performance improvement
commit
|
commitdiff
|
tree
2007-03-26
To
m
Schrijvers
expe
r
i
m
ental d
y
namic attri
b
u
te terms
commit
|
commitdiff
|
tree
2007-03-16
T
om Schrijvers
extended A
I
o
b
serv
a
t
ion analysis to disjuncti
o
n
commit
|
commitdiff
|
tree
2007-03-14
Tom Schrijvers
intern
a
l
p
redic
a
te
r
e
named
commit
|
commitdiff
|
tree
2007-03-12
Tom Sc
h
rijvers
l
i
ne numbers in
messages
commit
|
commitdiff
|
tree
2007-03-12
Tom
Sch
r
ijv
e
rs
slightly
faster gu
a
rd entailment
module
commit
|
commitdiff
|
tree
2007-03-08
Tom Schrijvers
line numbers
commit
|
commitdiff
|
tree
2007-03-05
Tom
Schrijvers
b
u
g fix
commit
|
commitdiff
|
tree
2007-02-26
Tom Sch
r
ijve
r
s
bug
f
i
x
o
b
s
ervation
commit
|
commitdiff
|
tree
2007-02-26
Tom Schrijve
r
s
mixed constra
i
n
t
stores
commit
|
commitdiff
|
tree
2007-02-23
Tom Schr
i
jvers
bug fix
commit
|
commitdiff
|
tree
2007-02-22
Tom
S
c
hrijvers
ht
_
remov
a
l
option
commit
|
commitdiff
|
tree
2007-01-25
Tom Schrij
v
ers
bugfixes
commit
|
commitdiff
|
tree
2007-01-18
T
o
m
S
chrijvers
constrain
t
s
i
n
guards
commit
|
commitdiff
|
tree
2006-12-19
Tom Schrij
v
ers
b
ug fix i
n
dy
n
amic type c
h
ecking
commit
|
commitdiff
|
tree
2006-12-13
T
o
m Schrijve
r
s
bug fix in r
u
ntime type
c
h
ecking
commit
|
commitdiff
|
tree
2006-11-29
T
om S
c
h
rijvers
no timing
s
commit
|
commitdiff
|
tree
2006-11-29
Tom
Schrijvers
named histo
r
y bug fix
commit
|
commitdiff
|
tree
2006-11-27
Tom Schrijvers
histor
y
pra
g
ma
,
d
eoptim
i
zation
commit
|
commitdiff
|
tree
2006-11-22
Tom S
c
h
r
ijve
r
s
removed
w
ritel
n
s
commit
|
commitdiff
|
tree
2006-11-21
T
om
S
chrijvers
experimental active_in_guard pragma
commit
|
commitdiff
|
tree
2006-11-20
Tom Sc
h
rijv
e
rs
mpassive
commit
|
commitdiff
|
tree
2006-11-20
Tom Sch
r
ijve
r
s
e
xperimental history feat
u
re
commit
|
commitdiff
|
tree
2006-11-20
Tom Schr
i
jvers
changes
commit
|
commitdiff
|
tree
2006-10-25
Tom Schr
i
jver
s
l
a
test cha
n
ges
commit
|
commitdiff
|
tree
2006-10-18
T
om Sc
h
rijvers
expe
r
i
m
e
n
t
a
l featur
e
s
commit
|
commitdiff
|
tree
2006-10-17
Tom
S
chrijvers
various
small impro
v
ements
commit
|
commitdiff
|
tree
2006-10-12
Tom Schri
j
v
e
rs
inlin
i
ng, experimental extension
commit
|
commitdiff
|
tree
2006-10-09
Tom Schrij
v
ers
various
commit
|
commitdiff
|
tree
2006-10-03
Tom
S
c
hrijvers
bug fix
commit
|
commitdiff
|
tree
next