sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-06-28	RTS: Add missing #include	Alastair Reid
	Every Unix is subtly different.
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
	The Arm spec uses the value 2.0^1000000 to represent infinity so it is worth making real_power take logarithmic time.
2018-06-27	Fix real implementation in C to use GMP rationals	Alasdair Armstrong
	Implement square root function for rationals up to an arbitrary precision, currently 30 decimal places. May need to increase this for ARM tests.
2018-06-25	Use getopt rather than argp for Mac compatibility in C runtime	Alasdair Armstrong
	Also further tweaks to Sail library for C and include sail lib files for tracing
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
	This plus changes to bitfield internals is enough to run some MIPS tests at 1Mhz.
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
	Fix a bug involving indentifers on the left hand side of assignment statements not being shadowed correctly within foreach loops. Make the different between different types of integer division explicit in at least the C compilation for now. fdiv_int is division rounding towards -infinity (floor). while tdiv_int is truncating towards zero. Same for fmod_int and tmod_int.
2018-06-14	Refactor C backend, and split RTS into multiple files	Alasdair