Skip to content

GitLab

Explore

Sign in
Register

pseuco
pseuCo Static Semantics

P

pseuCo Static Semantics

Project information

Collection of type checking, SM and MP detection, and other static semantics (only decaffeinated pseuCo)

39 Commits
1 Branch
0 Tags

README
CHANGELOG

Created on

August 04, 2021

Copy SSH clone URLssh://git@dgit.cs.uni-saarland.de:2222/pseuco/pseuco-static-semantics.git
Copy HTTPS clone URLhttps://dgit.cs.uni-saarland.de/pseuco/pseuco-static-semantics.git