index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
sail.c
Age
Commit message (
Expand
)
Author
2018-07-05
Fix equality comparisons for variants in C
Alasdair
2018-07-05
Fix equality comparisons for structs
Alasdair
2018-06-30
RTS: fix replicate_bits
Alastair Reid
2018-06-30
RTS: Add length asserts to bits ops
Alastair Reid
2018-06-30
Fix an issue with vector_update_subrange
Alasdair
2018-06-28
RTS: Add missing #include
Alastair Reid
2018-06-27
Actually fix real literals, and add a test for various properties
Alasdair Armstrong
2018-06-27
Fix reading reals from strings in C lib
Alasdair Armstrong
2018-06-27
libsail: optimise real_power
Alastair Reid
2018-06-27
Fix real implementation in C to use GMP rationals
Alasdair Armstrong
2018-06-25
Use getopt rather than argp for Mac compatibility in C runtime
Alasdair Armstrong
2018-06-25
flush stdout after putchar for terminal emulation purposes.
Robert Norton
2018-06-21
Fix MIPS wrt changes to C runtime
Alasdair Armstrong
2018-06-19
Add elf parsing from Alastair
Alasdair Armstrong
2018-06-19
Improvements to Sail C for booting Linux
Alasdair Armstrong
2018-06-15
Fixes for C RTS for aarch64 no it's split into multiple files
Alasdair Armstrong
2018-06-14
Refactor C backend, and split RTS into multiple files
Alasdair