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
Alessio Chiappe
r
i
n
i
Ex
p
licitly write out
i
nference rule f
o
r
.
c
.
o
commit
|
commitdiff
|
tree
2022-05-03
Ales
s
io Chiappe
r
ini
Update sc
a
n-build wrapper sc
r
ipt
commit
|
commitdiff
|
tree
2022-05-03
Alessio
Ch
i
apperini
F
i
x
sh
e
llc
h
eck errors/warnin
g
s
commit
|
commitdiff
|
tree
2022-04-01
Al
e
ssio Chiapperini
Upd
a
te mailing list
commit
|
commitdiff
|
tree
2021-12-03
Alessio Chiap
p
erini
Add Contributing and
Licens
e
s
e
ctions in R
E
ADME
.
md
commit
|
commitdiff
|
tree
2021-11-15
Alessio Chiapperin
i
Merge branch 'mas
t
er' of git
.
sr
.
h
t:~spidernet/pp
commit
|
commitdiff
|
tree
2021-11-15
Alessio
C
h
i
apperini
Use co
m
mon (g
c
c
/clang) sec
u
rity
f
la
g
s
commit
|
commitdiff
|
tree
2021-11-14
Al
e
ssio Chiapperi
n
i
Update l
i
c
e
n
se headers to conform to
B
S
D
2-clause
commit
|
commitdiff
|
tree
2021-10-26
Alessio Chi
a
pper
i
ni
A
dd gi
t
i
gno
r
e
commit
|
commitdiff
|
tree