| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-10-17 | Allow generating C that doesn't hard code any libraries | Alasdair Armstrong | |
| 2019-10-16 | Now builds arm address translation with clang -target aarch64-none-eabi | Alasdair Armstrong | |
| Some builtins need properly implementing still Use modified spinlock implementation from hafnium with stdatomic, rather than assembly | |||
| 2019-10-16 | Make nostd Sail arena allocator thread safe (maybe) | Alasdair | |
| 2019-10-15 | More work on bare-metal Sail | Alasdair Armstrong | |
| 2019-10-14 | Add -Ofixed_int and -Ofixed_bits to assume fixed-precision ints and ↵ | Alasdair Armstrong | |
| bitvectors in C Assumes a Sail C library that has functions with the right types to support this. Currently lib/int128 supports the -Ofixed_int option, which was previously -Oint128. Add a version of Sail C library that can be built with -nostdlib and -ffreestanding, assuming the above options. Currently just a header file without any implementation, but with the right types | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |