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 Schr
i
jvers
Merge
bra
n
ch 'ma
s
t
er' of git://gollem
.
s
c
i
ence
.
u
v
a
.
nl
.
.
.
commit
|
commitdiff
|
tree
2008-08-29
Tom Sc
h
r
i
j
vers
FIXED bug, spotted by
J
an Wielemaker
commit
|
commitdiff
|
tree
2008-08-25
Tom S
c
hrijv
e
r
s
IM
P
R
O
VED: s
l
ightly cheaper constant matc
h
ing op
e
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-08-22
Tom Schr
i
jvers
F
IX ch
r
_
iden
t
ifi
e
r related bugs and p
e
rform
a
n
ce issues
commit
|
commitdiff
|
tree
2008-08-21
Tom Schr
i
jvers
FIX
E
D
b
ug
i
n goal expansi
o
n of chr_identifie
r
lo
o
k
up
.
.
.
commit
|
commitdiff
|
tree
2008-08-07
Tom
Schrijvers
EN
H
ANCED:
m
i
g
rate CHR compiler to pro
p
er
A
S
T: fixes
.
.
.
commit
|
commitdiff
|
tree
2008-08-06
Tom S
c
h
rijvers
ENHANCED: migr
a
te CHR comp
i
ler
to proper AST:
r
ule
.
.
.
commit
|
commitdiff
|
tree
2008-06-27
Tom Sch
r
ijvers
CHR:
A
DDED
e
rror value
f
or check_guard_bindings
option
.
.
.
commit
|
commitdiff
|
tree
2008-06-27
T
o
m
Schrij
v
ers
C
HR: ADDED
err
o
r
value for check_guard_bindi
n
gs option
.
.
.
commit
|
commitdiff
|
tree
2008-06-23
Tom Schrijvers
CHR
b
u
g
fix: matching betwe
e
n + and ?
mode
a
rguments
commit
|
commitdiff
|
tree
2008-06-10
Tom Schr
i
jvers
Merge branch 'mast
e
r' of
g
ollem
.
science
.
u
va
.
nl:/
h
ome
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
T
o
m Schrij
v
e
r
s
bug fix
commit
|
commitdiff
|
tree
2008-05-22
Tom Schrijv
e
rs
C
H
R: experimental
d
e
tach
c
o
de siz
e
reduction (bu
g
fix)
commit
|
commitdiff
|
tree
2008-05-21
T
o
m Schrijvers
CH
R
:
reduce code size of
attach and detach
p
redicates
.
.
.
commit
|
commitdiff
|
tree
2008-05-20
Tom Schr
i
jvers
CHR: chr_enum/
1
(bug fi
x
) and chr_
e
num/2 (with handler)
commit
|
commitdiff
|
tree
2008-05-18
T
om Schrijv
e
rs
CHR: reins
t
a
te chr
_
enum/1
commit
|
commitdiff
|
tree
2008-05-14
Tom Schrijvers
C
HR: suppre
s
s pri
n
ting of put_a
t
tr/3 at toplevel
commit
|
commitdiff
|
tree
2008-04-18
Tom Schrijvers
BUG fix CHR:
g
l
o
bal v
a
riable declarati
o
n fo
r
m
ultithre
a
ded
.
.
.
commit
|
commitdiff
|
tree
2008-04-16
T
om
S
chrijver
s
FIXED CHR: remove o
p
ti
m
iz
a
tions
f
or previou
s
term_hash
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
To
m
Schrijvers
sp
e
cialized on
multip
l
e ar
g
u
ments
commit
|
commitdiff
|
tree
2008-03-04
T
om Schrijvers
ex
p
erimental: reconstr
u
ct or
i
g
i
nal constrai
n
t term
.
.
.
commit
|
commitdiff
|
tree
2008-03-04
Tom Sc
h
rijvers
exp
e
rimenta
l
: error handl
e
r
f
or chr_constants typ
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
T
o
m Schrijvers
ENHANCED:
C
HR per
f
o
rmance
o
f
f
i
n
d_
c
hr_
c
onstraint when
.
.
.
commit
|
commitdiff
|
tree
2008-02-26
Tom S
c
hrijvers
prefer global_ground store for enumerating
C
HR cons
t
rain
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-02-25
Tom Schrijver
s
e
xperi
m
ental: spe
c
ialize chr_enum/1 type
in
e
xpe
r
i
ment
.
.
.
commit
|
commitdiff
|
tree
2008-02-24
T
o
m Schrijvers
minor C
H
R upda
t
es
commit
|
commitdiff
|
tree
2008-02-14
Tom S
c
hrijvers
ENHANCED:
C
HR
p
e
rformance (minor issue
s
)
commit
|
commitdiff
|
tree
2008-02-13
T
o
m Sc
h
rijvers
rever
t
use
o
f C
lib
r
a
r
y
because of unexplained errors?
commit
|
commitdiff
|
tree
2008-02-13
Tom Sc
h
rijver
s
safe PL_get_arg
commit
|
commitdiff
|
tree
2008-02-13
Tom Sch
r
ijvers
FIX: CHR
new C file for Windows
commit
|
commitdiff
|
tree
2008-02-13
T
o
m
Schrijvers
clean-u
p
of
CH
R
com
p
iler
commit
|
commitdiff
|
tree
2008-02-13
T
o
m
Schrijvers
F
I
X: C
H
R: single c
h
r_s
u
pp
o
r
t
.
c C f
i
le
commit
|
commitdiff
|
tree
2008-02-12
Tom
S
chrijve
r
s
E
NHANCED: CHR:
moved performance
critical pred
i
cates
.
.
.
commit
|
commitdiff
|
tree
2008-02-11
T
o
m S
c
hrijvers
E
N
H
ANCED: CHR us
e
r-provided background k
n
owledge (Jon
.
.
.
commit
|
commitdiff
|
tree
2008-02-11
Tom Schr
i
jver
s
missin
g
update
s
commit
|
commitdiff
|
tree
2008-02-10
T
o
m Schrijvers
ENHANCED:
CHR comp
i
ler performance
commit
|
commitdiff
|
tree
2008-02-10
T
o
m S
c
hrijvers
E
N
HA
N
C
ED: CHR
c
om
p
iler perform
a
nce
commit
|
commitdiff
|
tree
2008-01-31
Tom Schri
j
v
e
rs
code clean-u
p
commit
|
commitdiff
|
tree
2008-01-29
Tom Schrijve
r
s
EH
A
N
C
ED: CHR p
e
rformance: compa
c
ted indexing code
commit
|
commitdiff
|
tree
2008-01-28
Tom Schrijvers
A
D
DED: CHR:
chr
_
c
onstants/1 built-in type for enum
e
rated
.
.
.
commit
|
commitdiff
|
tree
2008-01-27
Tom Schrijvers
EN
H
ANCED: CHR: performanc
e
impr
o
vement
s
(success continuatio
.
.
.
commit
|
commitdiff
|
tree
2008-01-24
Tom Sc
h
rijv
e
rs
C
H
R: per
f
ormance improvem
e
nt
commit
|
commitdiff
|
tree
2008-01-23
Tom Schrijve
r
s
CHR: suppress debug
messag
e
commit
|
commitdiff
|
tree
2008-01-23
T
o
m Sc
h
rijvers
CHR bug fix
commit
|
commitdiff
|
tree
2008-01-22
Tom Schr
i
jvers
CHR performance
i
m
p
r
o
v
e
m
ents
commit
|
commitdiff
|
tree
2008-01-14
T
om Schri
j
ve
r
s
fi
x
e
d
performance bugs
commit
|
commitdiff
|
tree
2008-01-10
Tom
Schrij
v
ers
fas
t
er
hashtable
lookups f
o
r int and natura
l
types
commit
|
commitdiff
|
tree
2008-01-10
Tom Schrij
v
e
r
s
ne
w
chr_options
commit
|
commitdiff
|
tree
2008-01-10
Tom Schrijve
r
s
Type
c
h
e
cking
o
f constra
i
nt declara
t
i
o
ns
.
commit
|
commitdiff
|
tree
2008-01-09
Tom
S
c
hrijvers
bug fix
commit
|
commitdiff
|
tree
2008-01-09
Tom Schrijvers
sup
p
ress spurious warnings
commit
|
commitdiff
|
tree
2008-01-08
Tom S
c
hrij
v
ers
co
m
ments
commit
|
commitdiff
|
tree
2008-01-08
Tom S
c
hrijvers
bug fix
commit
|
commitdiff
|
tree
2008-01-08
T
o
m Schrijvers
clean-up
commit
|
commitdiff
|
tree
2008-01-08
T
o
m
Schrijv
e
rs
bug fix
commit
|
commitdiff
|
tree
2008-01-07
Tom S
c
hrijvers
om
i
t spurious warni
n
gs
commit
|
commitdiff
|
tree
2008-01-07
Tom Sch
r
i
j
vers
New experime
n
ta
l
store for fast
l
ookup on term
c
onstants
.
commit
|
commitdiff
|
tree
2008-01-04
Tom Sch
r
ijvers
new experimental
indexing store (see ChangeLog)
commit
|
commitdiff
|
tree
2008-01-04
Tom Schrijvers
Re
c
o
gnize more harmless built-ins
.
commit
|
commitdiff
|
tree
2008-01-03
Tom Schri
j
vers
Inlined
i
nt
h
a
sh lo
o
ku
p
s
.
commit
|
commitdiff
|
tree
2008-01-03
Tom S
c
h
r
ijvers
Chan
g
es to warning messages of new
s
toredness declaration
.
.
.
commit
|
commitdiff
|
tree
2007-12-31
Tom
Schrijvers
New feature
for adding unconditional simplification
.
.
.
commit
|
commitdiff
|
tree
2007-12-29
Tom
S
chrijvers
Experimen
t
al f
e
a
ture
.
See Ch
a
ngeLog
.
commit
|
commitdiff
|
tree
2007-12-27
Tom Schrijvers
S
ee Change
L
og
commit
|
commitdiff
|
tree
2007-10-02
T
o
m S
c
hrijvers
t
ime
commit
|
commitdiff
|
tree
2007-10-02
Tom Schrijve
r
s
a
dd
e
d
m
ore type inf
o
r
m
a
t
ion
commit
|
commitdiff
|
tree
2007-09-26
T
o
m Sch
r
i
j
vers
no timi
n
g information
commit
|
commitdiff
|
tree
2007-09-26
Tom Schrijvers
c
ode c
l
eaning knows about li
n
e numbers
commit
|
commitdiff
|
tree
2007-05-25
Tom
S
chrijvers
guard_entailment speedup
commit
|
commitdiff
|
tree
2007-05-02
T
o
m Schri
j
vers
b
u
g f
i
x + checks
commit
|
commitdiff
|
tree
2007-04-05
Tom Schrijvers
c
o
mpile
r
performance imp
r
ovement
commit
|
commitdiff
|
tree
2007-03-26
T
om
Schrij
v
e
r
s
exper
i
mental dynamic
a
ttribute terms
commit
|
commitdiff
|
tree
2007-03-16
Tom
Schrij
v
ers
exte
n
ded AI
observation analysis to disjunction
commit
|
commitdiff
|
tree
2007-03-14
Tom Schrijvers
in
t
ernal predicate renamed
commit
|
commitdiff
|
tree
2007-03-12
T
om
S
chrijver
s
l
i
ne n
u
mber
s
in messa
g
e
s
commit
|
commitdiff
|
tree
2007-03-12
Tom S
c
hrijvers
sli
g
h
t
ly faster gua
r
d
entailment module
commit
|
commitdiff
|
tree
2007-03-08
Tom Sch
r
ijvers
line numbers
commit
|
commitdiff
|
tree
2007-03-05
To
m
S
c
hrijvers
bu
g
f
i
x
commit
|
commitdiff
|
tree
2007-02-26
Tom Sch
r
i
j
vers
b
ug fix
o
b
se
r
vation
commit
|
commitdiff
|
tree
2007-02-26
Tom Schrij
v
ers
mix
e
d
cons
t
raint stores
commit
|
commitdiff
|
tree
2007-02-23
T
om Schrijvers
bug
f
ix
commit
|
commitdiff
|
tree
2007-02-22
T
o
m
Schrijve
r
s
h
t
_
removal option
commit
|
commitdiff
|
tree
2007-01-25
Tom Schrijvers
bu
g
fix
e
s
commit
|
commitdiff
|
tree
2007-01-18
Tom
Schrijvers
constraints in guar
d
s
commit
|
commitdiff
|
tree
2006-12-19
Tom
Schrijvers
bug
f
ix in dynamic
ty
p
e checking
commit
|
commitdiff
|
tree
2006-12-13
Tom Schrijvers
bug fix
i
n
runtime type che
c
k
i
ng
commit
|
commitdiff
|
tree
2006-11-29
Tom Schrijvers
no tim
i
n
g
s
commit
|
commitdiff
|
tree
2006-11-29
T
o
m
S
chrij
v
ers
named
h
i
story bug fix
commit
|
commitdiff
|
tree
2006-11-27
Tom Sc
h
rij
v
ers
histor
y
pragma, deoptimiza
t
ion
commit
|
commitdiff
|
tree
2006-11-22
Tom Schrijve
r
s
r
em
o
v
e
d
w
ritelns
commit
|
commitdiff
|
tree
2006-11-21
T
om Sch
r
ijvers
e
x
perimental a
c
tive_i
n
_g
u
a
rd pragma
commit
|
commitdiff
|
tree
2006-11-20
Tom Schrijvers
m
pa
s
si
v
e
commit
|
commitdiff
|
tree
2006-11-20
To
m
Schrijv
e
rs
exp
e
rimental his
t
ory feature
commit
|
commitdiff
|
tree
2006-11-20
T
om Schrijvers
changes
commit
|
commitdiff
|
tree
2006-10-25
Tom Sch
r
ij
v
ers
l
atest chan
g
e
s
commit
|
commitdiff
|
tree
2006-10-18
Tom Schr
i
jvers
ex
p
erimental features
commit
|
commitdiff
|
tree
2006-10-17
Tom Schrijvers
various
smal
l
impr
o
vements
commit
|
commitdiff
|
tree
2006-10-12
Tom Sch
r
i
jvers
inlining,
e
xp
e
rimental extension
commit
|
commitdiff
|
tree
2006-10-09
Tom Schrijver
s
v
arious
commit
|
commitdiff
|
tree
2006-10-03
To
m
S
chrij
v
e
r
s
bug fix
commit
|
commitdiff
|
tree
next