Skip to content
GitLab
Explore
Sign in
Register
TeSSLa
TeSSLa
Repository
Branches
Overview
Active
Stale
All
Active branches
fix-1.2.4
0d2f6fe8
·
build fix.
·
Apr 23, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-newtype
9a21c39c
·
Add integration test
·
Apr 23, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2.1.0-development
protected
1e8de07a
·
switch to isp maven repository for tracecompass dependency.
·
Apr 23, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
e146ee28
·
switch to isp maven repository for tracecompass dependency.
·
Apr 23, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
package_manager
fc6b25f8
·
Fix formatting error
·
Apr 12, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
gitlab-maven-repo
22de8d4b
·
Switch to Gitlab Maven repo
·
Nov 02, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aggregate_update_addon
2a01fe0a
·
Merge branch 'development' into aggregate_update_addon
·
Nov 24, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
remove-inmodule
4a3939fe
·
Implicitly import the "Types" module
·
Jun 19, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
legacy
d060c6fc
·
CI for legacy branch
·
Jun 20, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-imports-in-typechecker
2d59a0a8
·
add TypeChecker test.
·
Oct 19, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar