Skip to content

Actions: ticktac-project/tchecker

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
34 workflow runs
34 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Fixed deterministic check on initial locations Build and test TChecker #58: Commit 352eb12 pushed by fredher
May 4, 2024 20:07 5m 56s master
master
May 4, 2024 20:07 5m 56s
Fixed counter-example generation: avoiding subsumption edges #63 Build and test TChecker #57: Commit a6579ad pushed by fredher
April 4, 2024 19:31 5m 34s master
master
April 4, 2024 19:31 5m 34s
Merge branch 'bugfix' Build and test TChecker #56: Commit 6022be7 pushed by fredher
March 21, 2024 16:13 5m 28s master
master
March 21, 2024 16:13 5m 28s
Fixed missing const Build and test TChecker #55: Commit 3c3c580 pushed by fredher
February 24, 2024 15:56 5m 45s master
master
February 24, 2024 15:56 5m 45s
Added synchronization identifier to transitions Build and test TChecker #54: Commit 729878b pushed by fredher
February 24, 2024 07:01 5m 17s master
master
February 24, 2024 07:01 5m 17s
Added static analysis to detect deterministic systems Build and test TChecker #53: Commit c49c731 pushed by fredher
February 19, 2024 16:18 5m 34s master
master
February 19, 2024 16:18 5m 34s
Fixed tests to accomodate 16-bits integers Build and test TChecker #52: Commit d8f3be1 pushed by fredher
January 31, 2024 06:53 5m 23s master
master
January 31, 2024 06:53 5m 23s
Merge branch 'master' of gitub.u-bordeaux.fr:ticktac-project/tchecker Build and test TChecker #51: Commit 8715d01 pushed by fredher
January 26, 2024 06:49 6m 57s master
master
January 26, 2024 06:49 6m 57s
remove a useless sudo Build and test TChecker #50: Commit 9b36a60 pushed by pictavien
November 22, 2023 09:56 4m 59s master
master
November 22, 2023 09:56 4m 59s
Merge branch 'devel' Build and test TChecker #49: Commit fbf18f7 pushed by pictavien
November 22, 2023 09:27 47s master
master
November 22, 2023 09:27 47s
chg: add scripts to ease the build of images for others versions of c… Build and test TChecker #48: Commit 1d3d849 pushed by pictavien
November 21, 2023 12:23 40s master
master
November 21, 2023 12:23 40s
Version update Build and test TChecker #47: Commit bc46279 pushed by fredher
September 26, 2023 13:01 43s master
master
September 26, 2023 13:01 43s
BUG FIX: liveness counter-example reduced to a Build and test TChecker #46: Commit fa36f8a pushed by fredher
September 26, 2023 04:50 1m 2s master
master
September 26, 2023 04:50 1m 2s
Fixed clock constraint negation for 16-bits Build and test TChecker #45: Commit b0b25fa pushed by fredher
September 8, 2023 10:17 43s master
master
September 8, 2023 10:17 43s
Typo Build and test TChecker #44: Commit c641949 pushed by fredher
September 6, 2023 06:58 41s master
master
September 6, 2023 06:58 41s
Documentation update Build and test TChecker #43: Commit 264019d pushed by fredher
August 3, 2023 14:26 47s master
master
August 3, 2023 14:26 47s
Fixing GitHub Linux image name + updated checkout Build and test TChecker #42: Commit b075014 pushed by fredher
July 19, 2023 13:26 46s master
master
July 19, 2023 13:26 46s
Fixing GitHub CI/CD (libboost 1.81 required) Build and test TChecker #41: Commit 4b9ca3d pushed by fredher
July 19, 2023 12:17 4m 6s master
master
July 19, 2023 12:17 4m 6s
Merge branch 'devel' Build and test TChecker #40: Commit 848c336 pushed by fredher
July 18, 2023 15:46 1m 36s master
master
July 18, 2023 15:46 1m 36s
Added JSON display to interactive simulator Build and test TChecker #39: Commit 1c48a18 pushed by fredher
July 11, 2023 21:24 1m 44s master
master
July 11, 2023 21:24 1m 44s
Updated version number Build and test TChecker #38: Commit 96afe1a pushed by fredher
July 8, 2023 05:05 2m 21s master
master
July 8, 2023 05:05 2m 21s
Removed old transition system interfaces Build and test TChecker #37: Commit 2f1a263 pushed by fredher
July 7, 2023 10:25 1m 6s master
master
July 7, 2023 10:25 1m 6s
Unified inequality comparator types Build and test TChecker #36: Commit 2662d50 pushed by fredher
June 30, 2023 12:26 3m 9s master
master
June 30, 2023 12:26 3m 9s
Fixed spaces in error message Build and test TChecker #35: Commit 2d7d359 pushed by fredher
June 24, 2023 18:00 2m 44s master
master
June 24, 2023 18:00 2m 44s
Fixed test cases Build and test TChecker #34: Commit 4338ab2 pushed by fredher
June 22, 2023 22:06 3m 7s master
master
June 22, 2023 22:06 3m 7s