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
Tom Schrijvers
slightly faster guard
e
ntailment
m
o
dule
commit
|
commitdiff
|
tree
2007-03-08
Tom Schrijvers
line numbers
commit
|
commitdiff
|
tree
2007-03-05
To
m
Schrijvers
bug fix
commit
|
commitdiff
|
tree
2007-02-26
T
o
m
S
ch
r
ijve
r
s
bug
fix obs
e
rvatio
n
commit
|
commitdiff
|
tree
2007-02-26
Tom Schrij
v
ers
mixed co
n
s
t
raint stores
commit
|
commitdiff
|
tree
2007-02-23
Tom Schrijvers
bug fix
commit
|
commitdiff
|
tree
2007-02-22
Tom Schrijvers
ht_removal optio
n
commit
|
commitdiff
|
tree
2007-01-25
Tom
Schrijvers
bugfixes
commit
|
commitdiff
|
tree
2007-01-18
T
o
m Schrijv
e
rs
constraints in guards
commit
|
commitdiff
|
tree
2006-12-19
Tom Schrijvers
bug fi
x
in dynamic
t
ype checking
commit
|
commitdiff
|
tree
2006-12-13
Tom
Schr
i
jver
s
bug fix in r
u
n
t
ime t
y
pe c
h
ecking
commit
|
commitdiff
|
tree
2006-11-29
Tom Schrijvers
no timings
commit
|
commitdiff
|
tree
2006-11-29
Tom
Sch
r
i
j
vers
name
d
history
bug
f
ix
commit
|
commitdiff
|
tree
2006-11-27
Tom
Schrij
v
ers
history pragma, deoptimiza
t
ion
commit
|
commitdiff
|
tree
2006-11-22
Tom Schrijve
r
s
r
e
m
oved writelns
commit
|
commitdiff
|
tree
2006-11-21
Tom Sc
h
rijvers
experimental active_in_g
u
ard pragma
commit
|
commitdiff
|
tree
2006-11-20
Tom
S
ch
r
ijv
e
rs
mpassive
commit
|
commitdiff
|
tree
2006-11-20
T
om
S
c
hrijvers
exp
e
rimental
h
istory fe
a
t
u
re
commit
|
commitdiff
|
tree
2006-11-20
Tom Schr
i
jve
r
s
chan
g
es
commit
|
commitdiff
|
tree
2006-10-25
Tom Schri
j
vers
latest changes
commit
|
commitdiff
|
tree
2006-10-18
Tom S
c
hrijvers
experimental featu
r
es
commit
|
commitdiff
|
tree
2006-10-17
T
o
m Schrijver
s
various smal
l
im
p
rovements
commit
|
commitdiff
|
tree
2006-10-12
Tom Schrijvers
in
l
inin
g
, e
x
peri
m
ental
e
xtension
commit
|
commitdiff
|
tree
2006-10-09
T
om Schrijvers
various
commit
|
commitdiff
|
tree
2006-10-03
Tom Schrijv
e
rs
b
u
g fix
commit
|
commitdiff
|
tree
2006-10-03
T
om Schri
j
vers
vari
o
us
commit
|
commitdiff
|
tree
2006-09-22
Tom Schrijvers
chr_leash problem
commit
|
commitdiff
|
tree
2006-09-18
Tom
Schrijvers
bug f
i
x
commit
|
commitdiff
|
tree
2006-08-21
Tom Schrijvers
wrong arities
commit
|
commitdiff
|
tree
2006-08-21
Tom
Schrijver
s
Cha
n
gelog
commit
|
commitdiff
|
tree
2006-08-18
Tom Sc
h
r
i
jvers
cle
a
nup
commit
|
commitdiff
|
tree
2006-08-17
Tom
S
chri
j
vers
i
n
l
i
ning
commit
|
commitdiff
|
tree
2006-08-17
Tom Schrijv
e
rs
**
*
empty log message ***
commit
|
commitdiff
|
tree
2006-08-11
Tom Schrijvers
v
e
rbosity off
commit
|
commitdiff
|
tree
2006-08-11
Tom Schrijv
e
r
s
s
uppr
e
ss
warnings for
a
utomaticall
y
gene
r
ated
CH
R
rule
s
commit
|
commitdiff
|
tree
2006-08-11
Tom Schri
j
vers
rever
t
ed chr_assoc_s
t
ore
commit
|
commitdiff
|
tree
2006-08-10
Tom
S
c
h
r
ijvers
various minor changes
commit
|
commitdiff
|
tree
2006-08-09
Tom
Schrijvers
*** empty log me
s
sage ***
commit
|
commitdiff
|
tree
2006-08-09
Tom Schrijvers
Changelog
commit
|
commitdiff
|
tree
2006-08-08
T
o
m Schrij
v
ers
no loc
k
c
h
ecking
commit
|
commitdiff
|
tree
2006-08-04
Tom
Schrijvers
see Chang
e
log
commit
|
commitdiff
|
tree
2006-08-04
Tom Schrijvers
(-) optimizations
commit
|
commitdiff
|
tree
2006-08-03
Tom Schrijver
s
minor
c
leanup of s
t
atic t
y
pe checking
commit
|
commitdiff
|
tree
2006-08-03
T
om
Schri
j
vers
disable
t
imi
n
g
commit
|
commitdiff
|
tree
2006-08-02
Tom Sc
h
rijver
s
static
t
yp
e
che
c
k
i
ng of
b
odies
commit
|
commitdiff
|
tree
2006-08-02
To
m
Schrijvers
s
tatic type checker
ex
t
ension
commit
|
commitdiff
|
tree
2006-08-02
T
o
m Schrijvers
bug fix
commit
|
commitdiff
|
tree
2006-08-01
Tom Schrijve
r
s
static type checking
commit
|
commitdiff
|
tree
2006-07-28
Tom Schrijvers
experimental run
t
ime type ch
e
ckin
g
commit
|
commitdiff
|
tree
2006-07-25
T
o
m Sc
h
r
i
jver
s
p
rin
t
banner only wh
e
n
v
erbose_load is true
commit
|
commitdiff
|
tree
2006-07-05
Tom Schrijvers
bug fi
x
commit
|
commitdiff
|
tree
2006-07-05
Tom Schrijvers
bug fixes
commit
|
commitdiff
|
tree
2006-06-22
Tom Schrijvers
co
m
pile
r
perfor
m
ance improv
e
m
e
nts
commit
|
commitdiff
|
tree
2006-06-13
Tom S
c
h
r
ijve
r
s
b
ug in inline_matchin
g
_goal
commit
|
commitdiff
|
tree
2006-06-08
To
m
Schrijvers
bug fix
commit
|
commitdiff
|
tree
2006-06-08
Tom Schrijvers
small changes
commit
|
commitdiff
|
tree
2006-06-07
Tom
Schrijvers
tracer fix f
o
r propagation rules
commit
|
commitdiff
|
tree
2006-06-02
Tom
S
c
hrijvers
bug f
i
x
tracer
commit
|
commitdiff
|
tree
2006-06-01
T
om Schrijvers
debugging
f
ixes
commit
|
commitdiff
|
tree
2006-05-17
Tom Schrijvers
a num
b
e
r
of
c
hang
s
and fixes
commit
|
commitdiff
|
tree
2006-04-24
To
m
Sc
h
rijvers
mo
r
e efficien
t
guard_
e
ntailme
n
t
commit
|
commitdiff
|
tree
2006-04-24
T
om
Sch
r
ij
v
ers
current ver
s
i
on
commit
|
commitdiff
|
tree
2006-04-22
T
om Schrijvers
bug fix i
n
typ
e
a
liases; minor refactori
n
gs
commit
|
commitdiff
|
tree
2006-04-14
To
m
Schrijvers
bug fix
commit
|
commitdiff
|
tree
2006-04-11
Tom Sch
r
i
j
vers
dis
a
bled so
m
e compile
r
ou
t
p
ut
commit
|
commitdiff
|
tree
2006-04-11
T
o
m S
c
hrijvers
major c
h
anges,
m
o
st
n
ot
a
b
l
y O(1) removal for so
m
e constraint
.
.
.
commit
|
commitdiff
|
tree
2006-03-15
Tom
Schrijver
s
b
ug fix and mi
n
or optim
i
z
a
t
ion for funcor/3
in guards
commit
|
commitdiff
|
tree
2006-03-11
T
o
m
Schrijvers
renaming of g
l
o
b
al variabl
e
commit
|
commitdiff
|
tree
2006-03-10
Tom Schrijvers
mi
s
sing headers
commit
|
commitdiff
|
tree
2006-03-09
Tom
S
chrij
v
e
rs
missing file
commit
|
commitdiff
|
tree
2006-03-09
Tom Schrijvers
v
a
r
ious changes
commit
|
commitdiff
|
tree
2006-03-03
Tom Schrijve
r
s
excep
t
ion
h
o
ok for SWI-Prolog only
commit
|
commitdiff
|
tree
2006-03-02
Tom Sch
r
ij
v
ers
global variables exception h
o
ok for lazy init
i
a
l
iza
t
i
on
commit
|
commitdiff
|
tree
2006-03-02
Tom Schrijvers
minor c
h
anges
commit
|
commitdiff
|
tree
2006-02-09
T
om Schrijvers
no more testing for
c
h
r file
commit
|
commitdiff
|
tree
2006-02-08
Tom Schrijvers
*
*
*
e
m
pty lo
g
m
e
s
sage ***
commit
|
commitdiff
|
tree
2006-02-08
Tom
Schrijv
e
rs
minor fixes
commit
|
commitdiff
|
tree
2006-02-07
Tom S
c
hrijvers
corrected spelling
commit
|
commitdiff
|
tree
2006-02-06
Tom Sch
r
ijvers
redundant code
commit
|
commitdiff
|
tree
2006-01-22
T
o
m Sc
h
rijvers
r
emoved un
u
sed operator
commit
|
commitdiff
|
tree
2005-12-15
Tom Schrijvers
syntax /
messages
commit
|
commitdiff
|
tree
2005-12-13
T
o
m Schr
i
jvers
sy
n
t
ax ch
a
ng
e
s
commit
|
commitdiff
|
tree
2005-11-21
T
om Schrijvers
syn
c
with h
P
rolog
commit
|
commitdiff
|
tree
2005-11-18
T
om Schrijvers
bugfix
commit
|
commitdiff
|
tree
2005-11-18
Tom
S
chrijvers
synchronized with hProlog
commit
|
commitdiff
|
tree
2005-11-18
To
m
Sc
h
ri
j
v
e
rs
option control t
o
pleve
l
show sto
r
e
commit
|
commitdiff
|
tree
2005-11-18
T
o
m Schri
j
vers
cha
n
g
e
s
commit
|
commitdiff
|
tree
2005-11-17
To
m
Schri
j
vers
dead code detec
t
ion e
x
am
p
le
commit
|
commitdiff
|
tree
2005-11-17
Tom
Schrijvers
compiler g
e
nerat
e
s les
s
dea
d
cod
e
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
code cl
e
an-u
p
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
upd
a
ted to new domain name k
u
leuven
.
be
commit
|
commitdiff
|
tree
2005-11-17
Tom Schri
j
v
e
rs
f
ixed e
m
ail add
r
ess
commit
|
commitdiff
|
tree
2005-11-17
Tom Sch
r
ijv
e
rs
remov
e
d redunda
n
t code
commit
|
commitdiff
|
tree
2005-11-17
Tom S
c
hrijvers
rename
d
glob
a
l_term_re
f
_1
commit
|
commitdiff
|
tree
2005-11-10
To
m
Schr
i
jvers
checks whether trig
g
e
ring
of constraint without act
i
ve
.
.
.
commit
|
commitdiff
|
tree
2005-11-10
Tom Schrijvers
bug
f
ixes
commit
|
commitdiff
|
tree
2005-11-04
Tom Schrijvers
small optimization
commit
|
commitdiff
|
tree
2005-11-04
Tom
Schrijvers
bu
g
fixes
commit
|
commitdiff
|
tree
2005-11-04
T
om
S
chrijvers
bug fix
commit
|
commitdiff
|
tree
2005-11-04
Tom
S
c
hrijvers
new testfi
l
e, c
h
ec
k
s whether code for passive cons
t
raint
.
.
.
commit
|
commitdiff
|
tree
next