Skip to content

Actions: VeriFIT/kofola

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #15 from VeriFIT/fix-early-prunning Various platforms (build-&-test) #29: Commit e10c27a pushed by vhavlena
February 1, 2025 10:15 1m 1s devel
devel
February 1, 2025 10:15 1m 1s
Fix early prunning Various platforms (build-&-test) #28: Pull request #15 synchronize by OndrejAlexaj
January 31, 2025 23:51 58s fix-early-prunning
fix-early-prunning
January 31, 2025 23:51 58s
Fix early prunning Various platforms (build-&-test) #27: Pull request #15 opened by OndrejAlexaj
January 31, 2025 19:41 1m 3s fix-early-prunning
fix-early-prunning
January 31, 2025 19:41 1m 3s
Merge pull request #14 from VeriFIT/fix-bad-less-operator Various platforms (build-&-test) #26: Commit fa91408 pushed by vhavlena
January 23, 2025 20:55 1m 45s devel
devel
January 23, 2025 20:55 1m 45s
Fix too relaxed less operaor over inclusion mstates. Add collecting state space information via conditional compilation. Various platforms (build-&-test) #25: Pull request #14 opened by OndrejAlexaj
January 23, 2025 20:37 1m 9s fix-bad-less-operator
fix-bad-less-operator
January 23, 2025 20:37 1m 9s
Merge pull request #11 from VeriFIT/various-opt Various platforms (build-&-test) #24: Commit 777a56a pushed by vhavlena
January 23, 2025 16:57 2m 23s devel
devel
January 23, 2025 16:57 2m 23s
Merge pull request #9 from VeriFIT/complement-bugfix Various platforms (build-&-test) #23: Commit 278d670 pushed by vhavlena
January 23, 2025 16:56 57s devel
devel
January 23, 2025 16:56 57s
Various optimisations Various platforms (build-&-test) #22: Pull request #11 synchronize by vhavlena
January 17, 2025 22:19 2m 19s various-opt
various-opt
January 17, 2025 22:19 2m 19s
Merge pull request #7 from VeriFIT/readme-params Various platforms (build-&-test) #21: Commit 3dc3822 pushed by vhavlena
January 16, 2025 16:12 55s devel
devel
January 16, 2025 16:12 55s
Readme: parameters description Various platforms (build-&-test) #20: Pull request #7 synchronize by vhavlena
January 16, 2025 16:01 1m 6s readme-params
readme-params
January 16, 2025 16:01 1m 6s
Various optimisations Various platforms (build-&-test) #19: Pull request #11 synchronize by vhavlena
January 16, 2025 15:44 2m 23s various-opt
various-opt
January 16, 2025 15:44 2m 23s
Various optimisations Various platforms (build-&-test) #18: Pull request #11 opened by vhavlena
January 13, 2025 06:33 1m 3s various-opt
various-opt
January 13, 2025 06:33 1m 3s
Fix complement error. Various platforms (build-&-test) #17: Pull request #9 synchronize by vhavlena
January 12, 2025 18:04 54s complement-bugfix
complement-bugfix
January 12, 2025 18:04 54s
Merge pull request #10 from VeriFIT/inclusion-default-params Various platforms (build-&-test) #16: Commit 49b7c7e pushed by vhavlena
January 12, 2025 10:41 1m 53s devel
devel
January 12, 2025 10:41 1m 53s
Merge pull request #8 from VeriFIT/early-opt Various platforms (build-&-test) #15: Commit 06a7d26 pushed by vhavlena
January 12, 2025 10:39 1m 58s devel
devel
January 12, 2025 10:39 1m 58s
Add default params for inclusion (implicitly fastest configuration). Various platforms (build-&-test) #14: Pull request #10 opened by OndrejAlexaj
January 11, 2025 14:21 56s inclusion-default-params
inclusion-default-params
January 11, 2025 14:21 56s
Inclusion: optimise subsumption checking Various platforms (build-&-test) #13: Pull request #8 synchronize by vhavlena
January 9, 2025 12:15 1m 0s early-opt
early-opt
January 9, 2025 12:15 1m 0s
Inclusion: optimise subsumption checking Various platforms (build-&-test) #12: Pull request #8 opened by vhavlena
January 4, 2025 19:47 54s early-opt
early-opt
January 4, 2025 19:47 54s
Readme: parameters description Various platforms (build-&-test) #11: Pull request #7 synchronize by vhavlena
January 1, 2025 19:17 58s readme-params
readme-params
January 1, 2025 19:17 58s
Merge pull request #5 from VeriFIT/fix-warnings Various platforms (build-&-test) #10: Commit 3e70883 pushed by vhavlena
December 31, 2024 19:47 57s devel
devel
December 31, 2024 19:47 57s
Readme: parameters description Various platforms (build-&-test) #9: Pull request #7 opened by vhavlena
December 30, 2024 16:56 1m 0s readme-params
readme-params
December 30, 2024 16:56 1m 0s
Fixing warnings Various platforms (build-&-test) #8: Pull request #5 synchronize by vhavlena
December 23, 2024 21:57 57s fix-warnings
fix-warnings
December 23, 2024 21:57 57s
Fixing warnings Various platforms (build-&-test) #7: Pull request #5 opened by vhavlena
December 22, 2024 22:41 1m 1s fix-warnings
fix-warnings
December 22, 2024 22:41 1m 1s
Merge pull request #3 from VeriFIT/maintain-updates Various platforms (build-&-test) #6: Commit 5fb7f0a pushed by vhavlena
December 20, 2024 20:03 1m 1s devel
devel
December 20, 2024 20:03 1m 1s
Maintenance updates Various platforms (build-&-test) #5: Pull request #3 synchronize by vhavlena
December 20, 2024 19:58 58s maintain-updates
maintain-updates
December 20, 2024 19:58 58s