(WIP) continued dyck words & Warshall algorithm
Dyck words example completed (thanks to Martin)
new example: Warshall algorithm
fix the TPTP TFA drivers
fix the pretty-printing of custom reals in TPTP
fix the fix in e548a9c5d
Number: always print something after the decimal point
WhyML: marks are ghost
Check for executable code
Remove some TODOs in Mlw_exec
Check if executable for Earrow
Remove some unused functions and opens
Finish the non-executable checking