sail/lib/nostd, branch sail2 Formal specification language for ISAs Allow generating C that doesn't hard code any libraries 2019-10-17T13:49:39+00:00 Alasdair Armstrong 2019-10-17T13:49:39+00:00 f9be5b3bba7113f62cb0d911eb634cc126782785 






Now builds arm address translation with clang -target aarch64-none-eabi
2019-10-16T16:11:32+00:00

Alasdair Armstrong

2019-10-16T16:11:32+00:00

73edc3bd10ae10459260069407e1d1e464d334e2

Some builtins need properly implementing still

Use modified spinlock implementation from hafnium with stdatomic,
rather than assembly





Some builtins need properly implementing still

Use modified spinlock implementation from hafnium with stdatomic,
rather than assembly







Make nostd Sail arena allocator thread safe (maybe)
2019-10-16T01:55:57+00:00

Alasdair

2019-10-16T01:55:57+00:00

3fd28557f9282385d5a4b0d1c3a4f24ec7c7de6c












More work on bare-metal Sail
2019-10-15T18:16:15+00:00

Alasdair Armstrong

2019-10-15T18:16:15+00:00

478a236c020866f30fc1e42149550c0a7a17a2f7












Add -Ofixed_int and -Ofixed_bits to assume fixed-precision ints and bitvectors in C
2019-10-14T19:14:43+00:00

Alasdair Armstrong

2019-10-14T18:55:08+00:00

5056bf80156738b3ed146ae052f751fa703fecad

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





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