summaryrefslogtreecommitdiff
path: root/lib/rts.h
AgeCommit message (Expand)Author
2020-05-11Functorise and refactor C code generatorAlasdair
2019-07-31Change platform_barrier so it doesn't care about it's argument typeAlasdair Armstrong
2019-04-18Parameterise memory read/write primitives by address lengthJon French
2019-04-17add unimplemented C platform definitions for platform_read_mem etcJon French
2019-01-22Make sure we optimize constrained union constructorsAlasdair
2018-11-23Introduce intermediate bitvector representation in CAlasdair Armstrong
2018-07-12update arm and mips models for new type of write_ram builtin. Also fix c and ...Robert Norton
2018-06-28RTS: Add --verbosity flag to C modelAlastair Reid
2018-06-28Add tagged memory to C rts to cheri can be compiled to CAlasdair Armstrong
2018-06-27RTS/Main: tweaking cycle counter handlingAlastair Reid
2018-06-27Add a new function cycle_limit_reached that returns bool, allowing for gracef...Robert Norton
2018-06-27RTS: Add support for __ListConfigAlastair Reid
2018-06-27RTS: Delete __SetConfig stub functionAlastair Reid
2018-06-26turn on warnings when compiling mips c then dial back ones that are triggered...Robert Norton
2018-06-26RTS: implement sleep primitivesAlastair Reid
2018-06-21Add command line option support for Sail->C compiled modelsAlasdair Armstrong
2018-06-19Add elf parsing from AlastairAlasdair Armstrong
2018-06-15Fixes for C RTS for aarch64 no it's split into multiple filesAlasdair Armstrong
2018-06-14Refactor C backend, and split RTS into multiple filesAlasdair
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:44:37 +0000