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
cleanup
2006-08-18
Tom Schrijvers
cleanup
commit
|
commitdiff
|
tree
2006-08-17
Tom S
c
h
rijvers
inlining
commit
|
commitdiff
|
tree
2006-08-17
Tom Schrijvers
*
** em
p
ty lo
g
m
ess
a
ge
*
*
*
commit
|
commitdiff
|
tree
2006-08-11
Tom
Sc
h
ri
j
vers
verbosity off
commit
|
commitdiff
|
tree
2006-08-11
Tom Sc
h
rijve
r
s
s
u
ppress warnings for automat
i
cally gene
r
ate
d
CHR
r
u
les
commit
|
commitdiff
|
tree
2006-08-11
T
om Schr
i
jvers
r
e
verted chr_as
s
o
c
_
sto
r
e
commit
|
commitdiff
|
tree
2006-08-10
T
o
m
S
chrijvers
various minor
changes
commit
|
commitdiff
|
tree
2006-08-09
T
om Schrijver
s
***
e
m
p
t
y log me
s
sage ***
commit
|
commitdiff
|
tree
2006-08-09
Tom Schrijv
e
rs
Ch
a
ngelog
commit
|
commitdiff
|
tree
2006-08-08
Tom S
c
hrijvers
no
l
ock checking
commit
|
commitdiff
|
tree
2006-08-04
Tom Schrijvers
s
e
e Cha
n
gelog
commit
|
commitdiff
|
tree
2006-08-04
T
om Schrij
v
ers
(
-) opt
i
mizat
i
ons
commit
|
commitdiff
|
tree
2006-08-03
Tom
Schrijvers
minor
c
leanup o
f
static typ
e
c
hec
k
ing
commit
|
commitdiff
|
tree
2006-08-03
Tom Sc
h
rijvers
dis
a
ble timing
commit
|
commitdiff
|
tree
2006-08-02
Tom Schrijvers
static type checkin
g
of bodies
commit
|
commitdiff
|
tree
2006-08-02
Tom S
c
h
r
i
j
v
ers
s
tatic type checker ext
e
nsion
commit
|
commitdiff
|
tree
2006-08-02
Tom Sc
h
rijvers
bug fix
commit
|
commitdiff
|
tree
2006-08-01
T
om Schrijver
s
static type ch
e
c
king
commit
|
commitdiff
|
tree
2006-07-28
Tom Schri
j
vers
experimental
r
untim
e
type check
i
ng
commit
|
commitdiff
|
tree
2006-07-25
Tom Schrijvers
print banner
only when verb
o
se_
l
oad is t
r
ue
commit
|
commitdiff
|
tree
2006-07-05
Tom Schrij
v
ers
b
ug f
i
x
commit
|
commitdiff
|
tree
2006-07-05
Tom Schrijvers
bug fixes
commit
|
commitdiff
|
tree
2006-06-22
Tom
Schrijvers
compiler
p
er
f
o
rmance impr
o
vemen
t
s
commit
|
commitdiff
|
tree
2006-06-13
Tom S
c
hrijver
s
b
ug in in
l
in
e
_matching
_
goal
commit
|
commitdiff
|
tree
2006-06-08
Tom Schrijvers
bug fix
commit
|
commitdiff
|
tree
2006-06-08
Tom S
c
hrijvers
s
m
al
l
c
ha
n
ges
commit
|
commitdiff
|
tree
2006-06-07
Tom Schr
i
jvers
tracer f
i
x for propagation rules
commit
|
commitdiff
|
tree
2006-06-02
Tom Schrij
v
ers
b
u
g fix trac
e
r
commit
|
commitdiff
|
tree
2006-06-01
Tom Schrijvers
d
ebugging fix
e
s
commit
|
commitdiff
|
tree
2006-05-17
Tom Sc
h
rijver
s
a
n
u
m
ber of changs and fixes
commit
|
commitdiff
|
tree
2006-04-24
T
om Schrijvers
more efficien
t
guard_enta
i
lmen
t
commit
|
commitdiff
|
tree
2006-04-24
Tom Sc
h
rijvers
current vers
i
on
commit
|
commitdiff
|
tree
2006-04-22
Tom
S
c
h
rijvers
bug fix in
t
y
pe
alias
e
s; mino
r
re
f
actorings
commit
|
commitdiff
|
tree
2006-04-14
T
o
m
S
chrijvers
bu
g
fix
commit
|
commitdiff
|
tree
2006-04-11
T
om Sch
r
i
jvers
disabl
e
d
s
ome compil
e
r output
commit
|
commitdiff
|
tree
2006-04-11
Tom
Sch
r
ijvers
major changes
,
mos
t
notab
l
y
O
(
1
)
remova
l
for some constraint
.
.
.
commit
|
commitdiff
|
tree
2006-03-15
Tom
Schrijvers
bug fix and minor optimization for fun
c
or/3 in
g
uards
commit
|
commitdiff
|
tree
2006-03-11
T
om
S
c
hrij
v
ers
r
e
naming of global v
a
riable
commit
|
commitdiff
|
tree
2006-03-10
Tom S
c
h
r
ij
v
ers
missi
n
g
hea
d
ers
commit
|
commitdiff
|
tree
2006-03-09
Tom S
c
hrijve
r
s
m
i
s
sing
f
i
le
commit
|
commitdiff
|
tree
2006-03-09
T
o
m
Schrijvers
various changes
commit
|
commitdiff
|
tree
2006-03-03
T
o
m
S
c
hrijvers
exception
h
ook
for SWI-Prolo
g
o
n
ly
commit
|
commitdiff
|
tree
2006-03-02
Tom Schrijvers
global
v
ariables except
i
on hook f
o
r
lazy
initialization
commit
|
commitdiff
|
tree
2006-03-02
Tom Schrijvers
m
inor c
h
anges
commit
|
commitdiff
|
tree
2006-02-09
Tom Schr
i
jvers
no mo
r
e te
s
ting for c
h
r
file
commit
|
commitdiff
|
tree
2006-02-08
Tom Schrijvers
**
*
emp
t
y log messag
e
***
commit
|
commitdiff
|
tree
2006-02-08
To
m
Sch
r
ijv
e
rs
min
o
r fi
x
es
commit
|
commitdiff
|
tree
2006-02-07
Tom Schri
j
v
e
r
s
corrected spelling
commit
|
commitdiff
|
tree
2006-02-06
T
o
m Sc
h
rijvers
redundant code
commit
|
commitdiff
|
tree
2006-01-22
Tom Schrijvers
r
emoved unu
s
ed operator
commit
|
commitdiff
|
tree
2005-12-15
T
om Sch
r
i
j
ver
s
s
y
nta
x
/
m
ess
a
ges
commit
|
commitdiff
|
tree
2005-12-13
Tom Schrijvers
synta
x
c
h
anges
commit
|
commitdiff
|
tree
2005-11-21
Tom Sch
r
i
jvers
sync w
i
th hProlog
commit
|
commitdiff
|
tree
2005-11-18
To
m
Schrijvers
b
ugf
i
x
commit
|
commitdiff
|
tree
2005-11-18
Tom Sc
h
rijvers
s
y
n
chronize
d
with
hProlog
commit
|
commitdiff
|
tree
2005-11-18
Tom Schrijvers
option control topleve
l
show store
commit
|
commitdiff
|
tree
2005-11-18
To
m
Schrijvers
change
s
commit
|
commitdiff
|
tree
2005-11-17
Tom S
c
h
ri
j
vers
dead code
detection
example
commit
|
commitdiff
|
tree
2005-11-17
T
o
m S
c
hrijvers
compiler generate
s
less dead co
d
e
commit
|
commitdiff
|
tree
2005-11-17
Tom
S
chrijvers
code clean-up
commit
|
commitdiff
|
tree
2005-11-17
To
m
Schrijvers
updated to new do
m
ain n
a
me ku
l
eu
v
en
.
b
e
commit
|
commitdiff
|
tree
2005-11-17
Tom Sc
h
r
i
j
ver
s
fixed
e
mail address
commit
|
commitdiff
|
tree
2005-11-17
Tom
Sc
h
rijve
r
s
re
m
o
ved redundant code
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijver
s
renamed g
l
oba
l
_term_ref_1
commit
|
commitdiff
|
tree
2005-11-10
Tom
S
ch
r
ijvers
checks whet
h
er
triggering of c
o
nstraint without acti
v
e
.
.
.
commit
|
commitdiff
|
tree
2005-11-10
Tom Schr
i
jver
s
bug
f
ixe
s
commit
|
commitdiff
|
tree
2005-11-04
Tom Schrijvers
small opt
i
mi
z
a
t
ion
commit
|
commitdiff
|
tree
2005-11-04
Tom
S
chrijvers
b
u
g
fixes
commit
|
commitdiff
|
tree
2005-11-04
Tom
S
c
h
rijver
s
bug fix
commit
|
commitdiff
|
tree
2005-11-04
T
o
m Schrijvers
new
t
estfile, che
c
ks whether co
d
e
for passi
v
e constraint
.
.
.
commit
|
commitdiff
|
tree
2005-11-03
Tom
S
chrijvers
bugfix
commit
|
commitdiff
|
tree
2005-11-03
To
m
S
chrijver
s
minor
sim
p
lifi
c
ation of c
o
de
commit
|
commitdiff
|
tree
2005-10-25
Tom Schr
i
j
vers
tw
o
minor b
u
g fi
x
e
s
commit
|
commitdiff
|
tree
2005-10-19
Tom Schrijvers
bug fix
commit
|
commitdiff
|
tree
2005-10-18
Tom Schrijvers
todays
c
hag
n
es
commit
|
commitdiff
|
tree
2005-10-18
Tom Sch
r
ijvers
debug off -> optimize on
commit
|
commitdiff
|
tree
2005-09-30
Tom Sch
r
ijve
r
s
grou
p
initializers into
p
r
edicate
commit
|
commitdiff
|
tree
2005-09-02
To
m
S
chri
j
vers
synch
r
onization
commit
|
commitdiff
|
tree
2005-08-30
Tom Sch
r
i
j
vers
added operator declarations
commit
|
commitdiff
|
tree
2005-08-04
Tom Schr
i
jv
e
rs
r
ename
d
d
e
lete
commit
|
commitdiff
|
tree
2005-08-01
Tom
S
c
h
ri
j
vers
o
p
timization
commit
|
commitdiff
|
tree
2005-07-28
T
om Schrijve
r
s
bug
fix
commit
|
commitdiff
|
tree
2005-07-28
Tom
S
chri
j
v
e
r
s
sm
a
ll
o
ptimi
z
a
ti
o
n
commit
|
commitdiff
|
tree
2005-07-28
Tom Sch
r
ijvers
s
m
all op
t
imiza
t
ion
commit
|
commitdiff
|
tree
2005-07-28
Tom Schrij
v
ers
inpu
t
verifi
c
ati
o
n
commit
|
commitdiff
|
tree
2005-07-15
Tom Schrijvers
in
s
ignifican
t
changes
commit
|
commitdiff
|
tree
2005-07-05
Tom
S
c
hrijvers
more restru
c
turi
n
g
commit
|
commitdiff
|
tree
2005-07-05
Tom Schrijvers
restructured files
commit
|
commitdiff
|
tree
2005-06-29
Tom S
c
h
r
ij
v
ers
print instead of
w
rite constraint store
commit
|
commitdiff
|
tree
2005-06-28
To
m
Schrijvers
fixed ope
r
ator bug
commit
|
commitdiff
|
tree
2005-06-27
Tom Schrijvers
f
ind_chr_
c
onstrain
t
/1
commit
|
commitdiff
|
tree
2005-06-08
To
m
Schrijvers
scalabil
i
t
y improvement
commit
|
commitdiff
|
tree
2005-06-01
Tom Schrijv
e
r
s
see Cha
n
gelog
commit
|
commitdiff
|
tree
2005-03-14
Tom Schrijve
r
s
m
inor synchr
o
n
i
zatio
n
with hPro
l
og
commit
|
commitdiff
|
tree
2005-03-11
T
o
m Sch
r
ijv
e
rs
min
o
r updats
commit
|
commitdiff
|
tree
2005-03-04
Tom
Schrijvers
chr_s
h
ow_store bug
f
ix
commit
|
commitdiff
|
tree
2005-02-25
Tom Schrijvers
bug fix
e
s
commit
|
commitdiff
|
tree
2005-02-18
Tom
S
chrijve
r
s
ne
w
bootstrap
commit
|
commitdiff
|
tree
2005-02-18
Tom
S
ch
r
ijvers
missing files
commit
|
commitdiff
|
tree
2005-02-18
Tom
Schri
j
v
e
r
s
new vers
i
on of chr comp
i
ler
commit
|
commitdiff
|
tree
next