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
/
backend
/
Conventions.v
Commit message (
Expand
)
Author
Age
Files
Lines
*
Treat Outgoing stack slots as caller-save in LTL/Linear semantics (#237)
Xavier Leroy
2018-06-17
1
-0
/
+53
*
Hybrid 64bit/32bit PowerPC port
Bernhard Schommer
2017-05-03
1
-4
/
+4
*
Introduce register pairs to describe calling conventions more precisely
Xavier Leroy
2016-05-17
1
-20
/
+28
*
Updated PR by removing whitespaces. Bug 17450.
Bernhard Schommer
2015-10-20
1
-9
/
+9
*
Big merge of the newregalloc-int64 branch. Lots of changes in two directions:
xleroy
2013-04-20
1
-189
/
+19
*
Merge of branch "unsigned-offsets":
xleroy
2011-04-09
1
-0
/
+16
*
Forgot to add this file. Part of the refactoring of $ARCH/$SYSTEM/Conventions.v
xleroy
2010-07-07
1
-0
/
+251
*
Reorganized the development, modularizing away machine-dependent parts.
xleroy
2008-12-30
1
-805
/
+0
*
Revised back-end so that only 2 integer registers are reserved for reloading.
xleroy
2008-12-21
1
-1
/
+5
*
Revu le traitement de la 'red zone' en bas de la pile
xleroy
2008-04-12
1
-9
/
+8
*
Revu gestion retaddr et link dans Stacking
xleroy
2008-04-12
1
-22
/
+19
*
Ajout license, README, copyright notices
xleroy
2008-01-27
1
-0
/
+12
*
Fusion des modifications faites sur les branches "tailcalls" et "smallstep".
xleroy
2007-08-04
1
-85
/
+196
*
Lever la restriction sur les fonctions externes, restriction qui exigeait que...
xleroy
2006-10-22
1
-23
/
+0
*
Fusion de la branche "traces":
xleroy
2006-09-04
1
-50
/
+65
*
Initial import of compcert
xleroy
2006-02-09
1
-0
/
+690