summaryrefslogtreecommitdiff
path: root/lib/rts.c
AgeCommit message (Expand)Author
2019-01-22Make sure we optimize constrained union constructorsAlasdair
2018-11-23Introduce intermediate bitvector representation in CAlasdair Armstrong
2018-11-16Various bugfixes and a simple profiling feature for rewritesAlasdair Armstrong
2018-10-23RTS: allow elf-loader to provide entry info.Prashanth Mundkur
2018-09-10Various fixesAlasdair Armstrong
2018-09-07C: add a usage message to the rts.Prashanth Mundkur
2018-07-23RTS: make g_cycle_count publicAlastair Reid
2018-07-12update arm and mips models for new type of write_ram builtin. Also fix c and ...Robert Norton
2018-06-29RTS: tweak TIMEOUT messageAlastair Reid
2018-06-28RTS: Fix utterly broken command line parsingAlastair Reid
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-28Fix warning in rts.cRobert Norton
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: __SetConfig support is off by defaultAlastair Reid
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-26RTS: stub support for -C command line optionAlastair Reid
2018-06-25Use getopt rather than argp for Mac compatibility in C runtimeAlasdair Armstrong
2018-06-21Add command line option support for Sail->C compiled modelsAlasdair Armstrong
2018-06-21Simplify the ANF->IR translationAlasdair Armstrong
2018-06-19Add elf parsing from AlastairAlasdair Armstrong
2018-06-19Improvements to Sail C for booting LinuxAlasdair 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-02-26 21:24:47 +0000