Merge branch 'master' into 'main'

ecomp

expr_grammar_action.g

src/ast.ml

src/cfg.ml

src/cfg_dead_assign.ml

src/cfg_gen.ml

src/cfg_liveness.ml

src/cfg_nop_elim.ml

src/cfg_print.ml

src/cfg_run.ml

src/e_regexp.ml

src/elang.ml

src/elang_gen.ml

src/elang_print.ml

src/elang_run.ml

src/lexer_generator.ml

src/linear_gen.ml

src/linear_liveness.ml

src/linear_run.ml

src/ltl_gen.ml