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
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
f9cf4ade7e88ec48a5408be0e74e4f5200c2906a
Select Git revision
Selected
f9cf4ade7e88ec48a5408be0e74e4f5200c2906a
Branches
4
master
default
protected
release/1.1.1
release/1.1.3
release/1.1.4
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
Begin with the selected commit
Created with Raphaël 2.2.0
30
Jun
27
26
25
6
5
20
Mar
28
Feb
26
15
Jan
14
13
4
3
2
30
Dec
27
23
22
20
19
18
12
Nov
8
30
Oct
29
28
25
24
14
30
Sep
27
24
23
16
12
30
Jul
19
17
17
Jun
2
May
30
Apr
29
28
27
26
24
Jan
11
Aug
19
Jun
5
28
Apr
26
25
15
Feb
13
27
Jan
27
Jun
26
4
May
8
Feb
3
2
14
Sep
16
Aug
23
Mar
19
11
5
28
Feb
20
Jan
16
13
25
Sep
20
23
Jan
31
Aug
27
24
19
Oct
18
20
Jul
12
Dec
29
Jun
8
Mar
24
Feb
4
3
17
Dec
11
10
9
3
3
Oct
20
Sep
17
16
3
19
Aug
18
30
Jul
17
Apr
12
Feb
10
Dec
21
Nov
11
22
Aug
28
Jun
24
18
11
28
May
16
15
14
13
12
10
9
8
6
5
30
Apr
29
23
16
31
Mar
27
Bump version number to 1.4.3-SNAPSHOT
master
master
Release version 1.4.2
1.4.2
1.4.2
Switch back to release version of parsers in preparation for release
Improve typechecking of tuples vs functions
Fix @generated comment in machine file header
Remove SuffixIdentifierRenaming, the default quotes invalid identifiers which is enough
Fix missing follower notification in IntOrReal unification
Update dependencies
Fix a lot of typechecking bugs with user definitions and ints vs reals
Fix typechecking of user defined operators when they are used multiple times with different types
update parser version to 2.15.2
update parser version to 2.15.1
add (disabled) test for operations with the same name being called
add idea files to gitignore
Bump version number to 1.4.2-SNAPSHOT
Release version 1.4.1
1.4.1
1.4.1
Adjust processResources project.version use to avoid deprecation warning
Update shadow plugin to version 8.3.6
Switch to release version 2.15.0 of parser
Replace uses of deprecated Gradle assignment syntax
Update Gradle wrapper to version 8.13
Update to new parser snapshot version 2.15.0-SNAPSHOT
add function test for first tuple
refactor BAstCreator again
refactor operation handling
remove IType interface
avoid hard-coded access of type tool object
simplifications in types
set parser version to 2.13.6-SNAPSHOT
test nested boolean
add missing cases and test for neg
also ignore Naturals test
add ignored test for nested Real definitions
add ignored test for set product
minor simplifications
refactor AST generation of (B) built-in predicates/expressions
replace some direct ToolObject accesses with getType
reorder methods
simplifications in BAstCreator
add helper method for integer nodes
Loading