Skip to content

Actions: grayswandyr/electrod

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge tag '1.2.0' into develop Electrod #114: Commit cd52ad8 pushed by grayswandyr
October 3, 2024 15:30 16m 13s master
master
October 3, 2024 15:30 16m 13s
Merge branch 'release/1.2.0' Electrod #113: Commit 38bed9d pushed by grayswandyr
October 3, 2024 15:30 14m 25s 1.2.0
1.2.0
October 3, 2024 15:30 14m 25s
Merge tag '1.2.0' into develop Electrod #112: Commit cd52ad8 pushed by grayswandyr
October 3, 2024 15:30 12m 13s develop
develop
October 3, 2024 15:30 12m 13s
Merge branch 'release/1.2.0' Electrod #111: Commit 38bed9d pushed by grayswandyr
October 3, 2024 15:29 11m 8s master
master
October 3, 2024 15:29 11m 8s
follow A. Griggio's suggestions to remove multiple lassos in traces Electrod #110: Commit 75b75bf pushed by grayswandyr
October 3, 2024 15:29 10m 44s develop
develop
October 3, 2024 15:29 10m 44s
update CHANGES.md Electrod #109: Commit e48a8ff pushed by grayswandyr
September 27, 2024 08:35 16m 54s 1.1.1
1.1.1
September 27, 2024 08:35 16m 54s
update CHANGES.md Electrod #108: Commit e48a8ff pushed by grayswandyr
September 27, 2024 08:35 16m 1s master
master
September 27, 2024 08:35 16m 1s
Merge tag '1.1.1' into develop Electrod #107: Commit abc449c pushed by grayswandyr
September 27, 2024 08:35 1m 16s develop
develop
September 27, 2024 08:35 1m 16s
fix bug: some auxiliaries not declared in generated SMV file Electrod #106: Commit 9ac8eb9 pushed by grayswandyr
September 27, 2024 08:28 8m 4s master
master
September 27, 2024 08:28 8m 4s
fix bug: some auxiliaries not declared in generated SMV file Electrod #105: Commit 9ac8eb9 pushed by grayswandyr
September 27, 2024 08:28 8m 27s develop
develop
September 27, 2024 08:28 8m 27s
Merge branch 'develop' into feature/big-ltlspec Electrod #104: Commit e5ddedc pushed by grayswandyr
June 6, 2024 15:30 10m 6s develop
develop
June 6, 2024 15:30 10m 6s
Update binaries.yml Electrod #103: Commit 4017bba pushed by grayswandyr
June 6, 2024 15:09 9m 58s develop
develop
June 6, 2024 15:09 9m 58s
Update binaries.yml Electrod #102: Commit a558184 pushed by grayswandyr
June 6, 2024 14:20 18m 7s develop
develop
June 6, 2024 14:20 18m 7s
Merge branch 'release/1.1.0' Electrod #101: Commit 1e894a3 pushed by grayswandyr
May 24, 2024 15:01 17m 43s 1.1.0
1.1.0
May 24, 2024 15:01 17m 43s
Merge branch 'release/1.1.0' Electrod #100: Commit 1e894a3 pushed by grayswandyr
May 24, 2024 15:01 9m 56s master
master
May 24, 2024 15:01 9m 56s
Merge tag '1.1.0' into develop Electrod #99: Commit c6b96ab pushed by grayswandyr
May 24, 2024 15:01 10m 33s develop
develop
May 24, 2024 15:01 10m 33s
Merge branch 'feature/arithmetic' into develop Electrod #98: Commit 2baacc9 pushed by grayswandyr
May 24, 2024 14:34 9m 48s develop
develop
May 24, 2024 14:34 9m 48s
Merge branch 'feature/arithmetic' into develop Electrod #97: Commit 2baacc9 pushed by grayswandyr
May 24, 2024 14:34 10m 11s master
master
May 24, 2024 14:34 10m 11s
add test case for int i/t/e Electrod #96: Commit 7b93762 pushed by grayswandyr
May 24, 2024 14:17 20m 8s feature/arithmetic
feature/arithmetic
May 24, 2024 14:17 20m 8s
Invar_computation handling of integer ifthenelse Electrod #95: Commit e49dfb6 pushed by jbrubru
May 24, 2024 09:41 9m 44s feature/arithmetic
feature/arithmetic
May 24, 2024 09:41 9m 44s
fix parsing error or interger if/then/else Electrod #94: Commit 2e84c68 pushed by grayswandyr
May 24, 2024 09:32 9m 56s feature/arithmetic
feature/arithmetic
May 24, 2024 09:32 9m 56s
fix pp typo; fix wrong arity handling for join Electrod #93: Commit 578eda0 pushed by grayswandyr
May 23, 2024 12:51 9m 57s feature/arithmetic
feature/arithmetic
May 23, 2024 12:51 9m 57s
Merge branch 'feature/arithmetic' into develop Electrod #92: Commit 4e04783 pushed by grayswandyr
May 21, 2024 14:12 41m 44s feature/arithmetic
feature/arithmetic
May 21, 2024 14:12 41m 44s
Merge branch 'feature/arithmetic' into develop Electrod #91: Commit 4e04783 pushed by grayswandyr
May 21, 2024 14:11 51m 6s master
master
May 21, 2024 14:11 51m 6s
Merge branch 'feature/arithmetic' into develop Electrod #90: Commit 4e04783 pushed by grayswandyr
May 21, 2024 14:11 35m 33s develop
develop
May 21, 2024 14:11 35m 33s