Skip to content

Actions: loonwerks/INSPECTA-models

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update comments on SHA 2025-02-06 and add prototype of Manage Regulat… HAMR-codegen #56: Commit 07c5f88 pushed by John-Hatcliff
February 13, 2025 03:51 40m 57s main
main
February 13, 2025 03:51 40m 57s
Add notes on Stefan's latest contract scheme prototype HAMR-codegen #55: Commit f3be061 pushed by John-Hatcliff
February 12, 2025 19:50 45m 33s main
main
February 12, 2025 19:50 45m 33s
HAMR-codegen HAMR-codegen #54: Scheduled
February 8, 2025 02:44 39m 43s main
main
February 8, 2025 02:44 39m 43s
new translation prototype suggestion HAMR-codegen #53: Commit 15f4349 pushed by hallers
February 6, 2025 20:21 40m 22s main
main
February 6, 2025 20:21 40m 22s
add rust to path HAMR-codegen #52: Commit b8d76f0 pushed by jasonbelt
February 6, 2025 19:05 54m 56s main
main
February 6, 2025 19:05 54m 56s
add aadl datatypes model HAMR-codegen #51: Commit 028a09e pushed by jasonbelt
February 6, 2025 15:35 53m 18s main
main
February 6, 2025 15:35 53m 18s
remove struct-rust HAMR-codegen #50: Commit 7f6f36e pushed by jasonbelt
February 4, 2025 22:41 36m 28s main
main
February 4, 2025 22:41 36m 28s
add rust behavior code HAMR-codegen #49: Commit eca780c pushed by jasonbelt
February 3, 2025 18:59 37m 13s main
main
February 3, 2025 18:59 37m 13s
add rust annotations to aadl models HAMR-codegen #48: Commit c51f549 pushed by jasonbelt
February 3, 2025 18:05 37m 21s main
main
February 3, 2025 18:05 37m 21s
attempt at prototyping Rust translation HAMR-codegen #47: Commit ab05080 pushed by hallers
February 3, 2025 08:37 38m 44s main
main
February 3, 2025 08:37 38m 44s
HAMR-codegen HAMR-codegen #46: Scheduled
February 1, 2025 02:50 37m 39s main
main
February 1, 2025 02:50 37m 39s
update air HAMR-codegen #45: Commit ccc207b pushed by jasonbelt
January 31, 2025 20:30 37m 36s main
main
January 31, 2025 20:30 37m 36s
Fixed typos HAMR-codegen #44: Commit dd39e99 pushed by junaidca
January 30, 2025 19:59 37m 33s main
main
January 30, 2025 19:59 37m 33s
Updated MHS-junaid.rs and Rust Verus prototype discussion based on co… HAMR-codegen #43: Commit 7c7bf2d pushed by junaidca
January 30, 2025 19:55 37m 2s main
main
January 30, 2025 19:55 37m 2s
Update discussion about lastCmd in Isolette contract HAMR-codegen #42: Commit df78cfb pushed by John-Hatcliff
January 30, 2025 18:04 37m 25s main
main
January 30, 2025 18:04 37m 25s
Initial notes on Isolette rust / contract prototyping HAMR-codegen #41: Commit cd1bf00 pushed by John-Hatcliff
January 30, 2025 15:00 38m 28s main
main
January 30, 2025 15:00 38m 28s
Merge branch 'main' of github.com:loonwerks/INSPECTA-models HAMR-codegen #40: Commit f74552f pushed by John-Hatcliff
January 28, 2025 13:19 36m 7s main
main
January 28, 2025 13:19 36m 7s
add manual unit tests HAMR-codegen #39: Commit 91b3859 pushed by jasonbelt
January 27, 2025 18:52 36m 35s main
main
January 27, 2025 18:52 36m 35s
Merge branch 'main' of github.com:loonwerks/INSPECTA-models HAMR-codegen #38: Commit 96dc23d pushed by John-Hatcliff
January 27, 2025 17:42 35m 36s main
main
January 27, 2025 17:42 35m 36s
HAMR-codegen HAMR-codegen #37: Scheduled
January 25, 2025 02:40 38m 19s main
main
January 25, 2025 02:40 38m 19s
add ci tasks HAMR-codegen #36: Commit 8734f8c pushed by jasonbelt
January 22, 2025 21:14 38m 5s main
main
January 22, 2025 21:14 38m 5s
HAMR-codegen HAMR-codegen #35: Manually run by jasonbelt
January 22, 2025 19:37 34m 37s main
main
January 22, 2025 19:37 34m 37s
Merge branch 'main' of github.com:loonwerks/INSPECTA-models HAMR-codegen #34: Commit c267eff pushed by John-Hatcliff
January 22, 2025 16:27 35m 48s main
main
January 22, 2025 16:27 35m 48s
HAMR-codegen HAMR-codegen #33: Scheduled
January 18, 2025 02:40 33m 55s main
main
January 18, 2025 02:40 33m 55s
isolette: reprovision sysml HAMR-codegen #32: Commit 42ed7e2 pushed by jasonbelt
January 14, 2025 15:06 34m 27s main
main
January 14, 2025 15:06 34m 27s