[functionality] add functionality field to program#280

Merged

gares merged 9 commits intoLPCIC:scoped-termfrom FissoreD:scope-term

Nov 6, 2024

+1,311-228

Commits on Nov 6, 2024

wip
gares
committed
[functionality] add functionality field to program

FissoreD
authored and
gares
committed
[functionality] polymorphic functional typeabbrev taken into account

FissoreD
authored and
gares
committed
[functionality] change type functionality

FissoreD
authored and
gares
committed
[functionality] add functionality tests

FissoreD
authored and
gares
committed
[functionality] head check

FissoreD
authored and
gares
committed
[functionality] test heads rename

FissoreD
authored and
gares
committed
[test] option LN_NB to set max size of log error printing

FissoreD
authored and
gares
committed
[functionality] remove Prop from ScopedTypeExpression.t + add precomputed_functional_preds to checked_compilation_unit

FissoreD
authored and
gares
committed