Mnabil has joined #ocaml
gnuvince has quit [Ping timeout: 276 seconds]
emmanuel__ has quit [Quit: emmanuel__]
gnuvince has joined #ocaml
emmanuelux has joined #ocaml
gnuvince has quit [Ping timeout: 252 seconds]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 265 seconds]
ulfdoz_ is now known as ulfdoz
contempt has quit [*.net *.split]
cacho has quit [*.net *.split]
mehdid has quit [*.net *.split]
dgfitch has quit [*.net *.split]
sepp2k has quit [Remote host closed the connection]
contempt has joined #ocaml
cacho has joined #ocaml
mehdid has joined #ocaml
dgfitch has joined #ocaml
emmanuelux has quit [Ping timeout: 245 seconds]
madroach has quit [Ping timeout: 265 seconds]
madroach has joined #ocaml
osa1 has quit [Ping timeout: 245 seconds]
jamii has joined #ocaml
mehdid_ has joined #ocaml
cacho has quit [Ping timeout: 260 seconds]
mehdid has quit [Ping timeout: 260 seconds]
cacho has joined #ocaml
Mnabil has quit [Ping timeout: 256 seconds]
cdidd has quit [Read error: Connection reset by peer]
jamii has quit [Read error: Operation timed out]
ankit9 has joined #ocaml
pango_ has quit [Remote host closed the connection]
eni has joined #ocaml
Cyanure has joined #ocaml
eni has quit [Ping timeout: 248 seconds]
eni has joined #ocaml
eni has quit [Ping timeout: 244 seconds]
osa1 has joined #ocaml
cdidd has joined #ocaml
hto has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
pango has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
scri has quit [Ping timeout: 276 seconds]
patronus_ has joined #ocaml
zzz_ has joined #ocaml
mehdid has joined #ocaml
eikke_ has joined #ocaml
pippijn has joined #ocaml
pippijn has quit [Changing host]
pippijn has joined #ocaml
sivoais_ has joined #ocaml
fx_ has joined #ocaml
fraggle__ has joined #ocaml
mehdid_ has quit [*.net *.split]
eikke has quit [*.net *.split]
sivoais has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
patronus has quit [*.net *.split]
f[x] has quit [*.net *.split]
pippijn_ has quit [*.net *.split]
zzz_` has quit [*.net *.split]
milosn has joined #ocaml
Snark has joined #ocaml
oriba has joined #ocaml
ankit9 has quit [Ping timeout: 256 seconds]
ankit9 has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
milosn_ has joined #ocaml
milosn has quit [Read error: Operation timed out]
Tobu has quit [Remote host closed the connection]
milosn_ has quit [Ping timeout: 240 seconds]
Tobu has joined #ocaml
Yoric has joined #ocaml
eni has joined #ocaml
Mnabil has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
eni_ has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
jathd has joined #ocaml
oriba has quit [Quit: oriba]
gnuvince has joined #ocaml
fraggle_laptop has joined #ocaml
eni has quit [Remote host closed the connection]
eni_ has quit [Remote host closed the connection]
eni has joined #ocaml
Tobu has quit [Remote host closed the connection]
Guest23256 is now known as `micro
Tobu has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
ankit9 has quit [Ping timeout: 244 seconds]
sivoais_ has quit [Quit: leaving]
sivoais has joined #ocaml
jathd has left #ocaml []
ankit9 has joined #ocaml
eni has quit [Ping timeout: 240 seconds]
SanderM has joined #ocaml
eni has joined #ocaml
ankit9 has quit [Quit: Leaving]
gnuvince has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
Znudzon has joined #ocaml
fraggle_laptop has quit [Read error: Connection reset by peer]
gnuvince has joined #ocaml
eni has quit [Ping timeout: 265 seconds]
eni has joined #ocaml
eni has quit [Ping timeout: 260 seconds]
eni has joined #ocaml
eni has quit [Ping timeout: 246 seconds]
madroach has quit [Quit: leaving]
Mnabil has quit [Ping timeout: 272 seconds]
Mnabil has joined #ocaml
madroach has joined #ocaml
madroach has quit [Client Quit]
madroach has joined #ocaml
Anarchos has joined #ocaml
dropdrive has quit [Ping timeout: 248 seconds]
Snark has quit [Quit: Quitte]
Yoric has quit [Ping timeout: 245 seconds]
emmanuelux has joined #ocaml
vext01 has joined #ocaml
<
vext01>
is you needed to time a function call as part of a program, and print the time later, how would you best do this?
<
Anarchos>
hi vext01
<
vext01>
my solution is bad
<
vext01>
and gives for some reason only integral numbers
<
vext01>
let time_before = Unix.time () in
<
vext01>
let status = ppl_MIP_Problem_solve mip in
<
vext01>
let time_after = Unix.time () in
<
vext01>
let time_delta = time_after -. time_before
gnuvince_ has joined #ocaml
<
thizanne>
i had the same problem these days
<
thizanne>
did exactly the same thing
<
thizanne>
embedded in a chrono function it's quite convenient to use
<
thizanne>
but I did not used Unix.time
<
thizanne>
I used Sys.time to be sure that only the time consumed by my program is considered
gnuvince has quit [Ping timeout: 245 seconds]
<
vext01>
I had tried sys.time and got some pretty odd results
Cyanure has quit [Read error: Connection reset by peer]
<
vext01>
thizanne: so what is the solution?
Cyanure has joined #ocaml
sepp2k has joined #ocaml
jmcarthur has joined #ocaml
eni has joined #ocaml
Mnabil has quit [Remote host closed the connection]
gnuvince_ has quit [Ping timeout: 276 seconds]
Cyanure has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 252 seconds]
Anarchos has joined #ocaml
<
wmeyer`>
thelema: the batteries have no problem on ARM. BTW: I didn't check extensively, I might run the tests too
scri has joined #ocaml
eni has quit [Ping timeout: 256 seconds]
SanderM has quit [Remote host closed the connection]
pr has quit [Ping timeout: 276 seconds]
pr has joined #ocaml
avsm has joined #ocaml
scri` has joined #ocaml
scri has quit [Ping timeout: 260 seconds]