repo.or.cz
/
bison.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
cex: label all the derivations by their initial action
2020-07-20
Akim Dem
a
i
l
l
e
cex: label al
l
the derivations by
t
heir initial actio
n
commit
|
commitdiff
|
tree
2020-07-20
Akim Demaille
cex: improve r
e
adab
i
lity of the subsections
commit
|
commitdiff
|
tree
2020-07-20
Akim
D
e
m
a
i
l
l
e
c
ex: don't issue an empty line be
t
ween counterexamples
commit
|
commitdiff
|
tree
2020-07-20
Akim Dema
i
l
l
e
cex: use usual r
o
uti
n
e
s for diagnostics about S/R conflicts
commit
|
commitdiff
|
tree
2020-07-20
Akim Demaille
c
ex: use usual routi
n
es for
diag
n
ostics a
b
out R/
R
conflicts
commit
|
commitdiff
|
tree
2020-07-19
Akim
D
emaille
diagn
o
sti
c
s
:
use
h
yperlinks
t
o point to t
h
e only docum
e
nt
a
t
i
on
commit
|
commitdiff
|
tree
2020-07-19
Akim Demaille
doc: add anchors for warni
n
g
s
commit
|
commitdiff
|
tree
2020-07-19
Akim Dema
i
lle
glyphs:
f
ix ty
p
es
commit
|
commitdiff
|
tree
2020-07-19
Akim De
m
a
i
lle
m
a
int: p
o
st-release administrivia
commit
|
commitdiff
|
tree
2020-07-19
Akim Demaille
version 3
.
6
.
92
commit
|
commitdiff
|
tree
2020-07-19
Akim Demaille
s
t
yle: avoid strncpy
commit
|
commitdiff
|
tree
2020-07-18
Akim Demaille
cex: display
d
er
i
v
ations
a
s tr
e
es
commit
|
commitdiff
|
tree
2020-07-16
Akim Demaille
cex:
u
s
e the g
l
yphs
commit
|
commitdiff
|
tree
2020-07-16
Akim
D
emaille
cex: fac
t
or the
h
an
d
ling
of g
r
ap
h
ical sym
b
ols
commit
|
commitdiff
|
tree
2020-07-15
Akim Demaille
c
ex: style chan
g
es
commit
|
commitdiff
|
tree
2020-07-15
Akim Demaille
c
ex: simplify tests
commit
|
commitdiff
|
tree
2020-07-15
Ak
i
m
D
emai
l
le
c
ex: more col
o
rs
commit
|
commitdiff
|
tree
2020-07-14
A
k
im D
e
maille
style: comments c
h
anges
commit
|
commitdiff
|
tree
2020-07-14
A
k
im Demai
l
le
doc
:
update
GLR sections
commit
|
commitdiff
|
tree
2020-07-14
A
kim
D
e
maille
c
ex:
d
i
splay shifts before red
u
ctions
commit
|
commitdiff
|
tree
2020-07-14
Akim
Demaille
style:
s
/
l
o
o
kahe
a
d_tok
e
n
s/lookaheads/g
commit
|
commitdiff
|
tree
2020-07-14
Akim Demaille
cex: factor memory alloca
t
ion
commit
|
commitdiff
|
tree
2020-07-14
A
kim Demai
l
le
cex: use s
t
ate_item_numbe
r
consis
t
ent
l
y
commit
|
commitdiff
|
tree
2020-07-14
Akim De
m
aille
c
ex: more consi
s
tent
m
emory al
l
o
c
a
tion/
c
opy
commit
|
commitdiff
|
tree
2020-07-14
Ak
i
m D
e
maille
cex: minor re
n
aming
commit
|
commitdiff
|
tree
2020-07-14
Akim
D
emaille
ce
x
: use better ty
p
e names
commit
|
commitdiff
|
tree
2020-07-14
Akim De
m
a
i
l
l
e
cex: minor style changes
commit
|
commitdiff
|
tree
2020-07-14
Akim
D
e
maill
e
t
ests: bewa
r
e of version numb
e
rs f
r
om git de
s
cribe
commit
|
commitdiff
|
tree
2020-07-14
A
k
im
De
m
a
i
lle
tests: fix expe
c
tations
commit
|
commitdiff
|
tree
2020-07-12
Akim Dema
i
lle
doc: makeinf
o
wants @arrow{}, not
@
a
rrow
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaill
e
gnuli
b
: update
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
cex
:
pref
e
r → to ::=
commit
|
commitdiff
|
tree
2020-07-11
Akim
Demail
l
e
sty
l
e: cex:
p
re
f
er the
a
rra
y
nota
t
ion
commit
|
commitdiff
|
tree
2020-07-11
Akim
D
emaille
sty
l
e: cex:
r
e
m
ove varia
b
les that
d
on't make i
t
s
i
m
p
ler
.
.
.
commit
|
commitdiff
|
tree
2020-07-11
Ak
i
m Demaille
bistroma
t
hic: demonstra
t
e c
a
ret-diagnostics
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
b
i
stromathic
:
do not display parse errors on completio
n
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
bistromathic: don't stupidly re
s
et the
l
o
c
atio
n
for
.
.
.
commit
|
commitdiff
|
tree
2020-07-11
Akim
De
m
aille
b
i
stromat
h
ic:
p
romote yytoken_kind_t
commit
|
commitdiff
|
tree
2020-07-11
Akim De
m
aille
h
tml: capitalize titles
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
h
tml
:
don't define
seve
r
al ti
m
es the sa
m
e anchors
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
html: simplify
commit
|
commitdiff
|
tree
2020-07-11
Aki
m
D
emaille
reports: let htm
l
r
e
ports catch up with --
r
e
p
o
rt and
.
.
.
commit
|
commitdiff
|
tree
2020-07-11
Aki
m
Demaille
reports:
let xml reports catch
up wit
h
--report
and
.
.
.
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
reports: update
html ouput
commit
|
commitdiff
|
tree
2020-07-11
Akim
D
emaille
tests: check html
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
style: f
a
cto
r
complex
e
xpressions
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
maint: make it
e
asier to update expectations
commit
|
commitdiff
|
tree
2020-07-09
Ak
i
m Demaille
m
a
i
n
t
: post-rele
a
se
a
dmin
i
strivia
commit
|
commitdiff
|
tree
2020-07-09
Aki
m
D
ema
i
lle
version 3
.
6
.
9
1
commit
|
commitdiff
|
tree
2020-07-09
A
k
im Demaille
news: update
commit
|
commitdiff
|
tree
2020-07-09
Akim Demaille
gnulib: up
d
ate
commit
|
commitdiff
|
tree
2020-07-08
Akim
D
emaille
examples: add license
head
e
rs
commit
|
commitdiff
|
tree
2020-07-05
Akim Demaille
s
t
yle: update
comments
commit
|
commitdiff
|
tree
2020-07-05
A
k
i
m
D
emai
l
le
style: u
p
dat
e
c
omments i
n
the s
k
eletons
commit
|
commitdiff
|
tree
2020-07-05
Akim Demaille
doc:
m
o
r
e
details about symbo
l
s i
n
m4
commit
|
commitdiff
|
tree
2020-07-05
Akim Demaille
r
e
gen
commit
|
commitdiff
|
tree
2020-07-05
A
k
i
m Demaille
e
x
a
m
ples:
include th
e
generated header
commit
|
commitdiff
|
tree
2020-07-04
Akim Dem
a
i
lle
maint: post
-
release admini
s
t
r
ivia
commit
|
commitdiff
|
tree
2020-07-04
Ak
i
m Demaille
version 3
.
6
.
90
commit
|
commitdiff
|
tree
2020-07-04
A
k
i
m
Demaille
news:
u
pdate
commit
|
commitdiff
|
tree
2020-07-04
Akim Demaill
e
pac
k
age: fix s
y
ntax-check errors
commit
|
commitdiff
|
tree
2020-07-04
Akim
D
email
l
e
gnulib:
u
p
d
ate
commit
|
commitdiff
|
tree
2020-07-04
A
k
im Demaille
cex: give more
details about -Wcex and -
r
cex
commit
|
commitdiff
|
tree
2020-07-03
Akim Demaille
news: update
commit
|
commitdiff
|
tree
2020-07-03
Akim De
m
aill
e
dot:
also use
a
d
ot
in the outp
u
t
commit
|
commitdiff
|
tree
2020-07-01
Ak
i
m De
m
aille
n
e
w
s: formatting c
h
a
n
ges
commit
|
commitdiff
|
tree
2020-07-01
Ak
i
m Demaille
news, todo: upda
t
e
commit
|
commitdiff
|
tree
2020-06-30
Akim Demail
l
e
doc: clarify th
a
t
t
he pc
o
ntext
i
nterface is *
.
c only
commit
|
commitdiff
|
tree
2020-06-30
Akim Demaille
do
c
:
use color in the
cex exa
m
ples
commit
|
commitdiff
|
tree
2020-06-30
A
ki
m
Demaille
doc: repair the references to the Bibliography
commit
|
commitdiff
|
tree
2020-06-30
Akim Demaille
do
c
:
u
pdate Doxygen
template
f
ile
commit
|
commitdiff
|
tree
2020-06-29
Akim Demaille
yacc
.
c: push
:
don
'
t clear
the parser
s
tate w
h
en accepting
.
.
.
commit
|
commitdiff
|
tree
2020-06-29
Akim
D
email
l
e
b
i
stromathic: don't disp
l
a
y undefined l
o
cations
commit
|
commitdiff
|
tree
2020-06-29
A
k
im Dema
i
l
le
yacc
.
c: sim
p
lify in
i
tializat
i
on of pu
s
h
p
arsers
commit
|
commitdiff
|
tree
2020-06-29
Akim
D
e
maille
regen
commit
|
commitdiff
|
tree
2020-06-29
A
k
im Demaille
yacc
.
c: d
e
c
l
are and
i
nitialize
and the
s
a
me time
commit
|
commitdiff
|
tree
2020-06-29
Aki
m
Dema
i
lle
y
a
cc
.
c: style changes in push mode
commit
|
commitdiff
|
tree
2020-06-29
Aki
m
Demaille
yacc
.
c: simplify
yypull_parse
commit
|
commitdiff
|
tree
2020-06-29
Ak
i
m Demaille
doc: tidy the t
e
xt files
commit
|
commitdiff
|
tree
2020-06-29
Akim Demaille
bench: si
m
plify the `rand` tar
g
et
commit
|
commitdiff
|
tree
2020-06-29
A
ki
m
D
emaille
be
n
c
h
: make
it easy
to edit
the generated fi
l
es
commit
|
commitdiff
|
tree
2020-06-29
Ak
i
m De
m
aille
tests: don't use $VERBOSE
commit
|
commitdiff
|
tree
2020-06-28
Akim Demai
l
le
d
o
c: ov
e
rhaul of the readm
e
s
commit
|
commitdiff
|
tree
2020-06-28
A
kim
D
emaille
java: rename
p
ackage
a
s
a
p
i
.
packag
e
commit
|
commitdiff
|
tree
2020-06-28
Akim Demail
l
e
st
y
l
e
:
shi
f
t/reduce, not shif
t
-red
u
ce
commit
|
commitdiff
|
tree
2020-06-27
Akim Demaille
style
:
rename e
n
d
t
o
ken as eof
t
oken
commit
|
commitdiff
|
tree
2020-06-27
Akim
Dema
i
ll
e
news
:
fixe
s
commit
|
commitdiff
|
tree
2020-06-27
Akim De
m
aille
styl
e
: use 'nonte
r
m
inal
'
c
o
nsi
s
tently
commit
|
commitdiff
|
tree
2020-06-27
Akim
Demaille
do
c
: parse
.
asser
t
in
C++ requires RTTI
commit
|
commitdiff
|
tree
2020-06-27
Akim D
e
maille
c++: by de
f
ault, use const std
:
:
string
for file name
s
commit
|
commitdiff
|
tree
2020-06-27
Akim
D
e
maille
ie
l
r: fix
c
rash on
memory man
a
gement
commit
|
commitdiff
|
tree
2020-06-25
Akim Dema
i
lle
style
:
factor t
h
e access to a rule from its items
commit
|
commitdiff
|
tree
2020-06-25
Akim Demaille
style: clean
u
p
nullable
commit
|
commitdiff
|
tree
2020-06-25
Akim Demail
l
e
style: clean up ie
l
r
commit
|
commitdiff
|
tree
2020-06-23
Akim Demail
l
e
d
on't use strl
e
n
to compute visua
l
width
commit
|
commitdiff
|
tree
2020-06-23
Akim Demaille
doc: u
s
e d
o
t/'•' ra
t
her
than
p
o
int/'
.
'
commit
|
commitdiff
|
tree
2020-06-23
Akim
Demaille
cex: display
a
l
l t
h
e S/R c
o
nflicts,
n
ot just o
n
e
per
.
.
.
commit
|
commitdiff
|
tree
2020-06-22
Akim Dema
i
l
l
e
cex: don't display twic
e
u
n
i
f
yi
n
g
ex
a
mple
s
if there
.
.
.
commit
|
commitdiff
|
tree
2020-06-22
Akim Demaille
c
e
x: use the
b
u
l
let in HTM
L
commit
|
commitdiff
|
tree
2020-06-19
Akim
Demaille
ce
x
: style changes
commit
|
commitdiff
|
tree
next