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: style: prefer "res" for the returned value
2020-07-29
Akim Dema
i
lle
ce
x
:
style: prefer "res" for the returned
v
a
l
u
e
commit
|
commitdiff
|
tree
2020-07-29
Akim Demaille
ce
x
: style: prefer F
O
O_
p
rin
t
t
o
p
rint_FOO
commit
|
commitdiff
|
tree
2020-07-28
Akim Demaille
scanner: don't crash on strings containing a NUL byte
commit
|
commitdiff
|
tree
2020-07-28
Akim Demaille
doc: refe
r
t
o
cex
fr
o
m
sections dealing
with confli
c
ts
commit
|
commitdiff
|
tree
2020-07-28
Akim
Demaille
doc: factor ifn
o
tte
x
/iftex
examples
commit
|
commitdiff
|
tree
2020-07-28
Akim D
e
maille
doc: fix colors
commit
|
commitdiff
|
tree
2020-07-28
Akim De
m
ail
l
e
doc:
f
ix
e
s
commit
|
commitdiff
|
tree
2020-07-23
Akim Demaille
m
a
i
nt
:
post-r
e
lease admini
s
trivi
a
commit
|
commitdiff
|
tree
2020-07-23
A
ki
m
Demaille
versi
o
n 3
.
7
commit
|
commitdiff
|
tree
2020-07-23
A
k
im Demaille
style: a
v
oid warnings with GCC 4
.
6
commit
|
commitdiff
|
tree
2020-07-23
Akim Dema
i
ll
e
doc: fix definition of -Wall
commit
|
commitdiff
|
tree
2020-07-23
Akim Demaill
e
gnu
l
i
b
: update
commit
|
commitdiff
|
tree
2020-07-23
Ak
i
m Demaille
tes
t
s
: fixes
commit
|
commitdiff
|
tree
2020-07-22
Akim Demail
l
e
cex: update NEWS fo
r
3
.
7
commit
|
commitdiff
|
tree
2020-07-22
Ak
i
m Demaille
doc: c
a
tch up
w
ith the cur
r
ent d
i
splay
o
f
cex
commit
|
commitdiff
|
tree
2020-07-21
Akim De
m
aille
cex:
make
"
r
e
run with
'
-Wcex'" a note instead of a
.
.
.
commit
|
commitdiff
|
tree
2020-07-20
Aki
m
Demaille
maint:
p
ost-release administri
v
ia
commit
|
commitdiff
|
tree
2020-07-20
Aki
m
D
e
maille
ver
s
ion 3
.
6
.
93
commit
|
commitdiff
|
tree
2020-07-20
A
k
im Demaille
cex: l
a
b
e
l
a
ll the derivations by
t
heir initial
a
ction
commit
|
commitdiff
|
tree
2020-07-20
A
kim Demaille
cex: i
m
prove
readability of t
h
e subsection
s
commit
|
commitdiff
|
tree
2020-07-20
Aki
m
D
e
mai
l
l
e
cex: don't issue an
empty
line be
t
ween counterexamples
commit
|
commitdiff
|
tree
2020-07-20
Akim Demaille
cex: use u
s
ual routin
e
s for diag
n
ostics ab
o
ut S/R conflicts
commit
|
commitdiff
|
tree
2020-07-20
Akim
Demaille
cex: use usual routines for d
i
agnostics about R/R
c
onflicts
commit
|
commitdiff
|
tree
2020-07-19
Akim Demai
l
le
dia
g
nost
i
cs: use hyperlink
s
t
o
p
oint to the only docu
m
entation
commit
|
commitdiff
|
tree
2020-07-19
Aki
m
Demaille
d
o
c: ad
d
anchors for
w
a
r
ni
n
gs
commit
|
commitdiff
|
tree
2020-07-19
Akim Demaille
glyph
s
: fix
types
commit
|
commitdiff
|
tree
2020-07-19
Akim Demail
l
e
maint:
post-release admini
s
t
rivia
commit
|
commitdiff
|
tree
2020-07-19
Akim Demaille
ve
r
s
i
on
3
.
6
.
92
commit
|
commitdiff
|
tree
2020-07-19
Akim Demaille
style: avoid
s
trncpy
commit
|
commitdiff
|
tree
2020-07-18
Akim Dema
i
lle
cex: di
s
p
l
a
y
d
erivations as trees
commit
|
commitdiff
|
tree
2020-07-16
Akim Demaille
cex
:
use the
g
l
yphs
commit
|
commitdiff
|
tree
2020-07-16
A
kim Demaille
cex: factor the ha
n
dling of g
r
aphi
c
al symbols
commit
|
commitdiff
|
tree
2020-07-15
A
k
im Demaill
e
cex: s
t
y
le ch
a
nges
commit
|
commitdiff
|
tree
2020-07-15
A
kim De
m
aille
cex: sim
p
lify tests
commit
|
commitdiff
|
tree
2020-07-15
Akim Demaille
cex: more
c
olor
s
commit
|
commitdiff
|
tree
2020-07-14
Akim Dema
i
lle
style: comments changes
commit
|
commitdiff
|
tree
2020-07-14
Akim D
e
maille
doc
:
up
d
ate GLR sectio
n
s
commit
|
commitdiff
|
tree
2020-07-14
Akim Demaille
cex: displa
y
shifts before r
e
duc
t
ions
commit
|
commitdiff
|
tree
2020-07-14
Akim Dem
a
ille
style:
s
/lookahead_token
s
/looka
h
eads/g
commit
|
commitdiff
|
tree
2020-07-14
Akim Dema
i
lle
cex: factor mem
o
ry
a
llocation
commit
|
commitdiff
|
tree
2020-07-14
Aki
m
Demaille
ce
x
: use state_item_number consistent
l
y
commit
|
commitdiff
|
tree
2020-07-14
Akim Demaille
c
e
x: more c
o
nsistent memory a
l
location/cop
y
commit
|
commitdiff
|
tree
2020-07-14
Ak
i
m Dem
a
il
l
e
cex: minor renam
i
ng
commit
|
commitdiff
|
tree
2020-07-14
Aki
m
Demaille
cex: use bett
e
r type names
commit
|
commitdiff
|
tree
2020-07-14
Akim
D
emaille
cex: mino
r
sty
l
e changes
commit
|
commitdiff
|
tree
2020-07-14
A
kim Dema
i
lle
tests: bewar
e
of version nu
m
bers from git de
s
c
ribe
commit
|
commitdiff
|
tree
2020-07-14
Akim Demaille
tests:
fix
e
xpectatio
n
s
commit
|
commitdiff
|
tree
2020-07-12
Ak
i
m De
m
aille
doc
:
ma
k
einfo wants @arrow{}
,
not @arr
o
w
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
gnulib: up
d
ate
commit
|
commitdiff
|
tree
2020-07-11
A
kim Demail
l
e
cex: prefer → to :
:
=
commit
|
commitdiff
|
tree
2020-07-11
Akim Dem
a
ille
style: cex: prefer
t
he array not
a
t
ion
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
style: cex: remove v
a
riables that don't make it simpler
.
.
.
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
bist
r
omathic: d
e
monstr
a
te caret-diagno
s
tics
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
bistromathic: do not display parse errors on comple
t
ion
commit
|
commitdiff
|
tree
2020-07-11
Akim Dem
a
ille
bistromathic
:
don't stup
i
dly
r
e
s
et
t
he loca
t
ion
f
or
.
.
.
commit
|
commitdiff
|
tree
2020-07-11
Akim Dem
a
ille
bistroma
t
h
ic: promote y
y
tok
e
n_k
i
nd_
t
commit
|
commitdiff
|
tree
2020-07-11
A
k
im Demai
l
le
html: capitalize
titles
commit
|
commitdiff
|
tree
2020-07-11
A
k
im De
m
aille
html: don
'
t
d
efine several ti
m
es the sa
m
e a
n
chors
commit
|
commitdiff
|
tree
2020-07-11
Akim
De
m
aille
html: sim
p
lify
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
r
eports: let
h
tml r
e
p
orts c
a
tch up wi
t
h --report and
.
.
.
commit
|
commitdiff
|
tree
2020-07-11
A
kim De
m
aille
reports: l
e
t xml
r
eports catch up with --report and
.
.
.
commit
|
commitdiff
|
tree
2020-07-11
A
k
im Demaille
reports: update ht
m
l oup
u
t
commit
|
commitdiff
|
tree
2020-07-11
Akim Demaille
te
s
ts: check
h
tml
commit
|
commitdiff
|
tree
2020-07-11
Akim
D
e
m
a
ille
style
:
fact
o
r complex
e
xpressions
commit
|
commitdiff
|
tree
2020-07-11
Akim Demai
l
le
maint: make it easi
e
r to
update expect
a
tions
commit
|
commitdiff
|
tree
2020-07-09
Akim Demaille
m
a
int: post-release administrivia
commit
|
commitdiff
|
tree
2020-07-09
Akim
De
m
aille
versio
n
3
.
6
.
91
commit
|
commitdiff
|
tree
2020-07-09
Akim D
e
maille
ne
w
s: update
commit
|
commitdiff
|
tree
2020-07-09
Akim
Demaille
gnulib: update
commit
|
commitdiff
|
tree
2020-07-08
Aki
m
Demaille
e
x
amples:
a
dd li
c
e
nse
he
a
de
r
s
commit
|
commitdiff
|
tree
2020-07-05
Akim
D
emaille
style: update
c
omments
commit
|
commitdiff
|
tree
2020-07-05
Ak
i
m
Demaille
style:
u
pdate comm
e
nts
i
n
the skeletons
commit
|
commitdiff
|
tree
2020-07-05
Ak
i
m Dem
a
i
l
l
e
d
o
c: more det
a
ils about
sy
m
bols in m4
commit
|
commitdiff
|
tree
2020-07-05
Akim Demaille
regen
commit
|
commitdiff
|
tree
2020-07-05
Akim
Dema
i
lle
examples: in
c
lude
the generated
h
e
a
der
commit
|
commitdiff
|
tree
2020-07-04
Akim Dema
i
lle
m
a
i
nt: post-release a
d
ministrivi
a
commit
|
commitdiff
|
tree
2020-07-04
A
k
im Demaille
ver
s
ion 3
.
6
.
90
commit
|
commitdiff
|
tree
2020-07-04
Akim Demaille
new
s
: update
commit
|
commitdiff
|
tree
2020-07-04
Akim Demai
l
le
p
ackage:
fix syntax-check errors
commit
|
commitdiff
|
tree
2020-07-04
Akim Demai
l
l
e
gnulib:
update
commit
|
commitdiff
|
tree
2020-07-04
Akim
Demaille
cex: give mor
e
details abou
t
-Wcex an
d
-rcex
commit
|
commitdiff
|
tree
2020-07-03
Akim Dem
a
ille
n
ews: update
commit
|
commitdiff
|
tree
2020-07-03
Akim
D
emaille
dot:
a
ls
o
use
a
d
o
t in the outpu
t
commit
|
commitdiff
|
tree
2020-07-02
Akim Demaille
d
oc: improve
a
sen
t
ence
commit
|
commitdiff
|
tree
2020-07-01
Ak
i
m Demaille
news
:
form
a
tting
changes
commit
|
commitdiff
|
tree
2020-07-01
Akim Demaille
news, todo: update
commit
|
commitdiff
|
tree
2020-06-30
A
k
im Dema
i
lle
doc: clarify
t
hat t
h
e
p
c
onte
x
t
int
e
rface is
*
.
c only
commit
|
commitdiff
|
tree
2020-06-30
A
k
im De
m
aille
doc: use color in the cex examples
commit
|
commitdiff
|
tree
2020-06-30
Akim Demail
l
e
d
oc
:
r
epai
r
t
he references to t
h
e
Bi
b
li
o
gr
a
phy
commit
|
commitdiff
|
tree
2020-06-30
V
incent
I
mbi
m
bo
doc: cex documentati
o
n
commit
|
commitdiff
|
tree
2020-06-30
Akim Demaille
doc: upda
t
e
Doxygen template file
commit
|
commitdiff
|
tree
2020-06-29
Akim De
m
ai
l
le
yac
c
.
c: push: don't c
l
ea
r
t
h
e pa
r
ser state when
a
ccepting
.
.
.
commit
|
commitdiff
|
tree
2020-06-29
A
k
i
m
D
ema
i
lle
bistromathic: don't display und
e
fi
n
ed locations
commit
|
commitdiff
|
tree
2020-06-29
Aki
m
Demail
l
e
yacc
.
c: s
i
mpli
f
y initialization of p
u
sh parsers
commit
|
commitdiff
|
tree
2020-06-29
Akim
D
emaille
rege
n
commit
|
commitdiff
|
tree
2020-06-29
Akim Demaille
yacc
.
c: declare and i
n
it
i
alize an
d
t
h
e
s
am
e
time
commit
|
commitdiff
|
tree
2020-06-29
Akim De
m
aille
yacc
.
c: style chan
g
es in
p
u
s
h mode
commit
|
commitdiff
|
tree
2020-06-29
Akim
Demaille
yacc
.
c:
s
i
m
plify yypull_
p
arse
commit
|
commitdiff
|
tree
2020-06-29
Akim D
e
maille
doc: tidy
the text fil
e
s
commit
|
commitdiff
|
tree
2020-06-29
A
k
im De
m
aille
bench:
s
im
p
l
ify t
h
e
`ran
d
` target
commit
|
commitdiff
|
tree
next