Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Implementation of the Temporal Stream-based Specification Language
-
Organization Page for TeSSLa Project
-
Clang-based C Code instrumenter
-
Specification document of the TeSSLa language.
-
Repository for TeSSLa examples