diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2023-02-07 10:03:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-07 10:03:41 +0100 |
| commit | 243c0f7ce4e8b6c22ddd930bd470ab74187e5256 (patch) | |
| tree | cb824d64ac60ff7d3c52d2e99fa68c3a22e7bf99 /backend/Selectionproof.v | |
| parent | 2db601dc7c8055d2b666b14d57dc6d5d1c7cc077 (diff) | |
| download | compcert-243c0f7ce4e8b6c22ddd930bd470ab74187e5256.tar.gz compcert-243c0f7ce4e8b6c22ddd930bd470ab74187e5256.zip | |
RISC-V: print flt.s, feq.s, fle.s with a tab after the mnemonic (#481)
Diffstat (limited to 'backend/Selectionproof.v')
0 files changed, 0 insertions, 0 deletions