Skip to content

Actions: Baya-Systems/purple

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed a bug in the rob-checker test Python package #22: Commit 339dfa6 pushed by James-Baya
6m 26s verif_tst_dev
verif_tst_dev
6m 26s
verif now added to src and passing, but still missing documentation Python package #21: Commit b45181a pushed by James-Baya
7m 12s verif_tst_dev
verif_tst_dev
7m 12s
split rule-order-search into generic and system-specific Python package #20: Commit d1c4776 pushed by James-Baya
2m 43s verif_tst_dev
verif_tst_dev
2m 43s
rob-checker passing with causality restrictions Python package #19: Commit de68adb pushed by James-Baya
2m 41s verif_tst_dev
verif_tst_dev
2m 41s
trying to add causality and post-fail info to verif-tst. not great a… Python package #18: Commit 176fa61 pushed by James-Baya
2m 37s verif_tst_dev
verif_tst_dev
2m 37s
using atomic-rule to check clocked is working with rule order search Python package #17: Commit a92cef5 pushed by James-Baya
2m 41s verif_tst_dev
verif_tst_dev
2m 41s
modfied rob-checker-test, now using hash comparisons Python package #16: Commit edea0c4 pushed by James-Baya
2m 22s verif_tst_dev
verif_tst_dev
2m 22s
testing model-state-hash Python package #15: Commit 1bbc1e7 pushed by James-Baya
2m 39s main
main
2m 39s
testing model-state-hash Python package #14: Commit 1bbc1e7 pushed by James-Baya
2m 21s hash_system_state
hash_system_state
2m 21s
added state hash calculation Python package #13: Commit 9aef0fb pushed by James-Baya
2m 14s hash_system_state
hash_system_state
2m 14s
changed names of add-state add-rules etc methods; fixed bug in clocke… Python package #12: Commit 4a4e4bb pushed by James-Baya
2m 5s main
main
2m 5s
changed names of add-state add-rules etc methods; fixed bug in clocke… Python package #11: Commit 4a4e4bb pushed by James-Baya
2m 2s loopy_clocked_process
loopy_clocked_process
2m 2s
added local-guard feature and tests for clocked process with parameters Python package #10: Commit 5799651 pushed by James-Baya
1m 54s loopy_clocked_process
loopy_clocked_process
1m 54s
changing definition of clocked rules with parameters, so that the Python package #9: Commit 3274a1f pushed by James-Baya
2m 3s loopy_clocked_process
loopy_clocked_process
2m 3s
added a simple auto-index element for Tuples Python package #8: Commit 3632f86 pushed by James-Baya
2m 14s main
main
2m 14s
added support (a bit hacky) for Tuple of Leaf Python package #7: Commit 06cfae8 pushed by James-Baya
2m 1s main
main
2m 1s
fixed bug in Static-Record where _dp_clocks was not present Python package #6: Commit eb68ffa pushed by James-Baya
2m 13s main
main
2m 13s
minor updates to comments and docs Python package #5: Commit 1bf2f3b pushed by James-Baya
2m 22s main
main
2m 22s
Enable tox & initial pytest Python package #4: Commit 972a78a pushed by eanorige
2m 19s tox_enb
tox_enb
2m 19s
Rename special files, add project links, fix markdown Python package #3: Commit 530f069 pushed by eanorige
2m 19s tox_enb
tox_enb
2m 19s
Rename special files, add project links, fix markdown Python package #2: Commit 530f069 pushed by eanorige
2m 5s main
main
2m 5s
initial commit for public release Python package #1: Commit 5e4449f pushed by James-Baya
2m 25s main
main
2m 25s