Géry Debongnie 4aea093ed9 [FIX] tools: fix benchmark for v0.24.0 ...

It was not using the correct owl version

2019-11-14 15:51:53 +01:00

..

benchmarks

[FIX] tools: fix benchmark for v0.24.0

2019-11-14 15:51:53 +01:00

playground

[REM] tools: remove error handling in playground

2019-11-13 08:49:25 +01:00

index.html

[ADD] tools: add benchmarks for v0.24.0

2019-10-25 17:17:20 +02:00

main.css

[IMP] tools: improve error message display

2019-06-28 14:54:24 +02:00

server.py

[FIX] benchmarks: two small fixes

2019-06-11 11:29:31 +02:00