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
slightly faster guard entailment module
2007-03-12
To
m
Schrij
v
ers
s
lightly f
a
ster
guard entailment modu
l
e
commit
|
commitdiff
|
tree
2007-03-08
Tom S
c
hrijvers
lin
e
numb
e
rs
commit
|
commitdiff
|
tree
2007-03-05
T
o
m
S
c
h
r
ij
v
e
r
s
bug f
i
x
commit
|
commitdiff
|
tree
2007-02-26
Tom Schrijver
s
b
u
g fi
x
observat
i
on
commit
|
commitdiff
|
tree
2007-02-26
Tom Sch
r
ijver
s
mixed
cons
t
rain
t
stores
commit
|
commitdiff
|
tree
2007-02-23
To
m
Sc
h
rijvers
bug fix
commit
|
commitdiff
|
tree
2007-02-22
Tom Schrijvers
ht_re
m
ova
l
o
p
tion
commit
|
commitdiff
|
tree
2007-01-25
Tom Schrijvers
bugfixes
commit
|
commitdiff
|
tree
2007-01-18
T
om Schrijve
r
s
c
o
nstrai
n
ts in guard
s
commit
|
commitdiff
|
tree
2006-12-19
Tom Schrijvers
bug fix in
d
ynamic ty
p
e checki
n
g
commit
|
commitdiff
|
tree
2006-12-13
To
m
Schrijvers
bu
g
f
ix in ru
n
time type checking
commit
|
commitdiff
|
tree
2006-11-29
Tom Schrijv
e
rs
no timings
commit
|
commitdiff
|
tree
2006-11-29
Tom
Schrij
v
e
r
s
n
ame
d
history bug fix
commit
|
commitdiff
|
tree
2006-11-27
Tom Schrij
v
e
r
s
histo
r
y
p
r
agma, deoptimization
commit
|
commitdiff
|
tree
2006-11-22
Tom Sc
h
rijvers
removed writel
n
s
commit
|
commitdiff
|
tree
2006-11-21
Tom Sch
r
ij
v
ers
experimental active_in_gua
r
d prag
m
a
commit
|
commitdiff
|
tree
2006-11-20
To
m
Schrijvers
mpassive
commit
|
commitdiff
|
tree
2006-11-20
Tom Schrijvers
ex
p
erimental history
featu
r
e
commit
|
commitdiff
|
tree
2006-11-20
Tom
Sc
h
ri
j
vers
changes
commit
|
commitdiff
|
tree
2006-10-25
Tom Schrijve
r
s
l
a
test ch
a
nges
commit
|
commitdiff
|
tree
2006-10-18
Tom Sc
h
rijvers
ex
p
er
i
me
n
tal features
commit
|
commitdiff
|
tree
2006-10-17
Tom Schrijvers
variou
s
s
m
all impr
o
v
e
ments
commit
|
commitdiff
|
tree
2006-10-12
T
om
S
chrijvers
inlining,
e
xp
e
rimen
t
a
l extension
commit
|
commitdiff
|
tree
2006-10-09
Tom Schrijver
s
variou
s
commit
|
commitdiff
|
tree
2006-10-03
T
om Schrijver
s
bug fix
commit
|
commitdiff
|
tree
2006-10-03
Tom Schrijvers
var
i
ous
commit
|
commitdiff
|
tree
2006-09-22
Tom
Schrijvers
chr_leash
problem
commit
|
commitdiff
|
tree
2006-09-18
T
o
m Sch
r
ijvers
b
u
g fix
commit
|
commitdiff
|
tree
2006-08-21
Tom Schrij
v
ers
wr
o
ng
arities
commit
|
commitdiff
|
tree
2006-08-21
Tom Schrijvers
C
h
angelog
commit
|
commitdiff
|
tree
2006-08-18
Tom Schrijv
e
r
s
c
l
e
anup
commit
|
commitdiff
|
tree
2006-08-17
Tom Schr
i
jver
s
i
n
l
i
ning
commit
|
commitdiff
|
tree
2006-08-17
To
m
Schrijvers
*
*
*
emp
t
y log mes
s
a
g
e ***
commit
|
commitdiff
|
tree
2006-08-11
Tom
S
chrijvers
verb
o
sity o
f
f
commit
|
commitdiff
|
tree
2006-08-11
T
om Schrijver
s
sup
p
ress warnings
f
or automaticall
y
gene
r
a
te
d
CHR rules
commit
|
commitdiff
|
tree
2006-08-11
Tom Schrijve
r
s
reverted chr_assoc_stor
e
commit
|
commitdiff
|
tree
2006-08-10
Tom Schr
i
j
vers
various m
i
nor cha
n
ges
commit
|
commitdiff
|
tree
2006-08-09
Tom Sch
r
ijvers
*** empty log message
*
**
commit
|
commitdiff
|
tree
2006-08-09
Tom Schrijvers
Changelog
commit
|
commitdiff
|
tree
2006-08-08
Tom Schrijvers
no lock
checking
commit
|
commitdiff
|
tree
2006-08-04
Tom Sc
h
rijvers
see Cha
n
ge
l
o
g
commit
|
commitdiff
|
tree
2006-08-04
Tom Sc
h
r
i
jvers
(
-) o
p
timization
s
commit
|
commitdiff
|
tree
2006-08-03
T
om Schrijvers
minor cleanup of stati
c
type chec
k
ing
commit
|
commitdiff
|
tree
2006-08-03
Tom Schrij
v
er
s
disable timing
commit
|
commitdiff
|
tree
2006-08-02
Tom Sch
r
ijvers
sta
t
ic type checki
n
g of bodies
commit
|
commitdiff
|
tree
2006-08-02
Tom Schr
i
j
v
e
rs
static
t
ype ch
e
cker extension
commit
|
commitdiff
|
tree
2006-08-02
Tom Schrijvers
bug fix
commit
|
commitdiff
|
tree
2006-08-01
Tom S
c
hrijvers
static type checki
n
g
commit
|
commitdiff
|
tree
2006-07-28
Tom Schrijvers
experimenta
l
runti
m
e
t
ype
checkin
g
commit
|
commitdiff
|
tree
2006-07-25
Tom
S
ch
r
ijvers
prin
t
banner
o
nly when v
e
rbose_load is true
commit
|
commitdiff
|
tree
2006-07-05
To
m
Schrijvers
b
u
g fix
commit
|
commitdiff
|
tree
2006-07-05
Tom Schr
i
jvers
bug f
i
xes
commit
|
commitdiff
|
tree
2006-06-22
Tom Schrij
v
ers
compiler per
f
o
rmance im
p
rovements
commit
|
commitdiff
|
tree
2006-06-13
Tom Schrijvers
bug in inline_matching_
g
oal
commit
|
commitdiff
|
tree
2006-06-08
Tom Schrijve
r
s
bug fix
commit
|
commitdiff
|
tree
2006-06-08
Tom Schrijvers
s
m
all chan
g
e
s
commit
|
commitdiff
|
tree
2006-06-07
Tom Schrij
v
e
r
s
t
r
acer fix
for propagation r
u
les
commit
|
commitdiff
|
tree
2006-06-02
Tom Schrijv
e
rs
bug fix trace
r
commit
|
commitdiff
|
tree
2006-06-01
Tom Schr
i
jvers
debuggi
n
g fixes
commit
|
commitdiff
|
tree
2006-05-17
T
om
Schrijver
s
a nu
m
ber of changs and
f
ixes
commit
|
commitdiff
|
tree
2006-04-24
Tom Schrijvers
m
or
e
e
fficient guard_entailm
e
nt
commit
|
commitdiff
|
tree
2006-04-24
Tom Schrijvers
curr
e
nt version
commit
|
commitdiff
|
tree
2006-04-22
Tom
S
chri
j
vers
bug fix
in type aliases; minor r
e
factorin
g
s
commit
|
commitdiff
|
tree
2006-04-14
Tom Schr
i
jvers
bug
f
ix
commit
|
commitdiff
|
tree
2006-04-11
Tom Schrijvers
di
s
abled some co
m
piler output
commit
|
commitdiff
|
tree
2006-04-11
Tom Sc
h
rijvers
major ch
a
nge
s
,
most nota
b
l
y O(1)
r
e
moval for some constraint
.
.
.
commit
|
commitdiff
|
tree
2006-03-15
Tom
Schrijver
s
bug fix and minor opti
m
izat
i
on for funcor/3 in guards
commit
|
commitdiff
|
tree
2006-03-11
To
m
S
c
h
r
ijvers
renami
n
g of
g
lobal variable
commit
|
commitdiff
|
tree
2006-03-10
Tom S
c
hrijvers
missing
hea
d
ers
commit
|
commitdiff
|
tree
2006-03-09
Tom Schrijvers
m
i
ssing
file
commit
|
commitdiff
|
tree
2006-03-09
Tom Schrijv
e
rs
various changes
commit
|
commitdiff
|
tree
2006-03-03
Tom Schrijvers
exception hook for SWI-Prolog onl
y
commit
|
commitdiff
|
tree
2006-03-02
Tom S
c
hrijvers
glob
a
l varia
b
les exce
p
tion hoo
k
for lazy
initia
l
i
z
a
tion
commit
|
commitdiff
|
tree
2006-03-02
Tom Schrijvers
m
i
nor
chan
g
es
commit
|
commitdiff
|
tree
2006-02-09
Tom
S
chrijvers
no more testing for chr f
i
le
commit
|
commitdiff
|
tree
2006-02-08
Tom
Sc
h
rijve
r
s
*** empty l
o
g
messag
e
*
*
*
commit
|
commitdiff
|
tree
2006-02-08
T
o
m Schrijvers
minor f
i
x
es
commit
|
commitdiff
|
tree
2006-02-07
Tom
S
chrijv
e
rs
c
o
r
rected spell
i
ng
commit
|
commitdiff
|
tree
2006-02-06
T
om Sc
h
r
ijvers
redu
n
dant code
commit
|
commitdiff
|
tree
2006-01-22
Tom S
c
hrijvers
remov
e
d
u
n
u
s
ed
operator
commit
|
commitdiff
|
tree
2005-12-15
T
o
m
Schri
j
vers
s
y
ntax /
m
e
ssa
g
es
commit
|
commitdiff
|
tree
2005-12-13
Tom Schrijvers
synt
a
x cha
n
g
es
commit
|
commitdiff
|
tree
2005-11-21
Tom Schrijvers
sync w
i
th hProlog
commit
|
commitdiff
|
tree
2005-11-18
Tom
Sch
r
ijvers
bugfix
commit
|
commitdiff
|
tree
2005-11-18
Tom Schrijvers
syn
c
hr
o
nized with
hProlog
commit
|
commitdiff
|
tree
2005-11-18
Tom Sch
r
i
j
vers
o
ption
c
o
n
trol to
p
level show store
commit
|
commitdiff
|
tree
2005-11-18
To
m
S
chrijvers
changes
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijv
e
rs
d
e
ad code d
e
tec
t
i
on exa
m
ple
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
compiler
g
en
e
rates
l
ess de
a
d code
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
code c
l
ean-up
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
updated to new
do
m
ain
name kuleuven
.
be
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijve
r
s
fi
x
e
d
em
a
il address
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
removed
re
d
u
ndant co
d
e
commit
|
commitdiff
|
tree
2005-11-17
Tom
Schrijv
e
rs
renamed globa
l
_t
e
rm_ref_1
commit
|
commitdiff
|
tree
2005-11-10
Tom Schrijvers
chec
k
s wheth
e
r triggerin
g
of constrain
t
w
i
thout active
.
.
.
commit
|
commitdiff
|
tree
2005-11-10
Tom Schrijvers
bug fixe
s
commit
|
commitdiff
|
tree
2005-11-04
Tom S
c
hri
j
vers
small
optimiza
t
ion
commit
|
commitdiff
|
tree
2005-11-04
Tom Sc
h
ri
j
ve
r
s
bug fixes
commit
|
commitdiff
|
tree
2005-11-04
Tom
S
chrijvers
bug fix
commit
|
commitdiff
|
tree
2005-11-04
Tom Sc
h
rijvers
ne
w
tes
t
file
,
checks whet
h
er code
for
p
a
s
sive cons
t
raint
.
.
.
commit
|
commitdiff
|
tree
next