repo.or.cz
/
llpp.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Hmmm..
2018-05-01
malc
Hmmm
.
.
commit
|
commitdiff
|
tree
2018-05-01
malc
Update
commit
|
commitdiff
|
tree
2018-05-01
m
a
l
c
Sh
u
f
fle
commit
|
commitdiff
|
tree
2018-04-30
m
a
lc
Dog
commit
|
commitdiff
|
tree
2018-04-30
malc
Remove r
e
du
n
dant
mkdir
commit
|
commitdiff
|
tree
2018-04-30
malc
Make p
p
x thing
s
"i
n
tuitive"
commit
|
commitdiff
|
tree
2018-04-30
mal
c
PPX experi
m
en
t
commit
|
commitdiff
|
tree
2018-04-30
malc
Prop
e
r path to past
commit
|
commitdiff
|
tree
2018-04-29
ma
l
c
Expand
commit
|
commitdiff
|
tree
2018-04-29
malc
Upd
a
te
commit
|
commitdiff
|
tree
2018-04-29
ma
l
c
Up
d
ate
commit
|
commitdiff
|
tree
2018-04-29
malc
Dee
p
o
u
t-of-tre
e
commit
|
commitdiff
|
tree
2018-04-28
malc
Clarify
commit
|
commitdiff
|
tree
2018-04-28
mal
c
No more
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
Update
commit
|
commitdiff
|
tree
2018-04-28
malc
Up
d
ate
commit
|
commitdiff
|
tree
2018-04-28
malc
Apter
v
ersion tr
a
cking
commit
|
commitdiff
|
tree
2018-04-28
m
a
lc
Dances aroun
d
l
ack of loc
a
l
ocaml
commit
|
commitdiff
|
tree
2018-04-28
malc
Naming
commit
|
commitdiff
|
tree
2018-04-28
m
a
l
c
Track ocaml version
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
Legalese
commit
|
commitdiff
|
tree
2018-04-28
malc
Weird
commit
|
commitdiff
|
tree
2018-04-28
malc
Sync with upstream
commit
|
commitdiff
|
tree
2018-04-27
malc
Sh
u
f
fle
commit
|
commitdiff
|
tree
2018-04-27
m
a
lc
Inline
now
commit
|
commitdiff
|
tree
2018-04-27
malc
Use ocaml as a sub
s
ti
t
ute for
bc
commit
|
commitdiff
|
tree
2018-04-27
malc
This is bash
commit
|
commitdiff
|
tree
2018-04-27
malc
Caching
commit
|
commitdiff
|
tree
2018-04-27
malc
P
roper indentation
commit
|
commitdiff
|
tree
2018-04-27
malc
Update
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
malc
Av
o
id
m
ent
i
oning revision tw
i
ce
commit
|
commitdiff
|
tree
2018-04-26
ma
l
c
Crude but
work
s
commit
|
commitdiff
|
tree
2018-04-26
malc
Onl
y
output
r
elevant parts
of dige
s
t
commit
|
commitdiff
|
tree
2018-04-26
m
a
l
c
Restore
t
r
u
e out-of
-
treeness
commit
|
commitdiff
|
tree
2018-04-25
malc
Add U+2192
commit
|
commitdiff
|
tree
2018-04-25
malc
P
lain CRC shou
l
d
b
e
enou
g
h
commit
|
commitdiff
|
tree
2018-04-25
m
a
lc
No ide
a
commit
|
commitdiff
|
tree
2018-04-25
malc
Suppress digesting err
o
r output
commit
|
commitdiff
|
tree
2018-04-25
m
a
l
c
Spr
i
nkle w
i
th
some l
o
cals
commit
|
commitdiff
|
tree
2018-04-24
malc
Cosmet
i
c
s
commit
|
commitdiff
|
tree
2018-04-23
malc
Off by
o
ne
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Cosmetics
commit
|
commitdiff
|
tree
2018-04-23
malc
Upda
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
W
ho
o
ps
commit
|
commitdiff
|
tree
2018-04-23
malc
D
o
n't hammer poor const
r
aine
d
AWS
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Whoo
p
s
commit
|
commitdiff
|
tree
2018-04-23
m
alc
No idea
commit
|
commitdiff
|
tree
2018-04-23
malc
Update co
n
s
istently
commit
|
commitdiff
|
tree
2018-04-23
malc
U
pdate
commit
|
commitdiff
|
tree
2018-04-23
malc
U
pdate
commit
|
commitdiff
|
tree
2018-04-23
malc
Use github mirror
commit
|
commitdiff
|
tree
2018-04-23
malc
Pape
r
over
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Ch
a
nge
d
i
g
est
commit
|
commitdiff
|
tree
2018-04-23
malc
Settle on CRC for
n
o
w
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Topy
commit
|
commitdiff
|
tree
2018-04-23
malc
Na
m
ing
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
S
afe
t
y re
n
ame
commit
|
commitdiff
|
tree
2018-04-23
malc
Be
t
te
r
commit
|
commitdiff
|
tree
2018-04-23
malc
S
ave th
o
se
lines
commit
|
commitdiff
|
tree
2018-04-23
malc
Napo
l
eon
f
ailed
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Upd
a
te
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Don't lie
commit
|
commitdiff
|
tree
2018-04-23
malc
F
i
x
out-of-treeness
commit
|
commitdiff
|
tree
2018-04-23
malc
Shrug
commit
|
commitdiff
|
tree
2018-04-23
malc
A
nother
s
mall step towards
genericity
commit
|
commitdiff
|
tree
2018-04-23
malc
Dea
l
with clang warn
i
n
g
s
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Up
d
ate
commit
|
commitdiff
|
tree
2018-04-23
malc
sh
-
>bash
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Remo
v
e
z
sh workaro
u
nds
commit
|
commitdiff
|
tree
2018-04-23
malc
Bashify build
.
sh
commit
|
commitdiff
|
tree
2018-04-23
malc
Don't lie
commit
|
commitdiff
|
tree
2018-04-23
malc
Kill
stray empty line
commit
|
commitdiff
|
tree
2018-04-23
malc
In
c
lud
e
diag
.
h whe
n
compiling with clang
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Fi
x
url
commit
|
commitdiff
|
tree
2018-04-23
malc
Move
wsel to misc
commit
|
commitdiff
|
tree
2018-04-23
malc
Move x11 speci
f
ics
commit
|
commitdiff
|
tree
2018-04-23
malc
Move
commit
|
commitdiff
|
tree
2018-04-23
m
alc
A
v
oid excessiv
e
diges
t
ing
commit
|
commitdiff
|
tree
2018-04-22
ma
l
c
Cosmetics
commit
|
commitdiff
|
tree
2018-04-22
malc
Whoops
commit
|
commitdiff
|
tree
2018-04-22
m
a
lc
Exploit a
w
es
o
meness of buil
d
.
sh more
commit
|
commitdiff
|
tree
2018-04-22
Malte Tammena
Fix opening
ce
r
tain
files with abso
l
ute path
commit
|
commitdiff
|
tree
2018-04-22
Malte Ta
m
mena
F
ix inotify for
certa
i
n fil
e
names
commit
|
commitdiff
|
tree
2018-04-22
mal
c
D
i
e
commit
|
commitdiff
|
tree
2018-04-22
m
a
lc
Exploit the
power of build
.
sh
commit
|
commitdiff
|
tree
2018-04-21
malc
Cosmet
i
cs
commit
|
commitdiff
|
tree
2018-04-21
malc
Nomenc
l
ature
commit
|
commitdiff
|
tree
2018-04-21
m
a
lc
B
a
il out if ocaml compil
a
tion f
a
ils
commit
|
commitdiff
|
tree
2018-04-21
malc
Transitive
rebuilding
commit
|
commitdiff
|
tree
2018-04-21
m
a
l
c
Do
n
't o
v
erdo it
commit
|
commitdiff
|
tree
2018-04-20
mal
c
Add
r
ess
#76
commit
|
commitdiff
|
tree
2018-04-20
malc
S
y
nc with
upstre
a
m
commit
|
commitdiff
|
tree
2018-04-20
malc
Add diacr
i
tical proble
m
commit
|
commitdiff
|
tree
2018-04-20
malc
B
e
tter
commit
|
commitdiff
|
tree
next