(WIP) continued dyck words & Warshall algorithm
Dyck words example completed (thanks to Martin)
new example: Warshall algorithm
Add a .merlin
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
Add a syntax for array.Array.self_blit
Add a syntax for io.StdIO.{flushed,current_line,cur_pos,cur_linenum}
Add syntax for map.Map.{get,set,const}
Fix Mlw_exec.get_non_exec_logic_idents
Improve the error message in case of a non-executable logical term in programs
Remove an useless case for %old (now ghost)