summaryrefslogtreecommitdiff
path: root/lib/rts.c
AgeCommit message (Expand)Author
2020-10-14Support C coverage when sail_exit is usedBrian Campbell
2020-10-01pass pointer to g_elf_entry to get the ELF entrySander Huyghebaert
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-07-15Add a fast path to speed up platform_read_ram: use fast_read_ram if read is 8...Robert Norton
2019-04-27Merge branch 'sail2' into smt_experimentsAlasdair
2019-04-24SMT: Make sure we clear overflow checks between generating propertiesAlasdair Armstrong
2019-04-18Parameterise memory read/write primitives by address lengthJon French
2019-04-17now without memory leaksJon 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-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-01-31 08:12:47 +0000