Géry Debongnie 286090efca [FIX] tooling: debug tool logged too many scheduler stops ...

This was caused by additional calls to flush (because of connected
components)

closes #533

2019-12-03 15:16:29 +01:00

..

benchmarks

[ADD] tools: add benchmark for 1.0.0-beta1, remove old ones

2019-12-03 09:12:52 +01:00

playground

[ADD] misc: component Portal

2019-12-02 21:04:07 +01:00

debug.js

[FIX] tooling: debug tool logged too many scheduler stops

2019-12-03 15:16:29 +01:00

index.html

[ADD] tools: add benchmark for 1.0.0-beta1, remove old ones

2019-12-03 09:12:52 +01: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