turned type_lits into configuration option (with attribute);

removed set_concat_map and improved set_concat

check_deps: ensure that theory is actually present, not just update_time > 1;

tuned order

reoriented hook application order

explicit constants for overloaded definitions

dropped junk

tuned

changed floatarith lemmas

proper signature for Meson;

force: non-critical, but also non-thread-safe (potentially multiple evaluations);

removed dead code;

improved treatment of global interrupts: Thread.EnableBroadcastInterrupt, redefine ignore/raise_interrupt;

removed signal setup from root function to on-entry hook;

global state transformation: non-critical, but also non-thread-safe;

fixed OCaml bug

fixed codegen setup

added evaluation examples

main: wait_timeout (1 second);

tuned comments;

added sendback;

combining the relevance filter with res_atp

combining the relevance filter with res_atp

ATP blacklisting is now in theory data, attribute noatp

added Code_Setup

fixed OCaml bug

tuned

extended

added Eval_Witness theory

updated code generator setup

updated

renamed standard_read_XXX to standard_parse_XXX; added global_read/parse_XXX;