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
Change state from record with mutable fields to module with refs
2021-05-23
ma
l
c
Change st
a
te from record
w
ith mutable fields to
m
odule
.
.
.
commit
|
commitdiff
|
tree
2021-05-23
ma
l
c
Slipped thro
u
gh the cracks
commit
|
commitdiff
|
tree
2021-05-23
malc
Continue fighti
n
g imp
l
icit creati
o
n
o
f com
p
iled interface
.
.
.
commit
|
commitdiff
|
tree
2021-05-23
malc
Do
n
ot
use, no longer
e
xis
t
i
ng,
-layout-
h
eig
h
t
arg
u
ment
commit
|
commitdiff
|
tree
2021-05-23
malc
Ma
k
e
s
u
re
there ar
e
n
o
progress indicator remn
a
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2021-05-23
malc
Take layout defaults
f
rom
m
up
d
f
commit
|
commitdiff
|
tree
2021-05-23
malc
C
h
ange reflowable
l
a
yo
u
t handling
commit
|
commitdiff
|
tree
2021-05-23
malc
R
e
move remnants of home
r
ow remapping attempt
commit
|
commitdiff
|
tree
2021-05-22
malc
Cosmetics
commit
|
commitdiff
|
tree
2021-05-22
m
a
l
c
A
ll
o
w setting all fz_la
y
out_docum
e
nt arguments on the
.
.
.
commit
|
commitdiff
|
tree
2021-05-02
malc
Re
m
ove opaq
u
e<-
>
str
i
ng opera
t
or
s
commit
|
commitdiff
|
tree
2021-05-02
m
alc
Add "interestin
g
" sequen
c
e of letters
commit
|
commitdiff
|
tree
2021-05-02
malc
Use helper fun
c
tion
s
to extract
p
age numb
e
rs from uris
commit
|
commitdiff
|
tree
2021-04-28
malc
Another kerni
n
g
s
a
mple
commit
|
commitdiff
|
tree
2021-04-19
malc
Av
o
i
d extra l
e
ad
i
ng space in case of empty include
.
.
.
commit
|
commitdiff
|
tree
2021-04-19
malc
Add i
n
terf
a
ce for util
s
module
commit
|
commitdiff
|
tree
2021-04-18
malc
Do not a
d
d $outd/ pre
f
ix t
o
ocaml module
s
whi
l
e generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2021-04-17
m
a
lc
Comment on parallelism t
o
do
entry
commit
|
commitdiff
|
tree
2021-04-17
malc
Fix
makefile gener
a
tio
n
commit
|
commitdiff
|
tree
2021-04-17
malc
S
ync with ups
t
ream
commit
|
commitdiff
|
tree
2021-04-16
m
a
lc
F
ix dependency
regression intro
d
uced in c6fc00b5e88813e
0
510b
.
.
.
commit
|
commitdiff
|
tree
2021-04-16
ma
l
c
Fix types
commit
|
commitdiff
|
tree
2021-04-16
malc
Trim autogenerated
uiutils
i
nt
e
rfac
e
by h
a
nd
commit
|
commitdiff
|
tree
2021-04-16
malc
Consi
s
tency
commit
|
commitdiff
|
tree
2021-04-16
malc
Remove
tautological interface
commit
|
commitdiff
|
tree
2021-04-16
malc
Com
m
ent on the t
r
icky
parts of the script
commit
|
commitdiff
|
tree
2021-04-16
malc
Refacto
r
flat
t
en
commit
|
commitdiff
|
tree
2021-04-16
m
a
lc
Remove unused loc
a
l
commit
|
commitdiff
|
tree
2021-04-16
malc
Move early exit to bocaml
commit
|
commitdiff
|
tree
2021-04-16
malc
Build system wor
k
commit
|
commitdiff
|
tree
2021-04-15
ma
l
c
M
a
ke wocmi
l
ocal
commit
|
commitdiff
|
tree
2021-04-15
ma
l
c
Cosm
e
tics
commit
|
commitdiff
|
tree
2021-04-15
malc
Remove,
w
hat appea
r
s to be, ove
r
c
au
t
i
ous
$
ord access
commit
|
commitdiff
|
tree
2021-04-15
m
alc
Move timin
g
out o
f
b
ui
l
d
.
ba
s
h
commit
|
commitdiff
|
tree
2021-04-14
m
alc
R
e
move st
r
ay spa
c
e
commit
|
commitdiff
|
tree
2021-04-14
malc
P
p
x
e
xperiment will l
i
ve
o
n in h
i
story (but n
o
t
i
n
.
.
.
commit
|
commitdiff
|
tree
2021-04-14
malc
C
hange
compi
l
a
t
ion
strategy
commit
|
commitdiff
|
tree
2021-04-14
m
alc
ppx ex
p
eriment
commit
|
commitdiff
|
tree
2021-04-11
malc
Remove un
u
sed types
commit
|
commitdiff
|
tree
2021-04-10
m
a
lc
Cosmetics
commit
|
commitdiff
|
tree
2021-04-10
malc
Remove r
e
mnants
of PBO support
commit
|
commitdiff
|
tree
2021-04-10
ma
l
c
More consistent (
l
ack of) quoting
commit
|
commitdiff
|
tree
2021-04-10
malc
Merge bocam
l
1 and 2
commit
|
commitdiff
|
tree
2021-04-10
malc
M
o
ve
.
cmi ->
.
cmo
logic to b
o
caml
commit
|
commitdiff
|
tree
2021-04-09
m
a
lc
D
o not includie same directory multiple ti
m
es
commit
|
commitdiff
|
tree
2021-04-05
malc
Cosmetics
commit
|
commitdiff
|
tree
2021-04-05
m
a
lc
C
o
ns
i
st
e
ncy
commit
|
commitdiff
|
tree
2021-04-04
m
a
lc
Sim
p
lif
y
exit tra
p
commit
|
commitdiff
|
tree
2021-04-04
malc
R
emove stray sem
i
colon
commit
|
commitdiff
|
tree
2021-04-04
m
a
lc
Show l
a
st exi
t
code on
fai
l
ure
commit
|
commitdiff
|
tree
2021-03-28
m
alc
R
e
factor (objective)c compila
t
ion
commit
|
commitdiff
|
tree
2021-03-27
malc
Use
b
ashe
s
regu
l
ar ex
p
r
e
s
s
i
on
m
at
c
hin
g
operator i
n
s
t
ead
.
.
.
commit
|
commitdiff
|
tree
2021-03-27
malc
Do n
o
t
m
ix loc
a
l
ass
i
gnment
w
ith comman
d
s
ubs
t
itut
i
on
commit
|
commitdiff
|
tree
2021-03-27
malc
Reset
rects
1
when searc
h
is invoked
commit
|
commitdiff
|
tree
2021-03-27
malc
In
c
lu
d
e
p
a
t
hs safety
net
a
n
d
"
loc
a
l" workaro
u
nd
commit
|
commitdiff
|
tree
2021-03-27
malc
Ch
a
n
ge get
l
inkn
commit
|
commitdiff
|
tree
2021-03-27
m
a
l
c
Cosmetic
s
commit
|
commitdiff
|
tree
2021-03-27
malc
Consistent
l
y uses shor
t
est match substitutions
commit
|
commitdiff
|
tree
2021-03-27
malc
see
n
/
o
rd dichotomy
commit
|
commitdiff
|
tree
2021-03-26
malc
Avoid doing w
o
rk in a pipe
commit
|
commitdiff
|
tree
2021-03-26
malc
Another "time of check
t
i
me of use" insta
n
ce
commit
|
commitdiff
|
tree
2021-03-26
mal
c
Chan
g
e the way
o
rdered
module
list is used
commit
|
commitdiff
|
tree
2021-03-26
m
alc
R
epl
a
ce
h
ome grow
n
getoptdef with O
p
tion
.
value
commit
|
commitdiff
|
tree
2021-03-24
malc
Paperbag
commit
|
commitdiff
|
tree
2021-03-24
malc
Revert "Create ordered mod
u
le list with
o
ut grep and
.
.
.
commit
|
commitdiff
|
tree
2021-03-24
malc
Create
o
rdered mod
u
le list
w
ithout gr
e
p and an external
.
.
.
commit
|
commitdiff
|
tree
2021-03-24
malc
Consistent quoting
f
or vecho argumen
t
s
commit
|
commitdiff
|
tree
2021-03-24
mal
c
A
r
guably le
s
s
o
b
fuscated wa
y
to
obtain C compil
e
r version
commit
|
commitdiff
|
tree
2021-03-24
malc
Mak
e
th
i
n
g
s
e
asi
e
r to follow
commit
|
commitdiff
|
tree
2021-03-24
ma
l
c
Simplif
y
commit
|
commitdiff
|
tree
2021-03-24
malc
Use if C
O
ND (in
s
t
e
ad of ! COND || EXPR) w
h
ere it
ma
k
es
.
.
.
commit
|
commitdiff
|
tree
2021-03-24
malc
Make
.
mli -
>
.
ml handling
m
ore explicit
commit
|
commitdiff
|
tree
2021-03-24
mal
c
More precise include p
a
ths
commit
|
commitdiff
|
tree
2021-03-24
m
a
lc
Rejig gene
r
ation of include paths
commit
|
commitdiff
|
tree
2021-03-23
malc
Update
commit
|
commitdiff
|
tree
2021-03-23
mal
c
Add l
i
nk
t
o
kbuil
d
'
s d
o
c
umentation
commit
|
commitdiff
|
tree
2021-03-22
malc
Qualif
y
commit
|
commitdiff
|
tree
2021-03-22
malc
Mark
o
ut-of-tree bu
i
lds as do
n
e
commit
|
commitdiff
|
tree
2021-03-22
malc
Menti
o
n out-of
-
tree buil
d
s
commit
|
commitdiff
|
tree
2021-03-22
malc
build
.
bash
commit
|
commitdiff
|
tree
2021-03-22
malc
Shellol
o
gy
commit
|
commitdiff
|
tree
2021-03-22
malc
Make confstruct ha
n
dling explicit
commit
|
commitdiff
|
tree
2021-03-22
malc
C
leanu
p
commit
|
commitdiff
|
tree
2021-03-21
malc
Rew
o
rd com
m
ent
commit
|
commitdiff
|
tree
2021-03-21
malc
D
o not
ma
k
e ocaml dep
e
nde
n
cy list d
e
pend on
t
he
o
u
tput
commit
|
commitdiff
|
tree
2021-03-21
mal
c
Fix (
o
ne
f
acet)
of
w
si
.
wli issues
commit
|
commitdiff
|
tree
2021-03-20
malc
R
e
n
ame
MacOS
guard
commit
|
commitdiff
|
tree
2021-03-19
malc
Rephras
e
commit
|
commitdiff
|
tree
2021-03-19
m
a
lc
Reph
r
ase
commit
|
commitdiff
|
tree
2021-03-19
malc
Remove
commit
|
commitdiff
|
tree
2021-03-19
malc
A
d
d rational
e
for build
.
bash
commit
|
commitdiff
|
tree
2021-03-19
m
alc
Add a kerning showcase
commit
|
commitdiff
|
tree
2021-03-17
malc
Remove u
n
u
sed bo_
u
sable
commit
|
commitdiff
|
tree
2021-03-11
malc
Rephrase
commit
|
commitdiff
|
tree
2021-03-11
mal
c
Deviate
f
r
om
B
SD err(3) behavior
(
p
a
ss errno value
.
.
.
commit
|
commitdiff
|
tree
2021-03-11
m
a
lc
Use correct erro
r
re
p
orting
function
commit
|
commitdiff
|
tree
2021-03-11
malc
E
x
p
a
nd
commit
|
commitdiff
|
tree
2021-03-11
mal
c
Consist
e
n
c
y
commit
|
commitdiff
|
tree
2021-03-11
malc
Remov
e
(special)
z
e
ro read/write handli
n
g/reporting
commit
|
commitdiff
|
tree
2021-03-01
malc
Do not
u
se printd to report error
s
in the main thread
commit
|
commitdiff
|
tree
next