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
no timings
2006-11-29
Tom Schrijv
e
rs
no timin
g
s
commit
|
commitdiff
|
tree
2006-11-29
Tom Schrijvers
named histo
r
y bug
f
i
x
commit
|
commitdiff
|
tree
2006-11-27
T
o
m Schr
i
j
vers
h
is
t
o
ry pr
a
g
m
a
,
deop
t
imizati
o
n
commit
|
commitdiff
|
tree
2006-11-22
Tom Schrijvers
re
m
oved w
r
i
t
e
l
ns
commit
|
commitdiff
|
tree
2006-11-21
Tom Schrij
v
ers
e
xperimental
a
ctive_in_g
u
a
r
d p
r
a
g
ma
commit
|
commitdiff
|
tree
2006-11-20
T
o
m Schrijvers
mpassive
commit
|
commitdiff
|
tree
2006-11-20
Tom Schr
i
jvers
e
x
perimental history f
e
ature
commit
|
commitdiff
|
tree
2006-11-20
Tom Schri
j
vers
changes
commit
|
commitdiff
|
tree
2006-10-25
Tom Schrijvers
l
ate
s
t changes
commit
|
commitdiff
|
tree
2006-10-18
T
om Schrij
v
er
s
experimental feat
u
res
commit
|
commitdiff
|
tree
2006-10-17
Tom
S
chrijvers
various small improvements
commit
|
commitdiff
|
tree
2006-10-12
Tom Schrijver
s
inlining, experimenta
l
extensi
o
n
commit
|
commitdiff
|
tree
2006-10-09
Tom
Schrijvers
va
r
ious
commit
|
commitdiff
|
tree
2006-10-03
To
m
Schrijvers
bug
fix
commit
|
commitdiff
|
tree
2006-10-03
T
o
m Schrij
v
ers
various
commit
|
commitdiff
|
tree
2006-09-22
T
om
Schrijvers
chr_leash prob
l
em
commit
|
commitdiff
|
tree
2006-09-18
T
om
Schrijvers
b
ug fix
commit
|
commitdiff
|
tree
2006-08-21
Tom
Schrijve
r
s
wrong a
r
i
t
ies
commit
|
commitdiff
|
tree
2006-08-21
Tom Schrijver
s
Changelog
commit
|
commitdiff
|
tree
2006-08-18
Tom Sch
r
ijver
s
cle
a
nup
commit
|
commitdiff
|
tree
2006-08-17
Tom Schrijvers
inl
i
nin
g
commit
|
commitdiff
|
tree
2006-08-17
Tom Sc
h
rijvers
*** empty log message ***
commit
|
commitdiff
|
tree
2006-08-11
To
m
Schrijvers
ve
r
b
osi
t
y
off
commit
|
commitdiff
|
tree
2006-08-11
T
o
m
Schri
j
vers
su
p
press warnings for automatica
l
ly generated CHR ru
l
es
commit
|
commitdiff
|
tree
2006-08-11
Tom Schrijvers
r
everted ch
r
_assoc_store
commit
|
commitdiff
|
tree
2006-08-10
Tom Schrijvers
various
m
inor ch
a
n
ges
commit
|
commitdiff
|
tree
2006-08-09
T
om Schrijvers
***
empty log messag
e
*
**
commit
|
commitdiff
|
tree
2006-08-09
Tom Schrijvers
Changelog
commit
|
commitdiff
|
tree
2006-08-08
Tom Sch
r
ijv
e
r
s
no
l
o
ck checking
commit
|
commitdiff
|
tree
2006-08-04
Tom S
c
hr
i
j
v
ers
see Changelog
commit
|
commitdiff
|
tree
2006-08-04
Tom Sc
h
rijve
r
s
(-) optimizations
commit
|
commitdiff
|
tree
2006-08-03
Tom Schrijvers
minor c
l
eanup of static type
check
i
ng
commit
|
commitdiff
|
tree
2006-08-03
Tom Schrijv
e
rs
disa
b
le t
i
ming
commit
|
commitdiff
|
tree
2006-08-02
Tom Schrij
v
ers
static type chec
k
ing of
bo
d
ies
commit
|
commitdiff
|
tree
2006-08-02
Tom Schrijver
s
s
t
atic
t
y
p
e
chec
k
er
extension
commit
|
commitdiff
|
tree
2006-08-02
Tom S
c
hrijvers
bug fix
commit
|
commitdiff
|
tree
2006-08-01
Tom Sch
r
ijver
s
static typ
e
checking
commit
|
commitdiff
|
tree
2006-07-28
To
m
Schri
j
vers
exper
i
mental runtime t
y
pe check
i
ng
commit
|
commitdiff
|
tree
2006-07-25
Tom
S
chrijvers
p
rint banner only w
h
en ve
r
bo
s
e_load is tr
u
e
commit
|
commitdiff
|
tree
2006-07-05
Tom Schrijver
s
bug fix
commit
|
commitdiff
|
tree
2006-07-05
Tom Schrijvers
bug fixes
commit
|
commitdiff
|
tree
2006-06-22
Tom Schrijvers
compiler
p
erformance improvements
commit
|
commitdiff
|
tree
2006-06-13
Tom Schrijvers
bug i
n
inl
i
ne
_
matching
_
g
o
a
l
commit
|
commitdiff
|
tree
2006-06-08
Tom Sch
r
ijvers
bug fix
commit
|
commitdiff
|
tree
2006-06-08
Tom Schri
j
vers
small cha
n
ges
commit
|
commitdiff
|
tree
2006-06-07
T
om
S
chrijvers
tra
c
er fi
x
f
o
r propagation r
u
les
commit
|
commitdiff
|
tree
2006-06-02
Tom Schrijver
s
b
u
g
fix tracer
commit
|
commitdiff
|
tree
2006-06-01
T
o
m S
c
hrijvers
debugging fixes
commit
|
commitdiff
|
tree
2006-05-17
Tom Schrijvers
a nu
m
ber
of changs a
n
d
f
ixes
commit
|
commitdiff
|
tree
2006-04-24
Tom Sc
h
rijvers
m
ore
e
fficient
gu
a
rd_
e
ntailm
e
nt
commit
|
commitdiff
|
tree
2006-04-24
T
o
m Schrijvers
current vers
i
o
n
commit
|
commitdiff
|
tree
2006-04-22
Tom Sc
h
rijvers
b
ug fix in ty
p
e aliase
s
; minor refactorin
g
s
commit
|
commitdiff
|
tree
2006-04-14
Tom Schrijvers
bug fix
commit
|
commitdiff
|
tree
2006-04-11
T
o
m S
c
hrij
v
ers
d
is
a
bled some co
m
piler out
p
u
t
commit
|
commitdiff
|
tree
2006-04-11
Tom Sc
h
rijvers
m
a
jor changes
,
most no
t
ably O(1) removal
f
or so
m
e
co
n
s
traint
.
.
.
commit
|
commitdiff
|
tree
2006-03-15
Tom Schrijvers
bug fix and minor o
p
t
imizatio
n
for fun
c
o
r
/3 i
n
guards
commit
|
commitdiff
|
tree
2006-03-11
Tom
S
chrij
v
ers
renam
i
n
g
of glob
a
l variable
commit
|
commitdiff
|
tree
2006-03-10
Tom Schrijvers
m
i
ssing headers
commit
|
commitdiff
|
tree
2006-03-09
T
om Schrijve
r
s
m
i
ssing file
commit
|
commitdiff
|
tree
2006-03-09
Tom Schrijvers
various changes
commit
|
commitdiff
|
tree
2006-03-03
Tom S
c
h
r
ijvers
exception hoo
k
for SWI-P
r
olog only
commit
|
commitdiff
|
tree
2006-03-02
Tom Schrijvers
gl
o
bal variables
exception
hook for
l
azy
i
nitialization
commit
|
commitdiff
|
tree
2006-03-02
Tom Schr
i
jvers
minor changes
commit
|
commitdiff
|
tree
2006-02-09
T
o
m Schrijve
r
s
no more tes
t
in
g
for ch
r
f
ile
commit
|
commitdiff
|
tree
2006-02-08
Tom
S
chrijvers
*** empty log
message ***
commit
|
commitdiff
|
tree
2006-02-08
Tom
S
ch
r
ijvers
mi
n
or fixes
commit
|
commitdiff
|
tree
2006-02-07
Tom Sc
h
rijver
s
c
orrected spelling
commit
|
commitdiff
|
tree
2006-02-06
Tom
S
ch
r
ijvers
redundant code
commit
|
commitdiff
|
tree
2006-01-22
T
o
m Sc
h
rijvers
remove
d
unused operator
commit
|
commitdiff
|
tree
2005-12-15
Tom Schri
j
vers
syntax /
m
essages
commit
|
commitdiff
|
tree
2005-12-13
Tom Schrijvers
s
yntax
c
hanges
commit
|
commitdiff
|
tree
2005-11-21
Tom
Schrijvers
sync with hProlog
commit
|
commitdiff
|
tree
2005-11-18
Tom Schr
i
jv
e
rs
bugfix
commit
|
commitdiff
|
tree
2005-11-18
Tom Schri
j
ve
r
s
sy
n
chronized
with hPro
l
og
commit
|
commitdiff
|
tree
2005-11-18
Tom Schrij
v
e
rs
option control toplev
e
l show store
commit
|
commitdiff
|
tree
2005-11-18
Tom
S
chrijvers
chan
g
es
commit
|
commitdiff
|
tree
2005-11-17
To
m
Schrijve
r
s
dea
d
code detectio
n
example
commit
|
commitdiff
|
tree
2005-11-17
T
o
m S
c
hrijver
s
co
m
piler gener
a
t
es less dead code
commit
|
commitdiff
|
tree
2005-11-17
T
o
m
Schrijvers
code clean-up
commit
|
commitdiff
|
tree
2005-11-17
To
m
Schri
j
vers
upda
t
ed to new domain name kuleuven
.
be
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijve
r
s
fixed email addres
s
commit
|
commitdiff
|
tree
2005-11-17
Tom
Schrijvers
rem
o
ved redundant code
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
renamed gl
o
bal_term_
r
ef_1
commit
|
commitdiff
|
tree
2005-11-10
To
m
Schrijvers
che
c
ks whether triggeri
n
g of constraint without act
i
ve
.
.
.
commit
|
commitdiff
|
tree
2005-11-10
Tom Schri
j
vers
bug fi
x
es
commit
|
commitdiff
|
tree
2005-11-04
Tom
S
chrijve
r
s
small o
p
timization
commit
|
commitdiff
|
tree
2005-11-04
Tom
S
chrij
v
ers
b
ug fix
e
s
commit
|
commitdiff
|
tree
2005-11-04
Tom Schrijv
e
rs
bug fix
commit
|
commitdiff
|
tree
2005-11-04
T
om Schrijvers
new
t
e
stfile, checks
w
h
e
ther code
f
o
r
passi
v
e
c
onstraint
.
.
.
commit
|
commitdiff
|
tree
2005-11-03
T
o
m Sc
h
rijvers
bugfix
commit
|
commitdiff
|
tree
2005-11-03
Tom Sch
r
ijvers
minor si
m
pli
f
ication of code
commit
|
commitdiff
|
tree
2005-10-25
Tom Schrijvers
two min
o
r bug fixes
commit
|
commitdiff
|
tree
2005-10-19
To
m
Schrijvers
bug fix
commit
|
commitdiff
|
tree
2005-10-18
Tom
S
chrijv
e
rs
todays chagne
s
commit
|
commitdiff
|
tree
2005-10-18
T
om Schrijv
e
rs
deb
u
g
o
ff -> opt
i
mi
z
e
on
commit
|
commitdiff
|
tree
2005-09-30
Tom S
c
hrijvers
group in
i
ti
a
lizers into pr
e
dicate
commit
|
commitdiff
|
tree
2005-09-02
Tom Schrijvers
sy
n
chr
o
nization
commit
|
commitdiff
|
tree
2005-08-30
Tom
Schrijvers
adde
d
operat
o
r declarations
commit
|
commitdiff
|
tree
2005-08-04
T
om Schrijv
e
rs
renamed delet
e
commit
|
commitdiff
|
tree
2005-08-01
Tom S
c
hrij
v
ers
optimiz
a
tion
commit
|
commitdiff
|
tree
next