Adding specifications on the lfu interface - #14

Draft

Lucccyo wants to merge 84 commits into

pascutto:mainfrom

Lucccyo:lfu-gospel

Commits on May 23, 2022

initial commit, update Dllist with vector library
Lucccyo
committed
4ce972d

Commits on May 24, 2022

dllist with dynamics arrays -- started
Lucccyo
committed
0f43343

Commits on May 25, 2022

Dllist changed with external contents array
Lucccyo
committed
3b27ee7
new dllist implementation
pascutto
committed
dc078a6
update lfu to work with dllist -> bugs to correct
Lucccyo
committed
a64d09a
add display
Lucccyo
committed
9d1ab1e
wip
pascutto
committed
a290dff

Commits on May 27, 2022

final bugfix
pascutto
committed
f73e068
bug fixed
Lucccyo
committed
bed3a5e
bug fixed
Lucccyo
committed
e30ba01
first commit
Lucccyo
committed
e36e6d3
add pp to bench
Lucccyo
committed
5ec36da
match bench on differents instances id
Lucccyo
committed
90f6491
add mtime lib and counters
Lucccyo
committed
90fc0fe
functorize replay
Lucccyo
committed
1eb7957
cli for replay
Lucccyo
committed
2fd8598

Commits on May 31, 2022

update bench
Lucccyo
committed
cd43db5
add makefile
Lucccyo
committed
dda6030
add makefile
Lucccyo
committed
1804d5c
add libraries in opam file
Lucccyo
committed
9ce2a24
remove cache arg to dune command
Lucccyo
committed
51e661e
change branch name
Lucccyo
committed
a657dd1
:)
Lucccyo
committed
b4f62cd
Merge pull request #3 from Lucccyo/brench
Lucccyo
authored
3c35d5c
test
Lucccyo
committed
36a8dbc
a
Lucccyo
committed
c84b1c0
a
Lucccyo
committed
b9e874d
a
Lucccyo
committed
77679bf
r
Lucccyo
committed
83a108d
a
Lucccyo
committed
4efc89f
k
Lucccyo
committed
a5e7bb5
a
Lucccyo
committed
f2a73dc
c
Lucccyo
committed
c17fa71
c
Lucccyo
committed
e25f73b
p
Lucccyo
committed
1c1ebaa
m
Lucccyo
committed
1fae7f8
lib
Lucccyo
committed
0a8c1f8
az
Lucccyo
committed
ecbb91a
dl external trace
Lucccyo
committed
1cff6f7
test
Lucccyo
committed
545d055
flag
Lucccyo
committed
1781eda
toto
Lucccyo
committed
e7134f8
last tests
Lucccyo
committed
290e191
i
Lucccyo
committed
20a1551
i
Lucccyo
committed
767b73e
i
Lucccyo
committed
187a24f
i
Lucccyo
committed
c5181a1

Commits on Jun 1, 2022

test wget
Lucccyo
committed
d7204b2
test wget
Lucccyo
committed
3096a34
test wget
Lucccyo
committed
52a7617
test wget
Lucccyo
committed
4d0a5c5
test wget
Lucccyo
committed
09ffec2
clean v1
Lucccyo
committed
62a9f41
clean v2
Lucccyo
committed
34e3e0f
clean v2
Lucccyo
committed
3050737
t
Lucccyo
committed
0f50fea
differenciate cache strats
Lucccyo
committed
cde81cd
differenciate cache strats
Lucccyo
committed
b17f3a1
ret
Lucccyo
committed
e1d7416
a
Lucccyo
committed
6c0d2b3
y
Lucccyo
committed
ea69b72
r
Lucccyo
committed
e1d1d25
h
Lucccyo
committed
f5e6037

Commits on Jun 2, 2022

wow
Lucccyo
committed
3d5ca26
o
Lucccyo
committed
1879115
haha
Lucccyo
committed
8391b7b
aleatoire
Lucccyo
committed
489c957
:)
Lucccyo
committed
d4d40ee
:s
Lucccyo
committed
0008efd
>:c <- fâché car pas de glace
Lucccyo
committed
90c26e3
il est triste
Lucccyo
committed
bbc863a
cha
Lucccyo
committed
ec5a052
o
Lucccyo
committed
566735b
youpiii
Lucccyo
committed
1a90cd8
youpi deux
Lucccyo
committed
98ca858
the
Lucccyo
committed
5fe13c3
test
Lucccyo
committed
70b6baf
re
Lucccyo
committed
402f6bc
c
Lucccyo
committed
9e76cbf
c
Lucccyo
committed
20d3afc
end
Lucccyo
committed
d4f8c83
Merge pull request #4 from Lucccyo/brench
Lucccyo
authored
a874f14

Commits on Jun 24, 2022

added first line of gospel in lfu interface
Lucccyo
committed
2ebdff2

Commits on Jun 27, 2022

correct lfu contracts, need to comment Format module use in Stats.mli
Lucccyo
committed
b70a895