Skip to content

Actions: santoslab/case-tool-assessment-4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update dot CAmkES #32: Commit eb5a649 pushed by jasonbelt
September 30, 2024 17:56 23m 6s main
main
September 30, 2024 17:56 23m 6s
add simple verison of three domain model CAmkES #31: Commit 14c204b pushed by jasonbelt
September 30, 2024 16:41 3m 14s main
main
September 30, 2024 16:41 3m 14s
use domain scheduling CAmkES #30: Commit 14c344d pushed by jasonbelt
September 16, 2024 21:19 45m 3s main
main
September 16, 2024 21:19 45m 3s
add hamr gen code CAmkES #29: Commit 82daa6c pushed by jasonbelt
August 26, 2024 18:05 34m 30s main
main
August 26, 2024 18:05 34m 30s
add CASE version CAmkES #28: Commit 48560dc pushed by jasonbelt
August 22, 2024 18:21 6h 0m 14s main
main
August 22, 2024 18:21 6h 0m 14s
Update documentation and remove enforcement of CASE modeling guidelines CAmkES #27: Commit cdd94ca pushed by John-Hatcliff
August 21, 2024 18:22 33m 47s main
main
August 21, 2024 18:22 33m 47s
Add first version of ARINC 653-based annex of Gernot's example CAmkES #26: Commit 4ffcbc4 pushed by John-Hatcliff
July 30, 2024 22:46 33m 44s main
main
July 30, 2024 22:46 33m 44s
fix linx arm detection CAmkES #25: Commit 6703809 pushed by jasonbelt
June 25, 2024 14:33 53m 47s main
main
June 25, 2024 14:33 53m 47s
Update readme.md to fix typos CAmkES #24: Commit 0f186ec pushed by John-Hatcliff
May 20, 2024 23:14 38m 47s main
main
May 20, 2024 23:14 38m 47s
Fix URL in readme CAmkES #23: Commit 305fdbf pushed by John-Hatcliff
May 20, 2024 20:49 37m 52s main
main
May 20, 2024 20:49 37m 52s
Small corrections to readme CAmkES #22: Commit 89ddd44 pushed by John-Hatcliff
May 20, 2024 20:46 39m 35s main
main
May 20, 2024 20:46 39m 35s
Add thread discussion to readme CAmkES #21: Commit df926ef pushed by John-Hatcliff
May 20, 2024 20:42 34m 45s main
main
May 20, 2024 20:42 34m 45s
Add port discussion to readme CAmkES #20: Commit 47ba47b pushed by John-Hatcliff
May 20, 2024 18:24 35m 8s main
main
May 20, 2024 18:24 35m 8s
update sireum version CAmkES #19: Commit 566009a pushed by jasonbelt
May 17, 2024 17:51 34m 59s main
main
May 17, 2024 17:51 34m 59s
fix init CAmkES #18: Commit 9d66504 pushed by jasonbelt
May 16, 2024 22:10 34m 37s main
main
May 16, 2024 22:10 34m 37s
add microkit to readme CAmkES #17: Commit 0bfc87b pushed by jasonbelt
May 16, 2024 21:41 33m 12s main
main
May 16, 2024 21:41 33m 12s
fix path CAmkES #16: Commit f68417b pushed by jasonbelt
May 10, 2024 21:57 34m 39s main
main
May 10, 2024 21:57 34m 39s
fix path CAmkES #15: Commit ea63cfb pushed by jasonbelt
May 10, 2024 21:35 32m 57s main
main
May 10, 2024 21:35 32m 57s
initial CAmkES #14: Commit 0109b76 pushed by jasonbelt
May 10, 2024 21:23 32m 39s main
main
May 10, 2024 21:23 32m 39s
t CAmkES #13: Commit e0b376d pushed by jasonbelt
May 10, 2024 21:21 2m 36s main
main
May 10, 2024 21:21 2m 36s
t CAmkES #12: Commit adf474e pushed by jasonbelt
May 10, 2024 21:21 2m 57s main
main
May 10, 2024 21:21 2m 57s
t CAmkES #11: Commit 2b0a3c5 pushed by jasonbelt
May 10, 2024 21:20 3m 44s main
main
May 10, 2024 21:20 3m 44s
add top level readme CAmkES #10: Commit fce2c90 pushed by jasonbelt
May 10, 2024 21:04 20m 15s main
main
May 10, 2024 21:04 20m 15s
swap order CAmkES #9: Commit 0ba1dd6 pushed by jasonbelt
May 10, 2024 20:55 33m 34s main
main
May 10, 2024 20:55 33m 34s
checkpoint CAmkES #8: Commit f44d498 pushed by jasonbelt
May 10, 2024 20:52 31m 32s main
main
May 10, 2024 20:52 31m 32s