aboutsummaryrefslogtreecommitdiffstats
path: root/riscV
Commit message (Expand)AuthorAgeFilesLines
...
* Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-101-2/+2
* Move Z definitions out of Integers and into ZbitsXavier Leroy2019-04-262-10/+11
* Upgrade embedded version of Flocq to 3.1.Guillaume Melquiond2019-03-271-14/+16
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-123-7/+9
* Compatibility with OCaml 4.07 (#241) continuedBernhard Schommer2018-07-121-1/+1
* Model external calls as destroying all caller-save registersXavier Leroy2018-06-012-3/+12
* Print x2 for riscV stack pointer.Bernhard Schommer2018-03-081-2/+2
* Fix register naming for stack pointer.Bernhard Schommer2018-03-081-1/+1
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-5/+5
* Improve strength reduction of unsigned comparisons x ==u 0, x !=u 0, etc (#59)Xavier Leroy2018-02-162-15/+49
* Change AsmToJson to be similar to other printers.Bernhard Schommer2018-01-051-2/+5
* Resynchronize the LICENSE file and the license headers in individual files (#45)Xavier Leroy2018-01-051-0/+3
* Optimization for division by one during constant propagation (#39)Michael Schmidt2017-12-052-10/+24
* Remove no longer used function. Bug 22525Bernhard Schommer2017-11-101-2/+0
* Removed no longer used function. Bug 22525Bernhard Schommer2017-11-091-21/+0
* Fix jumptable issue.Bernhard Schommer2017-11-081-1/+1
* Simplifiy handling of constant emmitting.Bernhard Schommer2017-11-081-51/+25
* Remove superfluous function.Bernhard Schommer2017-11-061-2/+0
* Merge pull request #191 from sigurdschneider/masterXavier Leroy2017-10-201-0/+1
|\
| * Ensure FunInd or Recdef is imported if functional induction is usedSigurd Schneider2017-07-201-0/+1
* | New support for inserting ais-annotations.Bernhard Schommer2017-10-193-8/+16
* | Moved common buitlins to C2C gernic_builtins.Bernhard Schommer2017-09-261-8/+0
* | Added dump-mnemonics option.Bernhard Schommer2017-09-251-0/+2
* | Remove coq warnings (#28)Bernhard Schommer2017-09-224-5/+5
* | riscV/Conventions1: in 32-bit mode, wrong size for stack-allocated arguments ...Xavier Leroy2017-08-261-2/+5
* | riscV/Machregs: no printable name was associated to register X31Xavier Leroy2017-08-261-1/+1
* | Print_annot should produce a string.Bernhard Schommer2017-07-191-3/+8
|/
* Extend builtin arguments with a pointer addition operator, continuedXavier Leroy2017-07-065-8/+57
* Formatted json printing.Bernhard Schommer2017-06-281-2/+2
* Bring RISC-V port up to dateXavier Leroy2017-05-051-2/+4
* RISC-V port and assorted changesXavier Leroy2017-04-2827-0/+12467
generated by cgit (git 2.34.1) at 2024-05-18 08:34:20 +0000