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
ff6b59858fca63c074dd9e95f8df4fc7dc86c91b
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
4
May
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
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
Merge branch 'develop'
v2.1.0
v2.1.0
Merge branch 'feature/layered_reductions' into develop
refactor all the code
refactor code
add layered reductions to cli
fix: copy guards and updates of the removed transition in the optimization
fix: include algorithm library
fix: unfold nok loop only if incoming transition has no the same action
update optimization of end loops in imitator parser
fix: return True as guard when empty vector of guards
Loading