summaryrefslogtreecommitdiff
path: root/lib/sail.h
AgeCommit message (Expand)Author
2021-01-05Fix some cases when monomorphising vectors containing variable-length bitvectorsAlasdair
2020-05-14Various bugfixes and improvements for updated codegenAlasdair
2020-05-11Functorise and refactor C code generatorAlasdair
2019-12-06Don't introduce uneccesary control flow when compilingAlasdair Armstrong
2019-10-14Add -Ofixed_int and -Ofixed_bits to assume fixed-precision ints and bitvector...Alasdair Armstrong
2019-07-16Merge remote-tracking branch 'origin/sail2' into separate_bvAlasdair Armstrong
2019-06-17Implement a count_leading_zeros builtin for ocaml and c. This may be a slight...Robert Norton
2019-06-06Add arith_shiftr to C and OCaml librariesThomas Bauereiss
2019-05-17Experiment with making vector and bitvector distinct typesAlasdair Armstrong
2019-05-14Various bugfixesAlasdair Armstrong
2019-05-05C: Add option to compile using __int128 rather than GMPAlasdair
2019-05-03Jib: Fix optimizations for SMT IR changesAlasdair Armstrong
2019-04-27Merge branch 'sail2' into smt_experimentsAlasdair
2019-04-17SMT: Unroll simple foreach loopsAlasdair Armstrong
2019-04-15Merge branch 'sail2' into rmem_interpreterJon French
2019-03-22Tidy up of div and mod operators (C implementation was previously inconsisten...Robert Norton
2019-03-14Merge branch 'sail2' into rmem_interpreterJon French
2019-03-13C: Add missing update_lbits builtinAlasdair Armstrong
2019-03-05Additional optimizations for C compilationAlasdair
2019-02-25Merge branch 'sail2' into rmem_interpreterJon French
2019-02-21Allow monomorphisation with C generationAlasdair
2019-02-13Merge branch 'sail2' into rmem_interpreterJon French
2019-01-29Fixes for full v8.5Alasdair Armstrong
2018-12-28Remove opt_spc_matches_prefix from sail.h (fixes C tests)Jon French
2018-12-28Merge branch 'sail2' into rmem_interpreterJon French
2018-12-14Add truncateLSB builtin useful for implementing Cheri Concentrate. Also add b...Robert Norton
2018-12-11Fix all tests with type checking changesAlasdair Armstrong
2018-11-30Improvements for ASL parserAlasdair Armstrong
2018-11-23Introduce intermediate bitvector representation in CAlasdair Armstrong
2018-11-23C backend improvementsAlasdair Armstrong
2018-11-16Various bugfixes and a simple profiling feature for rewritesAlasdair Armstrong
2018-10-24Interpreter, RISC-V: move memory actions to parts of the interpreter response...Jon French
2018-10-16Re-implement space-related mapping functions in Sail rather than backendsJon French
2018-09-28Fix optimisation bug for certain if statementsAlasdair Armstrong
2018-09-04C: Tweaks to RISC-V to get compiling to CAlasdair Armstrong
2018-08-30Annotate the RISC-V prelude for C builtins.Prashanth Mundkur
2018-08-30C: Fix a bug where function argument type becomes more specific due to flow t...Alasdair Armstrong
2018-08-29C: Fix some issues with tuples as arguments to polymorphic constructorsAlasdair Armstrong
2018-08-06Cast each argument to a polymorphic constructor into it's most general typeAlasdair Armstrong
2018-07-12Add missing builtins needed for cheri128 C. Still doesn't build possibly due ...Robert Norton
2018-07-05Fix equality comparisons for variants in CAlasdair
2018-07-05Fix equality comparisons for structsAlasdair
2018-06-27Fix reading reals from strings in C libAlasdair Armstrong
2018-06-27Fix real implementation in C to use GMP rationalsAlasdair Armstrong
2018-06-25Use getopt rather than argp for Mac compatibility in C runtimeAlasdair Armstrong
2018-06-21Fix MIPS wrt changes to C runtimeAlasdair 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:41 +0000