Skip to content

Actions: sireum/hamr-codegen

Actions

macOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI-macOS.yml
216 workflow runs
216 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into clint macOS #583: Commit 3810272 pushed by ClintMcKenzieJr
January 6, 2025 21:06 52m 33s clint
clint
January 6, 2025 21:06 52m 33s
update codegen cli args macOS #582: Commit 2398299 pushed by jasonbelt
January 6, 2025 20:40 8m 49s master
master
January 6, 2025 20:40 8m 49s
macOS macOS #581: Scheduled
January 4, 2025 02:40 3h 26m 18s master
master
January 4, 2025 02:40 3h 26m 18s
macOS macOS #580: Scheduled
December 28, 2024 02:39 1h 38m 15s master
master
December 28, 2024 02:39 1h 38m 15s
Removed 'empty' message from event port handlers macOS #579: Commit afcbc04 pushed by ClintMcKenzieJr
December 22, 2024 19:01 2h 34m 35s clint
clint
December 22, 2024 19:01 2h 34m 35s
Removed top-level system name from generated code macOS #578: Commit acde5a0 pushed by ClintMcKenzieJr
December 21, 2024 21:50 2h 32m 23s clint
clint
December 21, 2024 21:50 2h 32m 23s
macOS macOS #577: Scheduled
December 21, 2024 02:39 2h 19m 58s master
master
December 21, 2024 02:39 2h 19m 58s
refactor process binding resolution macOS #576: Commit 573c63c pushed by jasonbelt
December 18, 2024 19:46 1h 54m 14s master
master
December 18, 2024 19:46 1h 54m 14s
vm tweak macOS #575: Commit e2c01bf pushed by jasonbelt
December 16, 2024 18:47 2h 33m 19s master
master
December 16, 2024 18:47 2h 33m 19s
Fixing syntax macOS #574: Commit 7bc039f pushed by CatLiSantos
December 16, 2024 17:57 1h 41m 10s cat
cat
December 16, 2024 17:57 1h 41m 10s
macOS macOS #573: Scheduled
December 14, 2024 02:52 2h 4m 40s master
master
December 14, 2024 02:52 2h 4m 40s
Resolved conflicts macOS #572: Commit e38e77a pushed by ClintMcKenzieJr
December 10, 2024 19:28 2h 15m 41s clint
clint
December 10, 2024 19:28 2h 15m 41s
add initial microkit vm support macOS #571: Commit 899f874 pushed by jasonbelt
December 10, 2024 01:15 2h 0m 52s master
master
December 10, 2024 01:15 2h 0m 52s
macOS macOS #570: Scheduled
December 7, 2024 02:54 2h 5m 37s master
master
December 7, 2024 02:54 2h 5m 37s
macOS macOS #569: Scheduled
November 30, 2024 02:49 2h 16m 6s master
master
November 30, 2024 02:49 2h 16m 6s
macOS macOS #568: Scheduled
November 23, 2024 02:45 2h 12m 42s master
master
November 23, 2024 02:45 2h 12m 42s
use environment's sireum.jar if build.cmd is called via 'sireum slang… macOS #567: Commit 550bc8e pushed by jasonbelt
November 22, 2024 18:38 1h 52m 54s master
master
November 22, 2024 18:38 1h 52m 54s
fix microkit handling of array and struct payloads macOS #566: Commit e402270 pushed by jasonbelt
November 22, 2024 17:29 2h 0m 2s master
master
November 22, 2024 17:29 2h 0m 2s
macOS macOS #565: Scheduled
November 16, 2024 02:48 2h 50m 9s master
master
November 16, 2024 02:48 2h 50m 9s
emit report in build dir macOS #564: Commit 592762f pushed by jasonbelt
November 14, 2024 22:25 2h 5m 38s master
master
November 14, 2024 22:25 2h 5m 38s
Created Runner and User files macOS #563: Commit 4f686a2 pushed by CatLiSantos
November 14, 2024 22:01 11m 21s cat
cat
November 14, 2024 22:01 11m 21s
add stack size support macOS #562: Commit 6017b78 pushed by jasonbelt
November 12, 2024 22:40 1h 56m 18s master
master
November 12, 2024 22:40 1h 56m 18s
microkit aadl type and port queue support macOS #561: Commit 657c08e pushed by jasonbelt
November 11, 2024 17:15 2h 28m 17s master
master
November 11, 2024 17:15 2h 28m 17s
use pos of symbol rather than the resolved type's pos macOS #560: Commit 37806f4 pushed by jasonbelt
November 11, 2024 17:11 5m 9s master
master
November 11, 2024 17:11 5m 9s
macOS macOS #559: Scheduled
November 9, 2024 02:37 1h 54m 0s master
master
November 9, 2024 02:37 1h 54m 0s