Merge pull request #2 from inQWIRE/updates/reshuffle

Changed main branch, changing basis for 8.19 support
inQWIRE · Apr 17, 2024 · 6fbc58a · 6fbc58a
2 parents 0bc61ab + 74943aa
commit 6fbc58a
Show file tree

Hide file tree

Showing 32 changed files with 2,634 additions and 10,472 deletions.
diff --git a/ViCaR/AutomaticParsing.v b/ViCaR/AutomaticParsing.v