Proširivanje LINVAST projekta tako da podržava osnovne konstrukte Go programskog jezika. Projekat na kursu Verifikacija softvera @ MATF.
Implementirani visitori za osnovne oblike deklaracija, izraza, i naredbi (i odgovarajući testovi). Nije implementirana podrška za većinu feature-a specifičnih za Go (npr. sve vezano za korutine) i konstrukti koji nisu implementirani ni za C ili Javu (npr. switch, package declaration).
- Jelena Keljać 1081/2022
- Luka Jovičić 1067/2022