Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
T
tlc4b
Manage
Activity
Members
Labels
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Analyze
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
tlc4b
Commits
bfc69eaef9470087582cf4b1cb0bb8530ac79ba2
Select Git revision
0 results
tlc4b
src
test
java
de
tlc4b
coverage
CoverageTest.java
Author
Search by author
Any Author
authors
0 authors
Nov 29, 2018
Updated tests to use local copy of public examples
· 82cd59b6
David Schneider
authored
6 years ago
82cd59b6
Jul 28, 2015
Added support of the SEES clause + improved set comprehension translation
· aec264e5
hansene
authored
9 years ago
aec264e5
Jul 18, 2015
refactoring based on findbugs guidelines
· d39a355c
hansen
authored
9 years ago
d39a355c
Nov 24, 2014
removed tla2bAst from compile path
· c17aaecb
hansen
authored
10 years ago
c17aaecb
Mar 21, 2014
added findbugs + jacoco
· 991212c7
hansen
authored
11 years ago
991212c7
Loading
