Skip to content

Actions: imitator-model-checker/imitator

Actions

workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow.yml
402 workflow runs
402 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: revert to dune 2 workflow #1492: Commit 7a27c45 pushed by himito
November 8, 2024 14:34 15m 17s develop
develop
November 8, 2024 14:34 15m 17s
Typo in README + add division by 0 workflow #1491: Commit b52a8b6 pushed by etienneandre
November 8, 2024 11:11 14m 37s develop
develop
November 8, 2024 11:11 14m 37s
Fix failing non-regression test regarding Jani failing due to (new) s… workflow #1490: Commit 429c3ae pushed by etienneandre
November 8, 2024 11:02 14m 9s develop
develop
November 8, 2024 11:02 14m 9s
Merge branch 'develop' of github.com:imitator-model-checker/imitator … workflow #1489: Commit 1e9a985 pushed by etienneandre
November 8, 2024 10:52 15m 15s develop
develop
November 8, 2024 10:52 15m 15s
fix: use dune >= 3 and menhir 3 workflow #1488: Commit bc78b3a pushed by himito
November 8, 2024 10:46 16m 12s develop
develop
November 8, 2024 10:46 16m 12s
Merge branch 'develop' of github.com:imitator-model-checker/imitator … workflow #1487: Commit b0a438b pushed by etienneandre
November 8, 2024 10:00 16m 42s develop
develop
November 8, 2024 10:00 16m 42s
build: add the flag --explain to menhir workflow #1486: Commit 8191a10 pushed by himito
November 8, 2024 09:53 14m 24s develop
develop
November 8, 2024 09:53 14m 24s
Remove some unused tokens and rules in parsers workflow #1485: Commit 06b017c pushed by etienneandre
November 8, 2024 09:41 14m 11s develop
develop
November 8, 2024 09:41 14m 11s
RELEASES: Replace yacc with menhir workflow #1484: Commit f055a31 pushed by etienneandre
November 8, 2024 09:25 14m 59s develop
develop
November 8, 2024 09:25 14m 59s
Merge pull request #200 from imitator-model-checker/feature/menhir workflow #1483: Commit 4b25e6e pushed by etienneandre
November 8, 2024 09:04 15m 44s develop
develop
November 8, 2024 09:04 15m 44s
feat: use menhir instead of ocamlyacc workflow #1482: Commit 029dc24 pushed by himito
November 4, 2024 19:33 9m 26s feature/menhir
feature/menhir
November 4, 2024 19:33 9m 26s
Do not display all options by default when no file is passed as argum… workflow #1481: Commit 3a89763 pushed by etienneandre
October 31, 2024 13:55 14m 56s develop
develop
October 31, 2024 13:55 14m 56s
AU: add a counter to get the depth of the recursive calls workflow #1480: Commit 5ef57f3 pushed by etienneandre
October 30, 2024 14:59 15m 0s develop
develop
October 30, 2024 14:59 15m 0s
Modify non-regression tests because PPL now outputs semantically iden… workflow #1479: Commit afc1f02 pushed by etienneandre
October 24, 2024 11:31 13m 23s develop
develop
October 24, 2024 11:31 13m 23s
Remove call to strategy generation until it works workflow #1478: Commit f02183b pushed by mikaelbdj
October 24, 2024 10:05 14m 23s develop
develop
October 24, 2024 10:05 14m 23s
Change Fixpoint message into Verification terminated workflow #1477: Commit 727b46b pushed by etienneandre
October 23, 2024 08:56 14m 17s develop
develop
October 23, 2024 08:56 14m 17s
Merge pull request #199 from imitator-model-checker/order_templates workflow #1476: Commit e50ee25 pushed by himito
October 22, 2024 15:46 13m 17s develop
develop
October 22, 2024 15:46 13m 17s
Add test for interleaving of templates and PTAs workflow #1475: Commit 71207ee pushed by tomaz1502
October 22, 2024 14:33 8m 31s order_templates
order_templates
October 22, 2024 14:33 8m 31s
Add test for interleaving of templates and PTAs workflow #1474: Commit 68f0e1d pushed by tomaz1502
October 22, 2024 14:31 9m 41s order_templates
order_templates
October 22, 2024 14:31 9m 41s
Merge pull request #198 from imitator-model-checker/ppl_fix workflow #1473: Commit 9909471 pushed by himito
October 22, 2024 14:12 15m 51s develop
develop
October 22, 2024 14:12 15m 51s
Remove old comment workflow #1472: Commit 7d4b670 pushed by tomaz1502
October 22, 2024 12:45 7m 55s ppl_fix
ppl_fix
October 22, 2024 12:45 7m 55s
Fix on patch for PPL workflow #1471: Commit 0303043 pushed by tomaz1502
October 22, 2024 12:41 11m 15s ppl_fix
ppl_fix
October 22, 2024 12:41 11m 15s
Add patch to PPL to avoid freeing pointers for OCaml values workflow #1470: Commit 34565c3 pushed by tomaz1502
October 22, 2024 12:26 8m 48s ppl_fix
ppl_fix
October 22, 2024 12:26 8m 48s
Reverting changes for fixing GC workflow #1469: Commit eb3a1bb pushed by tomaz1502
October 22, 2024 12:00 8m 34s ppl_fix
ppl_fix
October 22, 2024 12:00 8m 34s
PTG: Major work on controller synthesis workflow #1468: Commit 152faa8 pushed by mikaelbdj
October 18, 2024 14:34 13m 56s develop
develop
October 18, 2024 14:34 13m 56s