Removes exception ParseIntError.
Restores the previous behavior of parseInt that aborts Frama-C in case of
failure.
Renames parseInt_opt into parseIntRes that returns [Error message] in
case of failure.

all lexers now aborts in the same way in case of lexing/parsing error.

David Bühler authored 3 years ago and Virgile Prevosto committed 3 years ago

Removes unused declarations in plugins registration files.

Comments the interface builtins.mli.

Type [cacheable] is now defined in Eval.
Type [call_result] is defined in Builtins.
Changes the type of callbacks Db.Call_Type_Value_Callbacks.

All types and exceptions are now defined in builtins.ml.
All builtins are now registered directly through builtins.ml.
Calls to Db in plugins Aoraï and Metrics are temporarily disabled.