aboutsummaryrefslogtreecommitdiffstats
path: root/riscV/Conventions1.v
Commit message (Expand)AuthorAgeFilesLines
* Support re-normalization of function parameters at function entryXavier Leroy2021-01-161-1/+2
* RISC-V: fix FP calling conventionsXavier Leroy2021-01-141-37/+49
* Replace `omega` tactic with `lia`Xavier Leroy2020-12-291-11/+11
* RISC-V: revised calling conventions for variadic functionsXavier Leroy2020-12-251-31/+41
* Changed cc_varargs to an option typeBernhard Schommer2020-12-251-1/+2
* Update the RISC-V calling conventions, continued (#227)Xavier Leroy2020-03-021-7/+10
* Update the RISC-V calling conventions (#221)Xavier Leroy2020-02-261-119/+131
* Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-241-64/+0
* Support re-normalization of values returned by function callsXavier Leroy2020-02-211-0/+6
* Refine the type of function results in AST.signatureXavier Leroy2020-02-211-11/+10
* Remove coq warnings (#28)Bernhard Schommer2017-09-221-2/+2
* riscV/Conventions1: in 32-bit mode, wrong size for stack-allocated arguments ...Xavier Leroy2017-08-261-2/+5
* Bring RISC-V port up to dateXavier Leroy2017-05-051-2/+4
* RISC-V port and assorted changesXavier Leroy2017-04-281-0/+436
generated by cgit (git 2.34.1) at 2024-05-09 13:28:37 +0000