summaryrefslogtreecommitdiff
path: root/src/sail_lib.ml
AgeCommit message (Expand)Author
2019-01-22Make sure there is an ocaml representation for optimized memory read forAlasdair
2018-12-14Add truncateLSB builtin useful for implementing Cheri Concentrate. Also add b...Robert Norton
2018-12-14Get real number tests working in OCaml/InterpreterAlasdair
2018-12-13Fixing rationals in Sail interpreter and OCamlAlasdair Armstrong
2018-12-13Add hooks to call cgen stub file for RISC-VAlasdair Armstrong
2018-10-16Re-implement space-related mapping functions in Sail rather than backendsJon French
2018-10-10refer to Util.list_init.ml rather than List.init in sail_lib.mlChristopher Pulte
2018-10-03Drop unnecessary thunking; more trouble than it's worthBrian Campbell
2018-10-02Rough code to generate random instructions for testingBrian Campbell
2018-09-19separate decimal_string_of_bits from string_of_bitsJon French
2018-09-14Sail_lib.string_of_bits: print in decimal (properly, with bigints) rather tha...Jon French
2018-09-14(oops, should have been with "more hex_bits_N monomorphs")Jon French
2018-09-14Sail_lib.int_of_string_opt: use Big_int.of_string rather than OCaml int_of_st...Jon French
2018-09-14More monomorphisations for hex_bits_N...Jon French
2018-09-14Sail_lib and RISCV prelude: functions for bitwise operations on intsJon French
2018-09-10Various fixesAlasdair Armstrong
2018-09-04C: Tweaks to RISC-V to get compiling to CAlasdair Armstrong
2018-08-31riscv prelude: yet more manual monomorphisations for hex_bitsJon French
2018-08-16Various cleanups to ott grammarAlasdair Armstrong
2018-07-11RISC-V model fixes for RMEMJon French
2018-07-09Initialize fresh memory to 0 in the OCaml backend.Prashanth Mundkur
2018-06-22add support for new cycle_limit feature in mips.Robert Norton
2018-06-21Merge branch 'tracing' into sail2Alasdair Armstrong
2018-06-14provide impl of int_of_string_opt in Sail_lib to support older Ocaml versionsJon French
2018-06-13Tracing instrumentation for C backendAlasdair Armstrong
2018-06-11add 'pat as id' mapping-patternsJon French
2018-06-11Merge branch 'sail2' into mappingsJon French
2018-06-04switch to using a Map data structure for cheri tags in ocaml backend. This so...Robert Norton
2018-06-04Use Util.split_on_char in sail_lib.mlAlasdair Armstrong
2018-05-31Fix for Jenkins buildAlasdair Armstrong
2018-05-31Fixes to get ARM u-boot working in Sail.Alasdair Armstrong
2018-05-31Some tweaks to ocaml compilation and sail_lib for ARM with system registersAlasdair Armstrong
2018-05-25Use paged memory storage for ocaml backend memory. This is slightly slower (<...Robert Norton
2018-05-23riscv decode now uses mapping-decode and passes testsJon French
2018-05-21further RISCV mapping: all extant non-compressed instructions doneJon French
2018-05-18more riscv mappings; riscv now builds successfully to lem which builds to isa...Jon French
2018-05-17changes to for testing FreeBSD boot on MIPS: allowing loading raw file in oca...Robert Norton
2018-05-11further riscv mappingJon French
2018-05-10more mappingJon French
2018-05-10hacky monomorphic bits-string-parser for nowJon French
2018-05-10add space handling mappings to riscv prelude and sail_lib.mlJon French
2018-05-03support sub-mappings in string-append-patternsJon French
2018-05-02refactor string append pattern ast to be based on lists rather than pairsJon French
2018-05-01it worksJon French
2018-05-01rewriting of builtin mappings e.g. intJon French
2018-05-01further progress but confounds the type checker?Jon French
2018-05-01progress on debugging string pattern matchingJon French
2018-05-01starting to also do integer supportJon French
2018-05-01start of string pattern matching: currently only literalsJon French
2018-04-03Added test cases for builtinsAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:44:17 +0000