Cswb#591

Open

Tragicus wants to merge 15 commits intoLPCIC:masterfrom

Commits on Feb 7, 2024

update hook (due to hook call update in coq)

qvermande
authored and
Tragicus
committed
add retyping after coercion (due to a modification in coq)

qvermande
authored and
Tragicus
committed
added tests

qvermande
authored and
Tragicus
committed
fixed naming

qvermande
authored and
Tragicus
committed
wip
Tragicus
committed
add no-tc attribute support for typecheck and unification
Tragicus
committed
Add of the expose grafting + test

FissoreD
authored and
Tragicus
committed
complete and compiles
Tragicus
committed

Commits on Feb 8, 2024

new cs hook
Tragicus
committed
fix Elpi Typecheck program

gares
authored and
Tragicus
committed
Merge branch 'master' into cswb
gares
authored

Commits on Feb 21, 2024

Commits on Feb 22, 2024

Enable loading db from files

proux01
authored and
Tragicus
committed
Enable creating Db without initial code

proux01
authored and
Tragicus
committed