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
hrijver
s
inli
n
ing
commit
|
commitdiff
|
tree
2006-08-17
T
om Schrijvers
*
*
* empty log m
e
ssage
**
*
commit
|
commitdiff
|
tree
2006-08-11
Tom Schrijvers
verbosity off
commit
|
commitdiff
|
tree
2006-08-11
Tom
S
chrij
v
ers
supp
r
ess
w
arnings f
o
r
a
u
tomatically
g
e
n
erate
d
C
H
R
rules
commit
|
commitdiff
|
tree
2006-08-11
T
om Schrijvers
reverted ch
r
_assoc_s
t
ore
commit
|
commitdiff
|
tree
2006-08-10
Tom S
c
hrijvers
various minor changes
commit
|
commitdiff
|
tree
2006-08-09
Tom Schrijvers
***
e
mp
t
y l
o
g
m
es
s
age ***
commit
|
commitdiff
|
tree
2006-08-09
Tom Schri
j
vers
Ch
a
ngelog
commit
|
commitdiff
|
tree
2006-08-08
Tom Schrijver
s
n
o
lock
c
h
ecking
commit
|
commitdiff
|
tree
2006-08-04
Tom S
c
hrijvers
see Changelog
commit
|
commitdiff
|
tree
2006-08-04
To
m
Schrijvers
(
-) optimiz
a
t
i
ons
commit
|
commitdiff
|
tree
2006-08-03
Tom Schrijvers
minor
cleanu
p
of sta
t
ic type c
h
ecking
commit
|
commitdiff
|
tree
2006-08-03
Tom Schrijvers
d
i
s
a
ble timi
n
g
commit
|
commitdiff
|
tree
2006-08-02
Tom S
c
hrijvers
sta
t
ic type checking of bodies
commit
|
commitdiff
|
tree
2006-08-02
Tom
S
c
h
rijvers
stat
i
c type c
h
ecker e
x
tens
i
on
commit
|
commitdiff
|
tree
2006-08-02
Tom Sc
h
rijvers
bug f
i
x
commit
|
commitdiff
|
tree
2006-08-01
Tom Sc
h
rij
v
ers
static type checki
n
g
commit
|
commitdiff
|
tree
2006-07-28
Tom Schri
j
vers
exper
i
mental
runtime type checking
commit
|
commitdiff
|
tree
2006-07-25
Tom Schr
i
jver
s
pr
i
nt
banner only
wh
e
n verb
o
se_load is true
commit
|
commitdiff
|
tree
2006-07-05
T
om
Schrijvers
bug fix
commit
|
commitdiff
|
tree
2006-07-05
Tom Schrijvers
b
u
g
fixes
commit
|
commitdiff
|
tree
2006-06-22
T
o
m
Schrijvers
compiler performance
i
mprovements
commit
|
commitdiff
|
tree
2006-06-13
Tom Sc
h
rijvers
bug in inl
i
ne_ma
t
ching_goal
commit
|
commitdiff
|
tree
2006-06-08
Tom
Schr
i
jvers
bug fix
commit
|
commitdiff
|
tree
2006-06-08
Tom Schrijver
s
s
mall
c
hanges
commit
|
commitdiff
|
tree
2006-06-07
Tom Schrijvers
tracer
f
ix
for propa
g
ation r
u
les
commit
|
commitdiff
|
tree
2006-06-02
Tom Schrijvers
bu
g
fix
t
racer
commit
|
commitdiff
|
tree
2006-06-01
T
o
m
Schrijv
e
r
s
debugging fixes
commit
|
commitdiff
|
tree
2006-05-17
Tom Schr
i
jvers
a number of
c
h
a
ngs and fixes
commit
|
commitdiff
|
tree
2006-04-24
Tom Schrijvers
m
o
re efficient guard
_
entailment
commit
|
commitdiff
|
tree
2006-04-24
Tom
S
chrij
v
ers
current ver
s
ion
commit
|
commitdiff
|
tree
2006-04-22
Tom Schrijvers
bu
g
f
ix in
type aliases; minor refactor
i
ngs
commit
|
commitdiff
|
tree
2006-04-14
Tom Sch
r
ijve
r
s
bug fix
commit
|
commitdiff
|
tree
2006-04-11
Tom Schrijvers
disab
l
ed some compiler out
p
u
t
commit
|
commitdiff
|
tree
2006-04-11
Tom Schrijver
s
major changes,
m
ost
n
otably O(
1
) r
e
m
oval
f
or
s
o
m
e
const
r
aint
.
.
.
commit
|
commitdiff
|
tree
2006-03-15
Tom Schr
i
jvers
bug fix and m
i
nor optimization for funcor/
3
in
g
u
ards
commit
|
commitdiff
|
tree
2006-03-11
Tom Schrijvers
renaming of global variabl
e
commit
|
commitdiff
|
tree
2006-03-10
Tom Schrijvers
mi
s
sing headers
commit
|
commitdiff
|
tree
2006-03-09
To
m
Schrijver
s
miss
i
n
g
f
il
e
commit
|
commitdiff
|
tree
2006-03-09
T
om Sch
r
ijv
e
rs
various chan
g
es
commit
|
commitdiff
|
tree
2006-03-03
Tom Schrijvers
e
xce
p
tio
n
hook
f
or SWI-Prolog o
n
ly
commit
|
commitdiff
|
tree
2006-03-02
Tom Schri
j
vers
globa
l
variable
s
exceptio
n
h
o
ok for lazy initialization
commit
|
commitdiff
|
tree
2006-03-02
T
o
m
Schrijver
s
minor c
h
anges
commit
|
commitdiff
|
tree
2006-02-09
Tom Sc
h
rijvers
no more
t
e
sting
f
o
r chr file
commit
|
commitdiff
|
tree
2006-02-08
Tom Schr
i
j
vers
*** emp
t
y
log message ***
commit
|
commitdiff
|
tree
2006-02-08
Tom Schrijvers
minor fix
e
s
commit
|
commitdiff
|
tree
2006-02-07
Tom Schrijver
s
corrected spelling
commit
|
commitdiff
|
tree
2006-02-06
Tom Sc
h
rijvers
redundant
c
ode
commit
|
commitdiff
|
tree
2006-01-22
Tom S
c
hrijv
e
rs
re
m
oved unused ope
r
ator
commit
|
commitdiff
|
tree
2005-12-15
To
m
S
c
h
r
ijvers
syntax / mess
a
ges
commit
|
commitdiff
|
tree
2005-12-13
Tom Schrij
v
ers
syntax changes
commit
|
commitdiff
|
tree
2005-11-21
Tom Schri
j
ver
s
sync w
i
th hProlog
commit
|
commitdiff
|
tree
2005-11-18
Tom Schrijvers
b
u
gfix
commit
|
commitdiff
|
tree
2005-11-18
Tom Schrijvers
synchr
o
nized with hProlog
commit
|
commitdiff
|
tree
2005-11-18
T
o
m Sch
r
ij
v
ers
option con
t
rol
t
opl
e
vel
sho
w
s
tore
commit
|
commitdiff
|
tree
2005-11-18
Tom Schr
i
jvers
changes
commit
|
commitdiff
|
tree
2005-11-17
T
o
m
Schrijvers
d
ead code detection
e
xample
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijve
r
s
compiler ge
n
erates l
e
ss d
e
a
d
code
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
co
d
e clean-up
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijve
r
s
updated
t
o
new
domain name kuleuven
.
be
commit
|
commitdiff
|
tree
2005-11-17
T
om Schrijver
s
fixe
d
e
m
ail a
d
d
r
e
s
s
commit
|
commitdiff
|
tree
2005-11-17
Tom S
c
h
rijvers
remo
v
e
d redundant code
commit
|
commitdiff
|
tree
2005-11-17
T
o
m Schrij
v
ers
renamed
g
lobal_term_ref_1
commit
|
commitdiff
|
tree
2005-11-10
T
o
m Sc
h
ri
j
v
e
r
s
c
hecks whethe
r
triggering
of co
n
straint without active
.
.
.
commit
|
commitdiff
|
tree
2005-11-10
T
o
m
S
c
hrijvers
bug
f
ixes
commit
|
commitdiff
|
tree
2005-11-04
Tom Schrij
v
ers
small opti
m
ization
commit
|
commitdiff
|
tree
2005-11-04
T
o
m Schri
j
ve
r
s
bug
fixes
commit
|
commitdiff
|
tree
2005-11-04
Tom
S
c
h
rijvers
bug fix
commit
|
commitdiff
|
tree
2005-11-04
Tom Schrijvers
ne
w
tes
t
fi
l
e,
c
hecks whether code for passiv
e
c
o
nst
r
aint
.
.
.
commit
|
commitdiff
|
tree
2005-11-03
To
m
Schrij
v
ers
bu
g
fix
commit
|
commitdiff
|
tree
2005-11-03
Tom Schrijvers
minor simpli
f
ication of code
commit
|
commitdiff
|
tree
2005-10-25
Tom Schrij
v
ers
two m
i
n
or bug fix
e
s
commit
|
commitdiff
|
tree
2005-10-19
Tom Schrijv
e
r
s
b
u
g fix
commit
|
commitdiff
|
tree
2005-10-18
To
m
Schrijvers
t
o
days cha
g
nes
commit
|
commitdiff
|
tree
2005-10-18
Tom Schrijvers
debug off -
>
optimize on
commit
|
commitdiff
|
tree
2005-09-30
Tom Schr
i
jv
e
rs
group i
n
itia
l
izers into pr
e
dicate
commit
|
commitdiff
|
tree
2005-09-02
Tom
Schrijvers
s
y
nchronization
commit
|
commitdiff
|
tree
2005-08-30
T
om Schr
i
jvers
add
e
d operat
o
r declarat
i
ons
commit
|
commitdiff
|
tree
2005-08-04
Tom Sc
h
rij
v
ers
renamed
de
l
e
t
e
commit
|
commitdiff
|
tree
2005-08-01
Tom Schrijve
r
s
op
t
imization
commit
|
commitdiff
|
tree
2005-07-28
Tom Sc
h
rijvers
bug fix
commit
|
commitdiff
|
tree
2005-07-28
Tom Schrijvers
sm
a
ll o
p
t
imization
commit
|
commitdiff
|
tree
2005-07-28
Tom Sc
h
rijver
s
small optimization
commit
|
commitdiff
|
tree
2005-07-28
Tom Schrijvers
input verif
i
cation
commit
|
commitdiff
|
tree
2005-07-15
T
om Schr
i
jve
r
s
i
n
si
g
nifican
t
changes
commit
|
commitdiff
|
tree
2005-07-05
T
o
m Schri
j
vers
more
r
e
struc
t
uring
commit
|
commitdiff
|
tree
2005-07-05
T
o
m Schrijvers
restru
c
tu
r
ed fil
e
s
commit
|
commitdiff
|
tree
2005-06-29
To
m
S
chrijvers
print instead of write constrai
n
t sto
r
e
commit
|
commitdiff
|
tree
2005-06-28
T
o
m Schrijvers
fixed
o
p
erato
r
b
u
g
commit
|
commitdiff
|
tree
2005-06-27
Tom Schrijvers
find_chr_co
n
stra
i
nt/1
commit
|
commitdiff
|
tree
2005-06-08
Tom Schrijver
s
scalability improv
e
ment
commit
|
commitdiff
|
tree
2005-06-01
Tom Schrij
v
e
rs
see
C
ha
n
gelog
commit
|
commitdiff
|
tree
2005-03-14
Tom Schrijvers
min
o
r sy
n
c
hroniza
t
ion with
h
P
rolog
commit
|
commitdiff
|
tree
2005-03-11
Tom S
c
hr
i
j
v
ers
minor
u
pdats
commit
|
commitdiff
|
tree
2005-03-04
Tom
S
c
hrijvers
chr_show_s
t
ore b
u
g
f
ix
commit
|
commitdiff
|
tree
2005-02-25
T
o
m Schrijvers
b
ug fixes
commit
|
commitdiff
|
tree
2005-02-18
Tom Sc
h
ri
j
v
e
rs
new bootstrap
commit
|
commitdiff
|
tree
2005-02-18
Tom S
c
hrijvers
mi
s
sing
files
commit
|
commitdiff
|
tree
2005-02-18
T
om Sch
r
ijvers
new version of chr compiler
commit
|
commitdiff
|
tree
next