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
added more type information
2007-10-02
Tom S
c
hrijvers
ad
d
ed more
t
ype
i
nformation
commit
|
commitdiff
|
tree
2007-09-26
T
om Schrijvers
n
o timin
g
i
n
f
o
rmat
i
on
commit
|
commitdiff
|
tree
2007-09-26
Tom Schrijvers
code cl
e
aning knows about line numbe
r
s
commit
|
commitdiff
|
tree
2007-05-25
Tom Schrij
v
er
s
guard_entail
m
e
nt
speedup
commit
|
commitdiff
|
tree
2007-05-02
Tom Schrijvers
bug fix
+
c
h
ecks
commit
|
commitdiff
|
tree
2007-04-05
Tom Schrijvers
compiler performa
n
ce improvement
commit
|
commitdiff
|
tree
2007-03-26
Tom Schrijvers
exper
i
m
e
n
tal dynami
c
attribute terms
commit
|
commitdiff
|
tree
2007-03-16
Tom
Schrij
v
e
rs
ext
e
nded AI observa
t
ion
analysis
to disj
u
n
c
t
i
on
commit
|
commitdiff
|
tree
2007-03-14
Tom Schrijvers
internal predicate renamed
commit
|
commitdiff
|
tree
2007-03-12
Tom Schrijvers
l
ine numbe
r
s in messages
commit
|
commitdiff
|
tree
2007-03-12
Tom Schrij
v
ers
slightly fas
t
er guard entailment mo
d
ule
commit
|
commitdiff
|
tree
2007-03-08
Tom Schrijver
s
l
i
ne numbers
commit
|
commitdiff
|
tree
2007-03-05
Tom Schrijver
s
bug fix
commit
|
commitdiff
|
tree
2007-02-26
Tom Sch
r
ij
v
er
s
bu
g
fix observation
commit
|
commitdiff
|
tree
2007-02-26
Tom Sch
r
ijvers
mixed constraint stores
commit
|
commitdiff
|
tree
2007-02-23
Tom S
c
hrijvers
bug fix
commit
|
commitdiff
|
tree
2007-02-22
Tom
Schrijvers
ht
_
remov
a
l option
commit
|
commitdiff
|
tree
2007-01-25
Tom Schrijver
s
b
u
gfixes
commit
|
commitdiff
|
tree
2007-01-18
Tom Sc
h
rijvers
c
o
nstraint
s
i
n
guards
commit
|
commitdiff
|
tree
2006-12-19
Tom Schr
i
jvers
bug fix in dynamic type check
i
ng
commit
|
commitdiff
|
tree
2006-12-13
T
o
m Schri
j
vers
bug fix in runtime type checking
commit
|
commitdiff
|
tree
2006-11-29
Tom Schrijvers
no ti
m
in
g
s
commit
|
commitdiff
|
tree
2006-11-29
Tom Schrijvers
n
amed history bug fix
commit
|
commitdiff
|
tree
2006-11-27
Tom
S
chrijv
e
rs
h
i
story p
r
a
gma, deoptimi
z
a
tion
commit
|
commitdiff
|
tree
2006-11-22
Tom Schrijvers
r
emov
e
d writelns
commit
|
commitdiff
|
tree
2006-11-21
Tom Schrijvers
experimental active_in_
g
u
a
rd pragma
commit
|
commitdiff
|
tree
2006-11-20
Tom Sch
r
ij
v
ers
m
p
ass
i
ve
commit
|
commitdiff
|
tree
2006-11-20
Tom Schrijve
r
s
experim
e
n
tal histo
r
y feature
commit
|
commitdiff
|
tree
2006-11-20
Tom Schrijvers
c
hanges
commit
|
commitdiff
|
tree
2006-10-25
Tom Schrijvers
latest ch
a
nges
commit
|
commitdiff
|
tree
2006-10-18
Tom
Sch
r
ijvers
experimental feature
s
commit
|
commitdiff
|
tree
2006-10-17
Tom Schrijvers
various small improvements
commit
|
commitdiff
|
tree
2006-10-12
Tom Schrijvers
inlining, experim
e
ntal extension
commit
|
commitdiff
|
tree
2006-10-09
Tom Sch
r
ijvers
v
arious
commit
|
commitdiff
|
tree
2006-10-03
Tom Schrijvers
bug
f
i
x
commit
|
commitdiff
|
tree
2006-10-03
Tom Schrijv
e
rs
various
commit
|
commitdiff
|
tree
2006-09-22
Tom Schr
i
jve
r
s
chr_leas
h
problem
commit
|
commitdiff
|
tree
2006-09-18
Tom Schrijvers
bug fix
commit
|
commitdiff
|
tree
2006-08-21
Tom Schrijvers
w
ron
g
arities
commit
|
commitdiff
|
tree
2006-08-21
Tom Schrijvers
Change
l
og
commit
|
commitdiff
|
tree
2006-08-18
Tom Schrijvers
cleanup
commit
|
commitdiff
|
tree
2006-08-17
Tom Schrijve
r
s
i
n
l
ining
commit
|
commitdiff
|
tree
2006-08-17
Tom Schrijvers
*** empty log mess
a
ge ***
commit
|
commitdiff
|
tree
2006-08-11
Tom S
c
h
ri
j
vers
v
erbosity
off
commit
|
commitdiff
|
tree
2006-08-11
T
o
m
Schrijv
e
rs
supp
r
ess w
a
rnings for
automatically generated C
H
R
r
ul
e
s
commit
|
commitdiff
|
tree
2006-08-11
T
o
m Schrijvers
reverted chr_a
s
soc
_
stor
e
commit
|
commitdiff
|
tree
2006-08-10
Tom Schrij
v
e
r
s
v
a
rious minor
c
han
g
es
commit
|
commitdiff
|
tree
2006-08-09
Tom Schri
j
vers
***
e
mpty log message ***
commit
|
commitdiff
|
tree
2006-08-09
Tom Sch
r
ijvers
C
h
a
n
gelog
commit
|
commitdiff
|
tree
2006-08-08
Tom Schrijvers
n
o
lock che
c
king
commit
|
commitdiff
|
tree
2006-08-04
Tom
S
c
hrijvers
see Changelog
commit
|
commitdiff
|
tree
2006-08-04
Tom
Schrijvers
(-) optimi
z
ations
commit
|
commitdiff
|
tree
2006-08-03
Tom Schrijvers
minor cleanup
of static ty
p
e
c
h
e
c
king
commit
|
commitdiff
|
tree
2006-08-03
Tom Schrijvers
disa
b
le timing
commit
|
commitdiff
|
tree
2006-08-02
To
m
Schrijvers
static
type checking of bodies
commit
|
commitdiff
|
tree
2006-08-02
Tom Sc
h
ri
j
vers
s
tatic type
c
he
c
ker ex
t
e
nsion
commit
|
commitdiff
|
tree
2006-08-02
Tom Schrijve
r
s
bug f
i
x
commit
|
commitdiff
|
tree
2006-08-01
Tom Schrijvers
static type checking
commit
|
commitdiff
|
tree
2006-07-28
Tom Schrijvers
experim
e
n
tal runti
m
e type checki
n
g
commit
|
commitdiff
|
tree
2006-07-25
Tom S
c
hrijvers
pr
i
nt ban
n
er only when verb
o
se_lo
a
d is
t
rue
commit
|
commitdiff
|
tree
2006-07-05
Tom Schrijvers
bug
fi
x
commit
|
commitdiff
|
tree
2006-07-05
T
o
m
Schrijvers
bug f
i
xes
commit
|
commitdiff
|
tree
2006-06-22
Tom Schrijvers
co
m
piler performance improv
e
ments
commit
|
commitdiff
|
tree
2006-06-13
Tom
Schrijvers
bug in inline
_
match
i
ng_goal
commit
|
commitdiff
|
tree
2006-06-08
To
m
Schrijvers
bug fix
commit
|
commitdiff
|
tree
2006-06-08
T
o
m
Schrij
v
er
s
small
changes
commit
|
commitdiff
|
tree
2006-06-07
Tom S
c
hrijvers
trac
e
r
f
ix fo
r
propa
g
ation rules
commit
|
commitdiff
|
tree
2006-06-02
Tom Schri
j
vers
bug fix tr
a
cer
commit
|
commitdiff
|
tree
2006-06-01
Tom Schrijvers
debugging fixes
commit
|
commitdiff
|
tree
2006-05-17
Tom S
c
hrijvers
a
n
um
b
e
r of
changs
a
nd fixes
commit
|
commitdiff
|
tree
2006-04-24
Tom Schrijv
e
rs
more effi
c
ie
n
t guard
_
entailm
e
nt
commit
|
commitdiff
|
tree
2006-04-24
Tom Schri
j
vers
current ver
s
ion
commit
|
commitdiff
|
tree
2006-04-22
T
o
m
S
c
h
r
ijvers
bug
fix i
n
type aliases;
m
inor refactor
i
n
gs
commit
|
commitdiff
|
tree
2006-04-14
Tom Schrijvers
b
ug fix
commit
|
commitdiff
|
tree
2006-04-11
T
o
m Schr
i
jvers
disabled some compiler output
commit
|
commitdiff
|
tree
2006-04-11
T
om Schrijvers
major changes, most n
o
tably O(1) removal for
s
om
e
constr
a
i
nt
.
.
.
commit
|
commitdiff
|
tree
2006-03-15
Tom Schrijvers
bu
g
fix and minor optim
i
zation for f
u
n
c
or/3 in guards
commit
|
commitdiff
|
tree
2006-03-11
Tom Schrijvers
renaming of glo
b
al variable
commit
|
commitdiff
|
tree
2006-03-10
To
m
Schrijvers
miss
i
n
g headers
commit
|
commitdiff
|
tree
2006-03-09
T
o
m Schrij
v
e
rs
m
i
ssing f
i
le
commit
|
commitdiff
|
tree
2006-03-09
Tom
Schrijvers
various chang
e
s
commit
|
commitdiff
|
tree
2006-03-03
Tom Schrijvers
excepti
o
n
hook for SWI-Pr
o
log only
commit
|
commitdiff
|
tree
2006-03-02
T
o
m Sch
r
ijvers
global variable
s
exce
p
tion hook for lazy
ini
t
ialization
commit
|
commitdiff
|
tree
2006-03-02
To
m
Schri
j
vers
minor c
h
an
g
es
commit
|
commitdiff
|
tree
2006-02-09
Tom Schrijver
s
no more
t
estin
g
for chr f
i
le
commit
|
commitdiff
|
tree
2006-02-08
Tom Schrij
v
ers
*
** empty lo
g
message ***
commit
|
commitdiff
|
tree
2006-02-08
Tom
Schrijvers
m
i
nor fix
e
s
commit
|
commitdiff
|
tree
2006-02-07
Tom S
c
h
rijve
r
s
correct
e
d spellin
g
commit
|
commitdiff
|
tree
2006-02-06
Tom Schr
i
j
v
ers
redundant code
commit
|
commitdiff
|
tree
2006-01-22
Tom Schrijvers
removed unused operator
commit
|
commitdiff
|
tree
2005-12-15
Tom
S
c
hrijv
e
rs
s
y
n
t
ax /
m
essages
commit
|
commitdiff
|
tree
2005-12-13
T
om S
c
hri
j
v
e
rs
syntax
c
hanges
commit
|
commitdiff
|
tree
2005-11-21
T
om Schrijver
s
sync with hProlog
commit
|
commitdiff
|
tree
2005-11-18
Tom Schr
i
jvers
bugfix
commit
|
commitdiff
|
tree
2005-11-18
To
m
S
ch
r
i
jvers
synchronized w
i
th
h
Pro
l
og
commit
|
commitdiff
|
tree
2005-11-18
To
m
Schrijv
e
r
s
option control top
l
ev
e
l show
store
commit
|
commitdiff
|
tree
2005-11-18
To
m
Schrijver
s
c
h
anges
commit
|
commitdiff
|
tree
2005-11-17
Tom Schrijvers
dead code detection example
commit
|
commitdiff
|
tree
2005-11-17
Tom Sch
r
ijvers
compiler
g
e
nerates less dead code
commit
|
commitdiff
|
tree
2005-11-17
Tom Schri
j
vers
code
c
l
ean-up
commit
|
commitdiff
|
tree
next