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
Tom Schrijvers
Merge branch
'
ma
s
ter' o
f
git://
g
o
l
lem
.
sci
e
nce
.
uva
.
nl
.
.
.
commit
|
commitdiff
|
tree
2008-08-29
Tom S
c
hrijvers
F
IXE
D
bug, spotted
by Jan Wielemaker
commit
|
commitdiff
|
tree
2008-08-25
Tom Schrijvers
IMPROVED: slightly
c
heaper
c
o
nstant mat
c
hing oper
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-08-22
T
o
m
S
c
hr
i
jvers
FIX chr_identifi
e
r
r
elate
d
bugs and
p
erformance issues
commit
|
commitdiff
|
tree
2008-08-21
Tom Schrijvers
FI
X
ED bug in goal expan
s
ion of chr_iden
t
ifier
lookup
.
.
.
commit
|
commitdiff
|
tree
2008-08-07
Tom Schrijv
e
rs
ENHANCED: mi
g
rate CH
R
compiler to proper AST: fix
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-08-06
Tom Schrijvers
ENH
A
NCED:
mig
r
ate C
H
R compiler to p
r
oper
AST: rule
.
.
.
commit
|
commitdiff
|
tree
2008-06-27
Tom Schrijvers
C
HR: ADDED error v
a
l
u
e
f
o
r
check_guard_
b
indings option
.
.
.
commit
|
commitdiff
|
tree
2008-06-27
Tom S
c
hri
j
vers
CHR: ADDED error
v
alue f
o
r check_guar
d
_bi
n
dings option
.
.
.
commit
|
commitdiff
|
tree
2008-06-23
Tom
S
chrijvers
CHR bug fix: matching between + and ?
m
ode arguments
commit
|
commitdiff
|
tree
2008-06-10
Tom S
c
hrijv
e
rs
Merge branch 'master
'
o
f
gollem
.
sci
e
n
ce
.
uva
.
nl:/home
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
T
om Schrijv
e
rs
bug fix
commit
|
commitdiff
|
tree
2008-05-22
Tom
Schrijvers
C
H
R: exp
e
rimental
d
etach code size
redu
c
tion (bug
fix)
commit
|
commitdiff
|
tree
2008-05-21
T
om Schrijvers
CHR: reduc
e
code
s
i
z
e of
attach and
d
etach pred
i
cates
.
.
.
commit
|
commitdiff
|
tree
2008-05-20
Tom Sc
h
r
ijvers
CHR: chr_enum/1 (bug fix) and chr_enum/2 (with handler)
commit
|
commitdiff
|
tree
2008-05-18
Tom S
c
h
rijvers
C
H
R:
r
einstate chr_enum/1
commit
|
commitdiff
|
tree
2008-05-14
Tom Schrijv
e
rs
CHR: suppress
p
r
i
nt
i
ng
o
f pu
t
_attr/3 at toplev
e
l
commit
|
commitdiff
|
tree
2008-04-18
Tom Schrijvers
BUG fix CHR:
g
l
o
bal variable declaration for multithre
a
ded
.
.
.
commit
|
commitdiff
|
tree
2008-04-16
Tom Schr
i
jvers
FIX
E
D
CHR: r
e
move optimizations fo
r
pr
e
vi
o
u
s
term_hash
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Tom S
c
hrijv
e
r
s
speciali
z
e
d
on multipl
e
argume
n
ts
commit
|
commitdiff
|
tree
2008-03-04
Tom Schrijvers
ex
p
eriment
a
l: reconstruct
o
rigi
n
al co
n
straint term
.
.
.
commit
|
commitdiff
|
tree
2008-03-04
Tom
Schrijvers
experimental: error hand
l
e
r
fo
r
chr_consta
n
ts type
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Tom Schrij
v
ers
ENH
A
NC
E
D: CHR p
e
rformance o
f
find_
c
hr_constraint when
.
.
.
commit
|
commitdiff
|
tree
2008-02-26
To
m
Schrij
v
ers
p
r
e
f
er global_ground store f
o
r en
u
merating CHR constraints
.
.
.
commit
|
commitdiff
|
tree
2008-02-25
Tom Schrijvers
experimental: specialize chr_
e
num/1 type in experiment
.
.
.
commit
|
commitdiff
|
tree
2008-02-24
Tom
S
chrijve
r
s
minor CHR updates
commit
|
commitdiff
|
tree
2008-02-14
Tom Schrijvers
ENHANCED: CHR performance (
m
inor issues)
commit
|
commitdiff
|
tree
2008-02-13
Tom Schrijvers
r
evert use
o
f
C
library becau
s
e of unexpla
i
ned e
r
rors?
commit
|
commitdiff
|
tree
2008-02-13
Tom
S
chri
j
vers
safe PL_g
e
t_arg
commit
|
commitdiff
|
tree
2008-02-13
Tom Schrijv
e
rs
FIX: CH
R
new C f
i
le
f
o
r
Wi
n
dows
commit
|
commitdiff
|
tree
2008-02-13
Tom Schrijvers
cl
e
a
n
-up of CHR
c
o
m
p
i
ler
commit
|
commitdiff
|
tree
2008-02-13
Tom Schrijvers
F
IX: CHR: s
i
ngle ch
r
_suppor
t
.
c
C
file
commit
|
commitdiff
|
tree
2008-02-12
T
om Schrijv
e
rs
ENH
A
N
C
ED: CHR: moved performa
n
ce cri
t
ical p
r
edicates
.
.
.
commit
|
commitdiff
|
tree
2008-02-11
Tom Schrijver
s
ENHANCED: CHR us
e
r-provid
e
d background knowledge (Jo
n
.
.
.
commit
|
commitdiff
|
tree
2008-02-11
Tom Sc
h
r
i
jv
e
rs
mi
s
sing up
d
ates
commit
|
commitdiff
|
tree
2008-02-10
T
o
m
Schri
j
v
e
r
s
ENHANCED:
CHR compiler performance
commit
|
commitdiff
|
tree
2008-02-10
T
om Schrijvers
ENHANC
E
D: CHR compiler per
f
ormance
commit
|
commitdiff
|
tree
2008-01-31
Tom Schri
j
vers
cod
e
cle
a
n
-
up
commit
|
commitdiff
|
tree
2008-01-29
T
o
m
Schrijvers
EHAN
C
ED: CHR performance: compacted indexing
code
commit
|
commitdiff
|
tree
2008-01-28
Tom Schrij
v
ers
A
D
DED:
C
HR
:
chr_
c
onstan
t
s
/1 buil
t
-in typ
e
f
o
r
enumerated
.
.
.
commit
|
commitdiff
|
tree
2008-01-27
Tom S
c
hrijv
e
rs
ENHANCED: CHR: perform
a
nce improvements (
s
u
ccess
c
ontinu
a
tio
.
.
.
commit
|
commitdiff
|
tree
2008-01-24
To
m
Sch
r
ijver
s
CHR
:
performanc
e
improvement
commit
|
commitdiff
|
tree
2008-01-23
Tom Schrijver
s
CHR:
s
uppress debug me
s
sage
commit
|
commitdiff
|
tree
2008-01-23
Tom Schr
i
jvers
C
H
R bug fix
commit
|
commitdiff
|
tree
2008-01-22
Tom S
c
h
rijvers
C
H
R
performance
im
p
rovements
commit
|
commitdiff
|
tree
2008-01-14
To
m
Schrijvers
f
i
xed
performanc
e
bugs
commit
|
commitdiff
|
tree
2008-01-10
Tom
S
chrijvers
faster
hashtabl
e
loo
k
u
ps for
i
nt
and nat
u
ra
l
t
y
pes
commit
|
commitdiff
|
tree
2008-01-10
Tom Schrijver
s
new chr_opt
i
ons
commit
|
commitdiff
|
tree
2008-01-10
Tom Schrijvers
Type
c
hecking of
c
onstra
i
nt declarations
.
commit
|
commitdiff
|
tree
2008-01-09
Tom
Schrijvers
bug f
i
x
commit
|
commitdiff
|
tree
2008-01-09
T
o
m Schrijvers
suppress
s
purious
w
arnings
commit
|
commitdiff
|
tree
2008-01-08
T
o
m Schrijvers
c
omm
e
nts
commit
|
commitdiff
|
tree
2008-01-08
Tom Schrijvers
bug fix
commit
|
commitdiff
|
tree
2008-01-08
Tom Sch
r
ijvers
clean
-
u
p
commit
|
commitdiff
|
tree
2008-01-08
T
o
m Schrijvers
bug fi
x
commit
|
commitdiff
|
tree
2008-01-07
T
om
Schrij
v
ers
omit sp
u
rious warnings
commit
|
commitdiff
|
tree
2008-01-07
Tom
S
chrijvers
N
ew exp
e
rimental store fo
r
fast lookup on term c
o
nstants
.
commit
|
commitdiff
|
tree
2008-01-04
Tom Schr
i
j
v
ers
new experimental indexing
s
tore (s
e
e
ChangeLog)
commit
|
commitdiff
|
tree
2008-01-04
Tom
Schrijver
s
Recogni
z
e
m
o
re harmless buil
t
-ins
.
commit
|
commitdiff
|
tree
2008-01-03
T
om Schrijvers
Inlined inthash
l
o
o
ku
p
s
.
commit
|
commitdiff
|
tree
2008-01-03
To
m
Schrij
v
ers
Changes to warning messages of new s
t
ore
d
ness d
e
claration
.
.
.
commit
|
commitdiff
|
tree
2007-12-31
Tom
S
c
hrijv
e
rs
New f
e
ature for adding
u
n
conditional simplifi
c
ation
.
.
.
commit
|
commitdiff
|
tree
2007-12-29
Tom Schrijvers
Expe
r
imental
f
eature
.
Se
e
ChangeL
o
g
.
commit
|
commitdiff
|
tree
2007-12-27
Tom Sch
r
ijvers
See
C
han
g
eL
o
g
commit
|
commitdiff
|
tree
2007-10-02
Tom Schrijvers
tim
e
commit
|
commitdiff
|
tree
2007-10-02
Tom S
c
hrijve
r
s
a
d
d
e
d m
o
re type i
n
formation
commit
|
commitdiff
|
tree
2007-09-26
Tom Schrij
v
ers
no ti
m
ing informatio
n
commit
|
commitdiff
|
tree
2007-09-26
Tom Schrijvers
c
ode cleaning
knows about line numb
e
rs
commit
|
commitdiff
|
tree
2007-05-25
T
om Schrijver
s
guard
_
entailmen
t
s
pee
d
up
commit
|
commitdiff
|
tree
2007-05-02
To
m
S
c
hrijvers
bug fix + checks
commit
|
commitdiff
|
tree
2007-04-05
T
om Schri
j
vers
c
o
mpiler performanc
e
improvement
commit
|
commitdiff
|
tree
2007-03-26
Tom Schrij
v
ers
experimental d
y
namic att
r
i
but
e
terms
commit
|
commitdiff
|
tree
2007-03-16
Tom Schrijvers
extended A
I
obser
v
ation analysis to d
i
sjunction
commit
|
commitdiff
|
tree
2007-03-14
Tom
S
ch
r
ijvers
inter
n
al predica
t
e rena
m
ed
commit
|
commitdiff
|
tree
2007-03-12
Tom Schrijvers
line numbers in messages
commit
|
commitdiff
|
tree
2007-03-12
Tom Schrijvers
sligh
t
ly
fas
t
er guard
entail
m
ent
module
commit
|
commitdiff
|
tree
2007-03-08
Tom
S
chrijvers
line n
u
mbers
commit
|
commitdiff
|
tree
2007-03-05
Tom Schrijvers
bug fix
commit
|
commitdiff
|
tree
2007-02-26
To
m
Schrijvers
bug fi
x
obser
v
ation
commit
|
commitdiff
|
tree
2007-02-26
T
o
m Schrijvers
mixed
c
on
s
traint stores
commit
|
commitdiff
|
tree
2007-02-23
Tom Sc
h
rijver
s
bug fi
x
commit
|
commitdiff
|
tree
2007-02-22
Tom Sc
h
r
i
jvers
ht
_
removal option
commit
|
commitdiff
|
tree
2007-01-25
Tom Schrij
v
ers
b
u
gfixes
commit
|
commitdiff
|
tree
2007-01-18
To
m
Schrijvers
co
n
straints in guards
commit
|
commitdiff
|
tree
2006-12-19
T
om Schri
j
vers
bug fix in
d
yn
a
mic t
y
p
e
check
i
ng
commit
|
commitdiff
|
tree
2006-12-13
Tom Schrijver
s
bug fi
x
in runtime type checking
commit
|
commitdiff
|
tree
2006-11-29
Tom Schrijvers
no
timings
commit
|
commitdiff
|
tree
2006-11-29
Tom S
c
h
r
ijvers
named history bug fix
commit
|
commitdiff
|
tree
2006-11-27
Tom Sc
h
ri
j
vers
history pragma, deoptimization
commit
|
commitdiff
|
tree
2006-11-22
Tom Schrijvers
remo
v
e
d
writelns
commit
|
commitdiff
|
tree
2006-11-21
Tom Schrijvers
experi
m
ental activ
e
_i
n
_guard pragma
commit
|
commitdiff
|
tree
2006-11-20
Tom Schri
j
vers
mpassive
commit
|
commitdiff
|
tree
2006-11-20
T
om Schrijv
e
rs
experiment
a
l history
feature
commit
|
commitdiff
|
tree
2006-11-20
Tom Schrij
v
ers
changes
commit
|
commitdiff
|
tree
2006-10-25
T
o
m
S
chrijvers
late
s
t
chan
g
es
commit
|
commitdiff
|
tree
2006-10-18
Tom
Schrijvers
experimental feat
u
res
commit
|
commitdiff
|
tree
2006-10-17
T
o
m
Schrijv
e
rs
v
a
rious small improvements
commit
|
commitdiff
|
tree
2006-10-12
Tom
Schrijvers
inlin
i
ng,
e
xp
e
r
im
e
n
tal e
x
tens
i
on
commit
|
commitdiff
|
tree
2006-10-09
Tom
S
c
hrijvers
v
ariou
s
commit
|
commitdiff
|
tree
2006-10-03
Tom Schrijv
e
rs
bug fix
commit
|
commitdiff
|
tree
next