Skip to content

Actions: sireum/hamr-codegen

Actions

CAmkES

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI-camkes.yml
202 workflow runs
202 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into clint CAmkES #458: Commit 85abf47 pushed by ClintMcKenzieJr
January 9, 2025 00:50 3h 27m 59s clint
clint
January 9, 2025 00:50 3h 27m 59s
increase default compute exeution time CAmkES #457: Commit 70dccd5 pushed by jasonbelt
January 8, 2025 20:30 3h 27m 28s master
master
January 8, 2025 20:30 3h 27m 28s
Updated copyright years. CAmkES #456: Commit 4cd27b7 pushed by robby-phd
January 8, 2025 17:32 3h 38m 53s master
master
January 8, 2025 17:32 3h 38m 53s
tipe fixes CAmkES #455: Commit 1563cde pushed by jasonbelt
January 8, 2025 00:18 3h 31m 16s master
master
January 8, 2025 00:18 3h 31m 16s
microkit: handle unconnected ports CAmkES #454: Commit 1d5f100 pushed by jasonbelt
January 7, 2025 23:55 8m 29s master
master
January 7, 2025 23:55 8m 29s
update submodule CAmkES #453: Commit dd4efd0 pushed by jasonbelt
January 7, 2025 16:17 3h 38m 58s master
master
January 7, 2025 16:17 3h 38m 58s
update build props CAmkES #452: Commit 77d7e27 pushed by jasonbelt
January 7, 2025 15:51 26m 17s master
master
January 7, 2025 15:51 26m 17s
Corrected multidimensional array handling, edited enum converter CAmkES #451: Commit d75ff57 pushed by ClintMcKenzieJr
January 7, 2025 01:56 3h 31m 17s clint
clint
January 7, 2025 01:56 3h 31m 17s
update submodule CAmkES #450: Commit a3d4fad pushed by jasonbelt
January 6, 2025 21:53 3h 34m 41s master
master
January 6, 2025 21:53 3h 34m 41s
Merge branch 'master' into clint CAmkES #449: Commit 3810272 pushed by ClintMcKenzieJr
January 6, 2025 21:06 52m 18s clint
clint
January 6, 2025 21:06 52m 18s
update codegen cli args CAmkES #448: Commit 2398299 pushed by jasonbelt
January 6, 2025 20:40 15m 48s master
master
January 6, 2025 20:40 15m 48s
CAmkES CAmkES #447: Scheduled
January 4, 2025 02:40 3h 37m 6s master
master
January 4, 2025 02:40 3h 37m 6s
CAmkES CAmkES #446: Scheduled
December 28, 2024 02:39 3h 31m 44s master
master
December 28, 2024 02:39 3h 31m 44s
Removed 'empty' message from event port handlers CAmkES #445: Commit afcbc04 pushed by ClintMcKenzieJr
December 22, 2024 19:01 3h 29m 18s clint
clint
December 22, 2024 19:01 3h 29m 18s
Removed top-level system name from generated code CAmkES #444: Commit acde5a0 pushed by ClintMcKenzieJr
December 21, 2024 21:50 3h 36m 16s clint
clint
December 21, 2024 21:50 3h 36m 16s
CAmkES CAmkES #443: Scheduled
December 21, 2024 02:40 3h 34m 37s master
master
December 21, 2024 02:40 3h 34m 37s
refactor process binding resolution CAmkES #442: Commit 573c63c pushed by jasonbelt
December 18, 2024 19:46 3h 33m 9s master
master
December 18, 2024 19:46 3h 33m 9s
vm tweak CAmkES #441: Commit e2c01bf pushed by jasonbelt
December 16, 2024 18:47 3h 26m 40s master
master
December 16, 2024 18:47 3h 26m 40s
Fixing syntax CAmkES #440: Commit 7bc039f pushed by CatLiSantos
December 16, 2024 17:57 1h 52m 22s cat
cat
December 16, 2024 17:57 1h 52m 22s
CAmkES CAmkES #439: Scheduled
December 14, 2024 02:52 3h 32m 8s master
master
December 14, 2024 02:52 3h 32m 8s
Resolved conflicts CAmkES #438: Commit e38e77a pushed by ClintMcKenzieJr
December 10, 2024 19:28 3h 44m 38s clint
clint
December 10, 2024 19:28 3h 44m 38s
add initial microkit vm support CAmkES #437: Commit 899f874 pushed by jasonbelt
December 10, 2024 01:15 3h 30m 26s master
master
December 10, 2024 01:15 3h 30m 26s
CAmkES CAmkES #436: Scheduled
December 7, 2024 02:55 3h 32m 43s master
master
December 7, 2024 02:55 3h 32m 43s
CAmkES CAmkES #435: Scheduled
November 30, 2024 02:49 3h 41m 47s master
master
November 30, 2024 02:49 3h 41m 47s
CAmkES CAmkES #434: Scheduled
November 23, 2024 02:46 3h 27m 44s master
master
November 23, 2024 02:46 3h 27m 44s