summaryrefslogtreecommitdiff
path: root/src/sail_lib.ml
AgeCommit message (Expand)Author
2020-03-29Implement set_slice_int in the interpreterAlasdair
2020-02-20Fix missing code generation builtins for lists. Fixes #59Alasdair Armstrong
2019-11-21Implement -cycle-limit option for OCaml emulator similar to one for C.Robert Norton
2019-11-04Allow overriding the interpreter effectsAlasdair Armstrong
2019-07-16Merge remote-tracking branch 'origin/sail2' into separate_bvAlasdair Armstrong
2019-06-19Fix buggy ocaml implementation of count_leading_zeros and also make tail recu...Robert Norton
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-06-04Merge branch 'sail2' into separate_bvAlasdair Armstrong
2019-05-30Implement ones builtin in sail_lib and add to interpreter. However currently ...Robert Norton
2019-05-17Experiment with making vector and bitvector distinct typesAlasdair Armstrong
2019-05-13Merge branch 'sail2' into smt_experimentsAlasdair
2019-05-13Changes to toFromInterp backend to support aarch64_smallJon French
2019-05-10SMT: Experiment with symbolic memory reads and writesAlasdair Armstrong
2019-03-22Tidy up of div and mod operators (C implementation was previously inconsisten...Robert Norton
2019-03-15Various monomorphisation tweaks and fixesThomas Bauereiss
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:06:48 +0000