repo.or.cz
/
pp.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Explicitly write out inference rule for .c.o
2024-05-28
A
lessi
o
Chiapperini
Exp
l
icit
l
y w
r
i
t
e
o
ut infere
n
ce rule for
.
c
.
o
commit
|
commitdiff
|
tree
2022-05-03
Alessio Chia
p
per
i
n
i
U
p
date s
c
an
-
build w
r
app
e
r script
commit
|
commitdiff
|
tree
2022-05-03
Alessio Chiapperini
Fi
x
she
l
l
c
hec
k
errors/warn
i
ngs
commit
|
commitdiff
|
tree
2022-04-01
Ales
s
io Chiapperini
Upda
t
e
m
a
iling list
commit
|
commitdiff
|
tree
2021-12-03
A
l
e
s
sio
Chiapperini
Add Con
t
ribu
t
ing and Lice
n
se se
c
t
ions
i
n
README
.
md
commit
|
commitdiff
|
tree
2021-11-15
A
lessio Chiap
p
e
rini
Merge
branch 'mas
t
er' of
g
it
.
s
r
.
ht:~
s
pidernet/pp
commit
|
commitdiff
|
tree
2021-11-15
Aless
i
o Chiapp
e
r
ini
Use common (gcc/cla
n
g) security f
l
a
g
s
commit
|
commitdiff
|
tree