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
bug fix
2008-01-08
Tom
S
c
h
rijvers
bug fix
commit
|
commitdiff
|
tree
2008-01-08
Tom Schrij
v
er
s
c
lea
n
-up
commit
|
commitdiff
|
tree
2008-01-08
To
m
Sc
h
ri
j
ver
s
bug fix
commit
|
commitdiff
|
tree
2008-01-07
Tom Sch
r
ijvers
o
mit
spurious warnings
commit
|
commitdiff
|
tree
2008-01-07
Tom Schrijvers
New experim
e
nta
l
s
t
o
re
for fast lookup
on t
e
rm const
a
nts
.
commit
|
commitdiff
|
tree
2008-01-04
T
om Schrijvers
new experimental
i
ndexi
n
g st
o
re
(
see ChangeLog)
commit
|
commitdiff
|
tree
2008-01-04
Tom Schrijvers
R
e
cognize m
o
re har
m
less bu
i
lt-
i
n
s
.
commit
|
commitdiff
|
tree
2008-01-03
Tom S
c
h
rijvers
I
n
lined in
t
h
ash lookups
.
commit
|
commitdiff
|
tree
2008-01-03
Tom
S
chri
j
vers
C
ha
n
ge
s
to war
n
ing mes
s
a
ge
s
o
f
new
s
toredness declaration
.
.
.
commit
|
commitdiff
|
tree
2007-12-31
Tom S
c
hr
i
jvers
New
f
eature for addi
n
g
u
nconditional simp
l
i
f
icatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-12-29
Tom Schrijvers
Experim
e
ntal featu
r
e
.
See Change
L
og
.
commit
|
commitdiff
|
tree
2007-12-27
Tom Schrijvers
See ChangeLog
commit
|
commitdiff
|
tree
2007-10-02
Tom
S
c
hrijvers
tim
e
commit
|
commitdiff
|
tree
2007-10-02
Tom Schrijvers
a
d
ded more type informat
i
on
commit
|
commitdiff
|
tree
2007-09-26
Tom Schrijvers
no timing inf
o
r
m
ation
commit
|
commitdiff
|
tree
2007-09-26
T
o
m Schri
j
v
e
rs
code cleaning
k
nows about line numbers
commit
|
commitdiff
|
tree
2007-05-25
Tom Schrijvers
guar
d
_
e
ntailment
speedu
p
commit
|
commitdiff
|
tree
2007-05-02
T
o
m Schrijvers
b
u
g fix + checks
commit
|
commitdiff
|
tree
2007-04-05
Tom Schrijvers
comp
i
ler pe
r
formance imp
r
ovement
commit
|
commitdiff
|
tree
2007-03-26
Tom Schrijvers
e
x
p
e
rimental d
y
na
m
ic attribu
t
e
terms
commit
|
commitdiff
|
tree
2007-03-16
Tom Schrijvers
extended AI observ
a
ti
o
n a
n
alysis to disju
n
ction
commit
|
commitdiff
|
tree
2007-03-14
T
om Schrijvers
int
e
rnal
p
redicate re
n
a
m
ed
commit
|
commitdiff
|
tree
2007-03-12
Tom Sc
h
ri
j
vers
l
i
ne numb
e
rs in me
s
s
a
ges
commit
|
commitdiff
|
tree
2007-03-12
Tom
S
chri
j
vers
slightly faste
r
guard entailment mo
d
ule
commit
|
commitdiff
|
tree
2007-03-08
Tom
Schrijvers
line
n
u
mbers
commit
|
commitdiff
|
tree
2007-03-05
Tom Sch
r
ijver
s
b
ug
fix
commit
|
commitdiff
|
tree
2007-02-26
To
m
Schrijvers
bug fix observation
commit
|
commitdiff
|
tree
2007-02-26
Tom Schrijvers
mixed constraint stores
commit
|
commitdiff
|
tree
2007-02-23
Tom Sc
h
r
i
jvers
bug fix
commit
|
commitdiff
|
tree
2007-02-22
Tom Schrijver
s
ht_removal option
commit
|
commitdiff
|
tree
2007-01-25
T
o
m S
c
hrijv
e
rs
bugfixes
commit
|
commitdiff
|
tree
2007-01-18
Tom Schrijvers
constraint
s
i
n guards
commit
|
commitdiff
|
tree
2006-12-19
Tom Schr
i
jvers
bug fix in d
y
namic
type checking
commit
|
commitdiff
|
tree
2006-12-13
Tom Schrijvers
bug fix in r
u
ntime type checking
commit
|
commitdiff
|
tree
2006-11-29
To
m
Schrijvers
no timings
commit
|
commitdiff
|
tree
2006-11-29
Tom Schrijvers
n
amed h
i
story bug f
i
x
commit
|
commitdiff
|
tree
2006-11-27
To
m
S
c
h
r
i
jvers
histo
r
y pragma, deoptimization
commit
|
commitdiff
|
tree
2006-11-22
Tom
S
chrijvers
removed
writelns
commit
|
commitdiff
|
tree
2006-11-21
Tom Schrijvers
exp
e
rime
n
tal activ
e
_in_guard pragma
commit
|
commitdiff
|
tree
2006-11-20
Tom Schrijvers
mp
a
s
s
ive
commit
|
commitdiff
|
tree
2006-11-20
Tom Sc
h
rijvers
experi
m
ental history fea
t
ure
commit
|
commitdiff
|
tree
2006-11-20
Tom Schrijvers
c
h
a
n
ges
commit
|
commitdiff
|
tree
2006-10-25
Tom Schr
i
jvers
latest
c
ha
n
g
es
commit
|
commitdiff
|
tree
2006-10-18
Tom Schrijve
r
s
e
x
perimental features
commit
|
commitdiff
|
tree
2006-10-17
Tom Sch
r
ijvers
variou
s
smal
l
improvem
e
nt
s
commit
|
commitdiff
|
tree
2006-10-12
T
o
m Schrijvers
inlining,
experimental extension
commit
|
commitdiff
|
tree
2006-10-09
Tom Schrijvers
various
commit
|
commitdiff
|
tree
2006-10-03
To
m
Schrijvers
b
ug
fi
x
commit
|
commitdiff
|
tree
2006-10-03
Tom S
c
hrijver
s
various
commit
|
commitdiff
|
tree
2006-09-22
Tom Schrijvers
chr_leash problem
commit
|
commitdiff
|
tree
2006-09-18
Tom Schrijvers
b
u
g fix
commit
|
commitdiff
|
tree
2006-08-21
Tom Schrijvers
wrong
a
rities
commit
|
commitdiff
|
tree
2006-08-21
Tom Schrijv
e
r
s
Cha
n
gel
o
g
commit
|
commitdiff
|
tree
2006-08-18
Tom Schrijvers
cleanup
commit
|
commitdiff
|
tree
2006-08-17
To
m
Schrijver
s
inlining
commit
|
commitdiff
|
tree
2006-08-17
Tom Schrijvers
*** emp
t
y
log message ***
commit
|
commitdiff
|
tree
2006-08-11
Tom Schrijvers
v
e
rbosity of
f
commit
|
commitdiff
|
tree
2006-08-11
Tom S
c
hrijvers
suppress warnings for automatically generated CH
R
r
u
l
e
s
commit
|
commitdiff
|
tree
2006-08-11
Tom Sch
r
ij
v
e
r
s
r
e
verted
chr_assoc_s
t
o
re
commit
|
commitdiff
|
tree
2006-08-10
To
m
S
chrijvers
var
i
ous minor change
s
commit
|
commitdiff
|
tree
2006-08-09
Tom Schrijvers
*** empty lo
g
message ***
commit
|
commitdiff
|
tree
2006-08-09
T
o
m Schr
i
jvers
C
h
a
n
gelo
g
commit
|
commitdiff
|
tree
2006-08-08
Tom Schrijver
s
no l
o
ck
checking
commit
|
commitdiff
|
tree
2006-08-04
To
m
Schrijvers
see Cha
n
g
elog
commit
|
commitdiff
|
tree
2006-08-04
Tom
Sc
h
r
i
jvers
(-) optimi
z
ations
commit
|
commitdiff
|
tree
2006-08-03
T
o
m Schr
i
jve
r
s
min
o
r cleanup of static t
y
p
e
che
c
king
commit
|
commitdiff
|
tree
2006-08-03
Tom Sch
r
i
j
v
ers
disa
b
le tim
i
ng
commit
|
commitdiff
|
tree
2006-08-02
Tom Schrij
v
ers
static t
y
pe checking of bod
i
es
commit
|
commitdiff
|
tree
2006-08-02
Tom Schrijvers
static t
y
pe checker extension
commit
|
commitdiff
|
tree
2006-08-02
Tom Schrijv
e
rs
bug
f
ix
commit
|
commitdiff
|
tree
2006-08-01
Tom Schrijvers
static
type checking
commit
|
commitdiff
|
tree
2006-07-28
Tom S
c
hrijvers
e
x
perim
e
ntal runtime typ
e
checkin
g
commit
|
commitdiff
|
tree
2006-07-25
Tom Schrijvers
print banner only when ve
r
bose_load
i
s
true
commit
|
commitdiff
|
tree
2006-07-05
Tom S
c
hrijvers
bug fi
x
commit
|
commitdiff
|
tree
2006-07-05
Tom S
c
hrijvers
bug
f
ixe
s
commit
|
commitdiff
|
tree
2006-06-22
Tom Schrijvers
compiler pe
r
formance imp
r
ovement
s
commit
|
commitdiff
|
tree
2006-06-13
Tom
Schrijvers
bug in i
n
lin
e
_matching_goal
commit
|
commitdiff
|
tree
2006-06-08
Tom Sch
r
ijve
r
s
b
u
g fi
x
commit
|
commitdiff
|
tree
2006-06-08
T
o
m Schrijver
s
sm
a
ll c
h
anges
commit
|
commitdiff
|
tree
2006-06-07
Tom Schrijvers
tracer fix for propagation
r
u
les
commit
|
commitdiff
|
tree
2006-06-02
Tom Schr
i
jvers
bug fix
tracer
commit
|
commitdiff
|
tree
2006-06-01
Tom Schri
j
vers
debugg
i
ng fixes
commit
|
commitdiff
|
tree
2006-05-17
T
o
m
Schr
i
jver
s
a numb
e
r
o
f changs
a
nd fixes
commit
|
commitdiff
|
tree
2006-04-24
T
om Schrijvers
more efficient guard_entailment
commit
|
commitdiff
|
tree
2006-04-24
T
om
S
chrijvers
current version
commit
|
commitdiff
|
tree
2006-04-22
Tom Sch
r
ijvers
bug fix in type aliases; minor refactorings
commit
|
commitdiff
|
tree
2006-04-14
Tom
S
c
h
r
i
jv
e
rs
bug
fix
commit
|
commitdiff
|
tree
2006-04-11
Tom Sc
h
rijvers
disabled s
o
me compiler
o
u
tput
commit
|
commitdiff
|
tree
2006-04-11
Tom Schrijvers
maj
o
r
change
s
,
most notably O(1)
removal for some const
r
aint
.
.
.
commit
|
commitdiff
|
tree
2006-03-15
Tom Sc
h
rijvers
bug fix and minor optimization for funcor/3 in guard
s
commit
|
commitdiff
|
tree
2006-03-11
Tom Sc
h
r
ijv
e
rs
ren
a
m
ing of glo
b
a
l
var
i
able
commit
|
commitdiff
|
tree
2006-03-10
Tom Schr
i
jvers
m
i
s
s
ing headers
commit
|
commitdiff
|
tree
2006-03-09
To
m
S
c
hrijvers
m
issing
f
ile
commit
|
commitdiff
|
tree
2006-03-09
T
o
m
S
chrijvers
various chan
g
es
commit
|
commitdiff
|
tree
2006-03-03
Tom Schrijvers
exception hook
f
or SWI-
P
ro
l
o
g
o
nly
commit
|
commitdiff
|
tree
2006-03-02
Tom Sch
r
ij
v
ers
global
variables exce
p
tio
n
hook
f
o
r lazy init
i
alization
commit
|
commitdiff
|
tree
2006-03-02
Tom Schri
j
vers
minor
c
ha
n
g
e
s
commit
|
commitdiff
|
tree
2006-02-09
Tom Schrijvers
n
o
m
ore
t
esting for chr file
commit
|
commitdiff
|
tree
2006-02-08
Tom
Schrijvers
***
e
mpty l
o
g message ***
commit
|
commitdiff
|
tree
2006-02-08
Tom
Sch
r
ijvers
mi
n
o
r fixes
commit
|
commitdiff
|
tree
next