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
Hm
m
m
.
.
commit
|
commitdiff
|
tree
2018-05-01
malc
Update
commit
|
commitdiff
|
tree
2018-05-01
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-30
malc
Do
g
commit
|
commitdiff
|
tree
2018-04-30
malc
R
e
m
o
ve redundant
mkdir
commit
|
commitdiff
|
tree
2018-04-30
m
a
l
c
Ma
k
e ppx t
h
ings "i
n
tuitive"
commit
|
commitdiff
|
tree
2018-04-30
ma
l
c
P
P
X experim
e
nt
commit
|
commitdiff
|
tree
2018-04-30
malc
Proper path t
o
past
commit
|
commitdiff
|
tree
2018-04-29
m
a
lc
Expand
commit
|
commitdiff
|
tree
2018-04-29
ma
l
c
U
pdate
commit
|
commitdiff
|
tree
2018-04-29
malc
Update
commit
|
commitdiff
|
tree
2018-04-29
m
a
lc
Deep
o
u
t-of-tree
commit
|
commitdiff
|
tree
2018-04-28
malc
Clari
f
y
commit
|
commitdiff
|
tree
2018-04-28
malc
No more
commit
|
commitdiff
|
tree
2018-04-28
mal
c
Update
commit
|
commitdiff
|
tree
2018-04-28
m
a
lc
Update
commit
|
commitdiff
|
tree
2018-04-28
malc
Apt
e
r version tracki
n
g
commit
|
commitdiff
|
tree
2018-04-28
malc
Dances around lac
k
of local ocaml
commit
|
commitdiff
|
tree
2018-04-28
malc
Nami
n
g
commit
|
commitdiff
|
tree
2018-04-28
malc
Track ocaml version
commit
|
commitdiff
|
tree
2018-04-28
malc
L
e
galese
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
Weird
commit
|
commitdiff
|
tree
2018-04-28
malc
Syn
c
with upstream
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
malc
Inline now
commit
|
commitdiff
|
tree
2018-04-27
malc
Use oca
m
l as a subs
t
itute for bc
commit
|
commitdiff
|
tree
2018-04-27
malc
This is
b
ash
commit
|
commitdiff
|
tree
2018-04-27
malc
C
aching
commit
|
commitdiff
|
tree
2018-04-27
malc
Proper indentati
o
n
commit
|
commitdiff
|
tree
2018-04-27
malc
Update
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
m
a
lc
A
v
o
i
d mentioning re
v
is
i
on twice
commit
|
commitdiff
|
tree
2018-04-26
m
a
lc
Crude but works
commit
|
commitdiff
|
tree
2018-04-26
m
alc
Only outpu
t
rele
v
ant pa
r
ts of diges
t
commit
|
commitdiff
|
tree
2018-04-26
malc
R
estore
t
rue out-of-treeness
commit
|
commitdiff
|
tree
2018-04-25
malc
Add U+2192
commit
|
commitdiff
|
tree
2018-04-25
m
a
l
c
Plain CRC should be enou
g
h
commit
|
commitdiff
|
tree
2018-04-25
malc
No
i
d
ea
commit
|
commitdiff
|
tree
2018-04-25
malc
Suppress
dig
e
sti
n
g
error output
commit
|
commitdiff
|
tree
2018-04-25
malc
Sprink
l
e with some locals
commit
|
commitdiff
|
tree
2018-04-24
m
a
l
c
Co
s
met
i
cs
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Off by one
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Cosmetics
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
W
h
oop
s
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Don't hammer
poor constrained AWS
commit
|
commitdiff
|
tree
2018-04-23
malc
Wh
o
o
p
s
commit
|
commitdiff
|
tree
2018-04-23
malc
No idea
commit
|
commitdiff
|
tree
2018-04-23
malc
Up
d
ate consistently
commit
|
commitdiff
|
tree
2018-04-23
malc
U
p
dat
e
commit
|
commitdiff
|
tree
2018-04-23
mal
c
U
p
date
commit
|
commitdiff
|
tree
2018-04-23
malc
Use git
h
u
b
mirror
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Paper over
commit
|
commitdiff
|
tree
2018-04-23
malc
Change dige
s
t
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Settle on CRC
for no
w
commit
|
commitdiff
|
tree
2018-04-23
malc
Topy
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Naming
commit
|
commitdiff
|
tree
2018-04-23
malc
Safety rena
m
e
commit
|
commitdiff
|
tree
2018-04-23
malc
B
etter
commit
|
commitdiff
|
tree
2018-04-23
malc
Save
t
hose lines
commit
|
commitdiff
|
tree
2018-04-23
malc
N
a
poleon failed
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Upd
a
te
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Updat
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Don't lie
commit
|
commitdiff
|
tree
2018-04-23
m
alc
F
ix out-of
-
treeness
commit
|
commitdiff
|
tree
2018-04-23
malc
S
h
rug
commit
|
commitdiff
|
tree
2018-04-23
malc
A
nother small ste
p
to
w
a
rds
g
enericity
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Deal w
i
th clang
w
arnings
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
U
p
date
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
sh
-
>bash
commit
|
commitdiff
|
tree
2018-04-23
malc
U
pdate
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Remove zsh wo
r
kar
o
unds
commit
|
commitdiff
|
tree
2018-04-23
malc
Bashif
y
build
.
sh
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Do
n
't lie
commit
|
commitdiff
|
tree
2018-04-23
malc
Kill stray em
p
ty
l
ine
commit
|
commitdiff
|
tree
2018-04-23
m
a
l
c
I
n
clude diag
.
h
w
h
e
n
compiling with cl
a
ng
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
mal
c
U
p
da
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Fix url
commit
|
commitdiff
|
tree
2018-04-23
malc
M
ove wsel to
m
i
sc
commit
|
commitdiff
|
tree
2018-04-23
malc
M
o
ve x11 specifics
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Move
commit
|
commitdiff
|
tree
2018-04-23
malc
Avoid excessiv
e
diges
t
ing
commit
|
commitdiff
|
tree
2018-04-22
malc
C
osmeti
c
s
commit
|
commitdiff
|
tree
2018-04-22
malc
Who
o
p
s
commit
|
commitdiff
|
tree
2018-04-22
malc
Exploit aw
e
someness of buil
d
.
s
h
more
commit
|
commitdiff
|
tree
2018-04-22
Malte Tammena
Fix opening certain files wit
h
absol
u
te path
commit
|
commitdiff
|
tree
2018-04-22
M
alte Tammena
Fix inotify for certain fil
e
names
commit
|
commitdiff
|
tree
2018-04-22
malc
Die
commit
|
commitdiff
|
tree
2018-04-22
mal
c
Exploit th
e
p
o
w
er of build
.
sh
commit
|
commitdiff
|
tree
2018-04-21
malc
C
o
smeti
c
s
commit
|
commitdiff
|
tree
2018-04-21
ma
l
c
Nomenclature
commit
|
commitdiff
|
tree
2018-04-21
m
alc
Bail o
u
t if o
c
aml compilatio
n
fails
commit
|
commitdiff
|
tree
2018-04-21
mal
c
T
r
ans
i
tive reb
u
ilding
commit
|
commitdiff
|
tree
2018-04-21
malc
D
on't
o
verdo it
commit
|
commitdiff
|
tree
2018-04-20
m
a
lc
Address
#76
commit
|
commitdiff
|
tree
2018-04-20
ma
l
c
Sync with
u
p
stre
a
m
commit
|
commitdiff
|
tree
2018-04-20
malc
A
d
d
d
iacriti
c
al problem
commit
|
commitdiff
|
tree
2018-04-20
m
alc
Better
commit
|
commitdiff
|
tree
next