Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
T
tla2bAST
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
GitLab community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
tla2bAST
Commits
Commits · b884c32b2d4147d2c89fb056572308e82383d99f
b884c32b2d4147d2c89fb056572308e82383d99f
Select Git revision
Selected
b884c32b2d4147d2c89fb056572308e82383d99f
Branches
4
master
default
protected
release/1.1.4
release/1.1.3
release/1.1.1
Tags
16
1.4.2
1.4.1
1.4.0
1.3.0
1.2.1
1.2.0
1.1.5
1.1.4
1.1.3
1.1.1
1.1.0
1.0.9
1.0.8
1.0.7
v1.0.5
1.0.5
21 results
tla2bAST
src
main
java
de
tla2b
translation
BDefinitionsFinder.java
Author
Search by author
Any Author
authors
dgelessus
dgelessus
Fabian Vu
vu
Jan Gruteser
gruteser
Jannik Dunkelau
dunkelau
Jens Bendisposto
bendisposto
John Witulski
witulski
Joshua Schmidt
schmidt
Mareike Mutz
mutz
Max Jakub Ried
ried
Michael Leuschel
leuschel
Miles Vella
vella
Philipp Körner
koerner
Thomas Spitzlei
spitzlei
13 authors
Browse files
Aug 31, 2018
translate SCOPE and scope_ definitions
· b884c32b
dohan
authored
Aug 31, 2018
b884c32b
translate SCOPE_ definitions
· 9c82b06b
dohan
authored
Aug 31, 2018
9c82b06b
translate HEURISTIC_FUNCTION definition
· 60bc50ac
dohan
authored
Aug 31, 2018
60bc50ac
Aug 24, 2018
translate definitions starting with ANIMATION_ or CUSTOM_GRAPH_
· a339e63b
dohan
authored
Aug 24, 2018
a339e63b
Oct 19, 2017
fix detection of used definitions
· 31aa961d
dohan
authored
Oct 19, 2017
31aa961d
Oct 18, 2017
add test to ensure that the GOAL definition is translated
· 23990b6b
dohan
authored
Oct 18, 2017
23990b6b
Dec 17, 2015
translating all necessary TLA+ definitions
· a96a70b0
hansen
authored
Dec 17, 2015
a96a70b0
Apr 17, 2015
code refactoring
· 68ef3e40
hansen
authored
Apr 17, 2015
68ef3e40
May 15, 2014
Distinction between abstract constants and constants to enable a simple back translation
· 501a06ce
hansen
authored
May 15, 2014
501a06ce
May 12, 2014
adding the TLA type to the prolog AST.
· 70f8ec54
hansen
authored
May 12, 2014
70f8ec54
May 09, 2014
Refactored the specanalyser
· 0a4f120c
hansen
authored
May 9, 2014
0a4f120c
Loading