GROUP 2: Const Statements (First Milestone)#7

Open

EGmux wants to merge 18 commits into

rbonifacio:mainfrom

Commits on Apr 6, 2026

feat: generate ctags for the project
EGmux
committed

Commits on Apr 7, 2026

Merge branch 'rbonifacio:main' into main
EGmux
authored

Commits on Apr 9, 2026

Commits on Apr 12, 2026

fix: path to proptest
EGmux
committed

Commits on Apr 13, 2026

feat: add skeleton test for property based tests
egb2
committed

Commits on Apr 18, 2026

Unit tests for constant declaration <avll>
oruns
committed

Commits on Apr 19, 2026

feat: add support for local constant declarations
shellyda.barbosa
committed
feat: WIP Arbitrary implementation for const statements <egb2>
EGmux
committed