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
Track ocaml version
2018-04-28
malc
Track ocaml
v
e
r
s
ion
commit
|
commitdiff
|
tree
2018-04-28
malc
L
e
galese
commit
|
commitdiff
|
tree
2018-04-28
malc
Weird
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
Sync with
upstream
commit
|
commitdiff
|
tree
2018-04-27
malc
S
h
uff
l
e
commit
|
commitdiff
|
tree
2018-04-27
malc
I
nline now
commit
|
commitdiff
|
tree
2018-04-27
m
alc
Use oc
a
m
l
as
a
su
b
stitute f
o
r bc
commit
|
commitdiff
|
tree
2018-04-27
malc
This is
bash
commit
|
commitdiff
|
tree
2018-04-27
m
alc
Caching
commit
|
commitdiff
|
tree
2018-04-27
malc
Prope
r
indentati
o
n
commit
|
commitdiff
|
tree
2018-04-27
malc
U
pdate
commit
|
commitdiff
|
tree
2018-04-27
m
a
l
c
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
m
a
lc
Avoid
m
entioning revision t
w
ice
commit
|
commitdiff
|
tree
2018-04-26
ma
l
c
Crude but works
commit
|
commitdiff
|
tree
2018-04-26
malc
Only output
r
e
l
evant parts of digest
commit
|
commitdiff
|
tree
2018-04-26
m
alc
Restore true
out-of-
t
reeness
commit
|
commitdiff
|
tree
2018-04-25
m
a
l
c
Ad
d
U+21
9
2
commit
|
commitdiff
|
tree
2018-04-25
malc
Pla
i
n CR
C
s
hould be enoug
h
commit
|
commitdiff
|
tree
2018-04-25
malc
No idea
commit
|
commitdiff
|
tree
2018-04-25
ma
l
c
Suppress di
g
esting err
o
r output
commit
|
commitdiff
|
tree
2018-04-25
mal
c
Sprinkle w
i
t
h
some locals
commit
|
commitdiff
|
tree
2018-04-24
malc
Cosme
t
ics
commit
|
commitdiff
|
tree
2018-04-23
malc
Of
f
by one
commit
|
commitdiff
|
tree
2018-04-23
malc
C
o
smetic
s
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Whoops
commit
|
commitdiff
|
tree
2018-04-23
malc
Don't hammer
p
oor
c
onstraine
d
A
WS
commit
|
commitdiff
|
tree
2018-04-23
malc
Whoops
commit
|
commitdiff
|
tree
2018-04-23
malc
N
o
id
e
a
commit
|
commitdiff
|
tree
2018-04-23
malc
Updat
e
consi
s
tentl
y
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
U
p
da
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
U
s
e
gi
t
h
u
b
mirror
commit
|
commitdiff
|
tree
2018-04-23
malc
P
a
p
e
r over
commit
|
commitdiff
|
tree
2018-04-23
malc
Ch
a
nge digest
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Se
t
tle on CRC for now
commit
|
commitdiff
|
tree
2018-04-23
malc
Topy
commit
|
commitdiff
|
tree
2018-04-23
malc
Naming
commit
|
commitdiff
|
tree
2018-04-23
malc
Safety rename
commit
|
commitdiff
|
tree
2018-04-23
malc
Better
commit
|
commitdiff
|
tree
2018-04-23
malc
Save thos
e
l
i
nes
commit
|
commitdiff
|
tree
2018-04-23
malc
Napoleon failed
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Don't li
e
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Fi
x
out-of-treeness
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Shrug
commit
|
commitdiff
|
tree
2018-04-23
malc
A
n
other
s
mal
l
s
tep towards gene
r
icit
y
commit
|
commitdiff
|
tree
2018-04-23
malc
Deal with cla
n
g
w
arnings
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
s
h
->bash
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
U
pdate
commit
|
commitdiff
|
tree
2018-04-23
malc
R
e
move zsh workarounds
commit
|
commitdiff
|
tree
2018-04-23
malc
Bas
h
ify bu
i
l
d
.
sh
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Don't lie
commit
|
commitdiff
|
tree
2018-04-23
malc
Kil
l
st
r
a
y
empty line
commit
|
commitdiff
|
tree
2018-04-23
malc
Include
diag
.
h when com
p
ili
n
g
with clang
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Fix u
r
l
commit
|
commitdiff
|
tree
2018-04-23
malc
Move
w
s
el to misc
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
M
o
v
e
x
11 specif
i
cs
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Move
commit
|
commitdiff
|
tree
2018-04-23
malc
Avoid excessive diges
t
ing
commit
|
commitdiff
|
tree
2018-04-22
malc
C
osmetics
commit
|
commitdiff
|
tree
2018-04-22
mal
c
Whoops
commit
|
commitdiff
|
tree
2018-04-22
malc
Exploit awesom
e
ne
s
s of
bui
l
d
.
s
h more
commit
|
commitdiff
|
tree
2018-04-22
malc
Die
commit
|
commitdiff
|
tree
2018-04-22
malc
Exploit the po
w
er
of buil
d
.
s
h
commit
|
commitdiff
|
tree
2018-04-21
ma
l
c
Cosmeti
c
s
commit
|
commitdiff
|
tree
2018-04-21
malc
Nomenclatu
r
e
commit
|
commitdiff
|
tree
2018-04-21
m
a
lc
Bail out if ocaml
co
m
pilation fails
commit
|
commitdiff
|
tree
2018-04-21
malc
Transitive rebuilding
commit
|
commitdiff
|
tree
2018-04-21
malc
Don't
overdo i
t
commit
|
commitdiff
|
tree
2018-04-20
ma
l
c
Address #7
6
commit
|
commitdiff
|
tree
2018-04-20
malc
S
ync with
u
pst
r
eam
commit
|
commitdiff
|
tree
2018-04-20
malc
Add diacri
t
ical prob
l
e
m
commit
|
commitdiff
|
tree
2018-04-20
m
a
lc
Better
commit
|
commitdiff
|
tree
2018-04-20
malc
Initial
commit
|
commitdiff
|
tree
2018-04-20
mal
c
Sync with u
p
stream
commit
|
commitdiff
|
tree
2018-04-20
m
alc
vecho workaround f
o
r bash
commit
|
commitdiff
|
tree
2018-04-20
mal
c
P
roperly ha
n
dle l
a
ck of
git tree whe
n
computing ver
commit
|
commitdiff
|
tree
2018-04-20
malc
Cosmetics
commit
|
commitdiff
|
tree
2018-04-20
malc
S
implify
commit
|
commitdiff
|
tree
2018-04-19
mal
c
Update
commit
|
commitdiff
|
tree
2018-04-19
m
a
l
c
Do
n
't
b
e
annoying (should o
n
ly concern
users with a
.
.
.
commit
|
commitdiff
|
tree
2018-04-19
malc
Expan
d
commit
|
commitdiff
|
tree
2018-04-18
m
a
lc
Change to
t
he directory that contai
n
s boo
t
stra
p
.
s
h
commit
|
commitdiff
|
tree
2018-04-17
ma
l
c
Capi
t
alization
commit
|
commitdiff
|
tree
2018-04-17
malc
Consi
s
ten
c
y
commit
|
commitdiff
|
tree
2018-04-17
malc
Update
commit
|
commitdiff
|
tree
2018-04-17
m
a
lc
Upd
a
te
commit
|
commitdiff
|
tree
2018-04-17
mal
c
_G
N
U_SO
U
RCE
i
s now de
f
ined in build
.
sh
commit
|
commitdiff
|
tree
2018-04-17
mal
c
No readlink
on MacOS it see
m
s
commit
|
commitdiff
|
tree
2018-04-17
malc
Initial
commit
|
commitdiff
|
tree
2018-04-17
malc
Bootst
r
a
p
i
ng
commit
|
commitdiff
|
tree
2018-04-17
malc
Another atte
m
pt to resurec
t
it
commit
|
commitdiff
|
tree
2018-04-16
malc
Update
commit
|
commitdiff
|
tree
2018-04-14
mal
c
Fitz leaks sig
s
et
j
mp
wh
i
ch is only a
v
ailable under
.
.
.
commit
|
commitdiff
|
tree
next