index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
riscV
/
Conventions1.v
Commit message (
Expand
)
Author
Age
Files
Lines
*
Replace `omega` tactic with `lia`
Xavier Leroy
2020-12-29
1
-11
/
+11
*
RISC-V: revised calling conventions for variadic functions
Xavier Leroy
2020-12-25
1
-31
/
+41
*
Changed cc_varargs to an option type
Bernhard Schommer
2020-12-25
1
-1
/
+2
*
Update the RISC-V calling conventions, continued (#227)
Xavier Leroy
2020-03-02
1
-7
/
+10
*
Update the RISC-V calling conventions (#221)
Xavier Leroy
2020-02-26
1
-119
/
+131
*
Platform-independent implementation of Conventions.size_arguments (#222)
Xavier Leroy
2020-02-24
1
-64
/
+0
*
Support re-normalization of values returned by function calls
Xavier Leroy
2020-02-21
1
-0
/
+6
*
Refine the type of function results in AST.signature
Xavier Leroy
2020-02-21
1
-11
/
+10
*
Remove coq warnings (#28)
Bernhard Schommer
2017-09-22
1
-2
/
+2
*
riscV/Conventions1: in 32-bit mode, wrong size for stack-allocated arguments ...
Xavier Leroy
2017-08-26
1
-2
/
+5
*
Bring RISC-V port up to date
Xavier Leroy
2017-05-05
1
-2
/
+4
*
RISC-V port and assorted changes
Xavier Leroy
2017-04-28
1
-0
/
+436