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
minor fixes
2006-02-08
Tom Schrijvers
minor fixes
commit
|
commitdiff
|
tree
2006-02-07
Tom Schrijvers
c
o
rrected
s
pelli
n
g
commit
|
commitdiff
|
tree
2006-02-06
Tom Sc
h
rijver
s
r
edundant co
d
e
commit
|
commitdiff
|
tree
2006-01-22
Tom Schr
i
jve
r
s
re
m
oved unused operat
o
r
commit
|
commitdiff
|
tree
2005-12-15
Tom Sch
r
ijv
e
r
s
syntax / messa
g
es
commit
|
commitdiff
|
tree
2005-12-13
Tom Schrijv
e
rs
s
y
n
t
a
x changes
commit
|
commitdiff
|
tree
2005-11-21
Tom
Schrijvers
sync
with hProlog
commit
|
commitdiff
|
tree
2005-11-18
Tom Schrijv
e
rs
bugfix
commit
|
commitdiff
|
tree
2005-11-18
Tom Schrijvers
sy
n
chronized with hP
r
o
l
o
g
commit
|
commitdiff
|
tree
2005-11-18
Tom Sc
h
rijvers
opt
i
on control toplevel show store
commit
|
commitdiff
|
tree
2005-11-18
Tom Schrijvers
changes
commit
|
commitdiff
|
tree
2005-11-17
Tom
S
chr
i
jver
s
dead code
d
etection example
commit
|
commitdiff
|
tree
2005-11-17
T
o
m
S
c
hri
j
v
ers
comp
i
ler generates
less d
e
a
d code
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
code cle
a
n-up
commit
|
commitdiff
|
tree
2005-11-17
Tom Schri
j
vers
updat
e
d to n
e
w d
o
mai
n
name kuleuven
.
be
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
f
ixe
d
email a
d
d
ress
commit
|
commitdiff
|
tree
2005-11-17
Tom Sc
h
r
ijv
e
rs
removed r
e
du
n
d
ant code
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
renamed global_term
_
r
e
f_
1
commit
|
commitdiff
|
tree
2005-11-10
Tom
Schri
j
v
ers
checks whet
h
er
t
riggeri
n
g of
c
onstraint withou
t
acti
v
e
.
.
.
commit
|
commitdiff
|
tree
2005-11-10
Tom
Schrij
v
ers
bu
g
fi
x
es
commit
|
commitdiff
|
tree
2005-11-04
T
o
m Schrijvers
small optimization
commit
|
commitdiff
|
tree
2005-11-04
Tom Schrijvers
bug fix
e
s
commit
|
commitdiff
|
tree
2005-11-04
Tom Schrijve
r
s
bu
g
fix
commit
|
commitdiff
|
tree
2005-11-04
Tom Schrijvers
new testf
i
le, c
h
ecks whether
c
od
e
for p
a
s
s
iv
e
con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2005-11-03
Tom Sc
h
rijvers
bugfix
commit
|
commitdiff
|
tree
2005-11-03
Tom Schrijve
r
s
mi
n
or simpl
i
fication of code
commit
|
commitdiff
|
tree
2005-10-25
Tom
S
c
hrijvers
t
wo minor
bug fixes
commit
|
commitdiff
|
tree
2005-10-19
To
m
Schrijvers
b
u
g fix
commit
|
commitdiff
|
tree
2005-10-18
Tom Schr
i
jvers
todays
c
hagnes
commit
|
commitdiff
|
tree
2005-10-18
Tom
S
chrijve
r
s
debug off
-
>
o
ptimize on
commit
|
commitdiff
|
tree
2005-09-30
Tom Schrijvers
group initializers into predi
c
ate
commit
|
commitdiff
|
tree
2005-09-02
Tom Schrijver
s
synchr
o
nization
commit
|
commitdiff
|
tree
2005-08-30
T
o
m
Schrijvers
added oper
a
tor d
e
cla
r
at
i
ons
commit
|
commitdiff
|
tree
2005-08-04
Tom Schrijvers
renamed d
e
lete
commit
|
commitdiff
|
tree
2005-08-01
Tom Schrijve
r
s
optimi
z
ation
commit
|
commitdiff
|
tree
2005-07-28
Tom Schrijvers
bug f
i
x
commit
|
commitdiff
|
tree
2005-07-28
Tom Schrijvers
small opti
m
ization
commit
|
commitdiff
|
tree
2005-07-28
Tom Schrijvers
small optim
i
zation
commit
|
commitdiff
|
tree
2005-07-28
Tom Schri
j
v
e
rs
input ve
r
ification
commit
|
commitdiff
|
tree
2005-07-15
Tom S
c
hrijvers
ins
i
gnificant changes
commit
|
commitdiff
|
tree
2005-07-05
Tom Schrijvers
more
r
e
structurin
g
commit
|
commitdiff
|
tree
2005-07-05
Tom Sch
r
ijvers
res
t
ruc
t
ure
d
files
commit
|
commitdiff
|
tree
2005-06-29
Tom Schrijvers
p
rint i
n
s
t
ead of write co
n
s
t
raint store
commit
|
commitdiff
|
tree
2005-06-28
Tom Schrijvers
fixed o
p
erator bu
g
commit
|
commitdiff
|
tree
2005-06-27
Tom
S
c
hrijvers
find_chr_
c
ons
t
raint
/
1
commit
|
commitdiff
|
tree
2005-06-08
Tom Schrijvers
scalability im
p
rove
m
ent
commit
|
commitdiff
|
tree
2005-06-01
Tom Sch
r
ij
v
ers
s
e
e
Changelog
commit
|
commitdiff
|
tree
2005-03-14
Tom Sc
h
rijvers
mi
n
or sy
n
chronization w
i
t
h
hProlog
commit
|
commitdiff
|
tree
2005-03-11
To
m
Sc
h
rijvers
minor updats
commit
|
commitdiff
|
tree
2005-03-04
Tom Sc
h
rijvers
chr_show
_
store bug fix
commit
|
commitdiff
|
tree
2005-02-25
Tom
Schrij
v
ers
b
ug f
i
xes
commit
|
commitdiff
|
tree
2005-02-18
Tom S
c
h
r
i
jvers
new bootstrap
commit
|
commitdiff
|
tree
2005-02-18
To
m
S
ch
r
ijvers
mi
s
sing
file
s
commit
|
commitdiff
|
tree
2005-02-18
T
o
m Schrijver
s
new version o
f
chr
comp
i
ler
commit
|
commitdiff
|
tree
2004-12-15
T
om Sc
h
rijvers
do not
register c
h
r co
m
piler
as
chr modu
l
e
commit
|
commitdiff
|
tree
2004-12-15
Tom Schrijvers
a
utomatically print conte
n
t of chr constraint
stores
.
.
.
commit
|
commitdiff
|
tree
2004-12-03
Tom Schrijv
e
r
s
bug
f
ix regarding chr_delete/3 vs
.
delete/3
commit
|
commitdiff
|
tree
