Feat/shedskin fprime support#35

Merged

lucasccordeiro merged 5 commits intomainfrom

feat/shedskin-fprime-support

Nov 23, 2025

Commits on Nov 23, 2025

runtime: extend Shedskin-compatible list/dict/set/str helpers
sergillam.oliveira
committed
add Shedskin/ESBMC docker workflow and make targets
sergillam.oliveira
committed
add Shedskin prepare script and ROS stubs
sergillam.oliveira
committed
add Shedskin runtime and F' threading smoke tests
sergillam.oliveira
committed
update README with Docker/Shedskin usage instructions
sergillam.oliveira
committed