Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
A
adt2amas
Manage
Activity
Members
Labels
Plan
Issues
9
Issue boards
Milestones
Wiki
Code
Merge requests
0
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
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
PARTIES
tools
adt2amas
Graph
5e68dd4882e9dc7746e84e81d2f95e946b7626a5
Select Git revision
Branches
3
develop
feature/electricity_theft_example
master
default
protected
Tags
7
v2.2.0
v2.1.3
v2.1.2
v2.1.1
v2.1.0
v2.0.0
v1.0.0
10 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
7
Nov
5
Jul
14
May
5
4
1
29
Apr
21
20
25
Oct
1
30
Sep
29
14
13
12
Feb
29
Jan
27
20
18
15
14
13
17
Dec
7
4
18
Nov
17
Oct
16
8
7
6
5
24
Aug
28
Jul
24
23
21
15
10
9
8
7
3
25
Jun
24
19
16
15
9
8
5
4
28
May
27
26
25
22
20
19
28
Apr
27
24
23
21
15
14
10
7
6
15
Dec
13
12
17
Oct
6
4
3
2
1
30
Sep
26
25
19
15
13
12
30
Aug
29
28
27
22
19
15
May
5
Dec
27
Nov
26
23
22
21
20
19
16
15
14
13
11
10
9
8
7
5
4
3
1
31
Oct
30
24
19
18
17
16
15
10
9
12
Sep
ci: update appveyor configuration
develop master
develop master
fix codemeta.json
add codemeta.json
Merge branch 'develop'
v2.2.0
v2.2.0
feat: add full-model for or gates
feat: add full-model for SNAND gate
feature: add full-model for SAND gate
feature: add full-model for nand gate
fix: error message for translation full
fix: cast node id to string
feature: add symprod compatibility mode
fix: include unordered_map library
add symprod compatibility
Merge branch 'develop'
fix full model for AND gate
Merge branch 'develop'
fix: bug in print-scheduling flag
update catch11 library
update appveyor.yml
fix modgraph translation
add full model generation
feature: add computation time
fix appveyor
Merge branch 'develop'
fix: remove nok loop transition in leaves
Merge branch 'develop'
v2.1.3
v2.1.3
fix: add an offset to the identifier of states
fix: add -top prefix to the file containing the root automaton in the modgraph tranformation
fix: transition names in the modgraph format
feature: translates the EAMAS model into the modgraph format
Merge branch 'develop'
v2.1.2
v2.1.2
doc: documentation of the new functions
Merge branch 'feature/or_strategy' into develop
fix: implement the strategy when there are OR gates
Merge branch 'develop'
v2.1.1
v2.1.1
rename assignment type into assignment_t
Merge branch 'feature/fix_sand_minimal' into develop
add comments to added code
remove comments
Implementation of the new algorithm for minimal scheduling
Loading