Skip to content

Actions: imitator-model-checker/imitator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
400 workflow runs
400 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add TODO commentary workflow #1397: Commit 36e8d11 pushed by tomaz1502
May 16, 2024 13:37 8m 54s feat/template_properties
feat/template_properties
May 16, 2024 13:37 8m 54s
Annotating types in Templates.ml workflow #1396: Commit c0edf66 pushed by tomaz1502
May 16, 2024 13:26 8m 58s feat/template_properties
feat/template_properties
May 16, 2024 13:26 8m 58s
Supporting nested forall. workflow #1395: Commit 6953653 pushed by tomaz1502
May 16, 2024 11:58 8m 28s feat/template_properties
feat/template_properties
May 16, 2024 11:58 8m 28s
Examples with nested forall workflow #1394: Commit 688d6ee pushed by tomaz1502
May 16, 2024 11:57 11m 10s feat/template_properties
feat/template_properties
May 16, 2024 11:57 11m 10s
Expanding forall in properties (simple predicates) workflow #1393: Commit d19335b pushed by tomaz1502
May 16, 2024 10:23 10m 16s feat/template_properties
feat/template_properties
May 16, 2024 10:23 10m 16s
Parsing forall in properties workflow #1392: Commit 2716a08 pushed by tomaz1502
May 16, 2024 10:22 8m 52s feat/template_properties
feat/template_properties
May 16, 2024 10:22 8m 52s
fischer example with forall in properties workflow #1391: Commit bac8e02 pushed by tomaz1502
May 16, 2024 10:20 9m 15s feat/template_properties
feat/template_properties
May 16, 2024 10:20 9m 15s
allowing accesses in state_predicate workflow #1390: Commit 3b14509 pushed by tomaz1502
May 14, 2024 18:56 8m 26s feat/template_properties
feat/template_properties
May 14, 2024 18:56 8m 26s
Implement EG as the negation of AF workflow #1389: Commit 71d9b49 pushed by etienneandre
May 3, 2024 15:55 14m 43s develop
develop
May 3, 2024 15:55 14m 43s
Externalize one method for merging (which makes one non-regression te… workflow #1388: Commit 6ca5ad5 pushed by etienneandre
May 3, 2024 10:14 14m 23s develop
develop
May 3, 2024 10:14 14m 23s
Add non-regression test for EW (and EU) workflow #1387: Commit 57f931b pushed by etienneandre
May 3, 2024 08:55 13m 40s develop
develop
May 3, 2024 08:55 13m 40s
Minor quote modifications in non-regression tests data workflow #1386: Commit 4214b0b pushed by etienneandre
May 3, 2024 07:56 13m 52s develop
develop
May 3, 2024 07:56 13m 52s
Merge pull request #185 from imitator-model-checker/fix/rational_flows workflow #1385: Commit ddb8d1f pushed by etienneandre
May 2, 2024 15:04 14m 23s develop
develop
May 2, 2024 15:04 14m 23s
make eval_parsed_arithmetic_expression return gmp value workflow #1384: Commit 726f609 pushed by tomaz1502
May 2, 2024 14:05 8m 18s fix/rational_flows
fix/rational_flows
May 2, 2024 14:05 8m 18s
Fix flow display in imi2IMI workflow #1383: Commit b2e1709 pushed by etienneandre
May 2, 2024 13:43 14m 9s develop
develop
May 2, 2024 13:43 14m 9s
documenting order of declaration workflow #1382: Commit 6b82358 pushed by tomaz1502
May 2, 2024 09:39 7m 55s template_example_doc
template_example_doc
May 2, 2024 09:39 7m 55s
add example and explanation for templates workflow #1381: Commit 1bb608d pushed by tomaz1502
May 2, 2024 09:36 8m 52s template_example_doc
template_example_doc
May 2, 2024 09:36 8m 52s
new test checking all syntatic transformations workflow #1380: Commit 98c76f5 pushed by tomaz1502
May 1, 2024 16:42 8m 8s chore/test_syntatic_expansions
chore/test_syntatic_expansions
May 1, 2024 16:42 8m 8s
Merge pull request #181 from imitator-model-checker/fix/negative_flow workflow #1379: Commit 1304c87 pushed by himito
April 30, 2024 16:21 14m 49s develop
develop
April 30, 2024 16:21 14m 49s
add support for negative flows workflow #1378: Commit f4042c0 pushed by tomaz1502
April 30, 2024 15:31 7m 57s fix/negative_flow
fix/negative_flow
April 30, 2024 15:31 7m 57s
Remove unused function call to avoid warning workflow #1377: Commit 185d4d4 pushed by etienneandre
April 30, 2024 13:13 14m 55s develop
develop
April 30, 2024 13:13 14m 55s
Start preparing implementation of EG workflow #1376: Commit d998651 pushed by etienneandre
April 30, 2024 12:58 14m 25s develop
develop
April 30, 2024 12:58 14m 25s
Add non-regression tests for new queue-based EF + observer patterns workflow #1375: Commit d395e1f pushed by etienneandre
April 30, 2024 08:08 14m 2s develop
develop
April 30, 2024 08:08 14m 2s
Add non-regression tests for timed EF (queue-BFS-based version) workflow #1374: Commit 40ddd2f pushed by etienneandre
April 30, 2024 07:20 14m 37s develop
develop
April 30, 2024 07:20 14m 37s
Merge pull request #178 from imitator-model-checker/feat/forall_keyword workflow #1373: Commit 0c94d88 pushed by himito
April 29, 2024 09:17 15m 11s develop
develop
April 29, 2024 09:17 15m 11s