index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Compatibility with OCaml 4.08 (#302)
Xavier Leroy
2019-07-08
9
-12
/
+11
*
Make configure resistant to Windows EOL and paths (#305)
MSoegtropIMC
2019-07-08
1
-1
/
+1
*
Fix compatibility with Coq 8.10 (#303)
Jacques-Henri Jourdan
2019-07-06
3
-9
/
+10
*
Update synonymous list for -O0, add new named warning class
Michael Schmidt
2019-07-05
1
-1
/
+6
*
Update documentation of -Obranchless
Xavier Leroy
2019-07-05
2
-7
/
+9
*
Rename option `-ffavor-branchless` into `-Obranchless`
Xavier Leroy
2019-07-05
3
-7
/
+7
*
New parser based on new version of the Coq backend of Menhir (#276)
Jacques-Henri Jourdan
2019-07-05
34
-3583
/
+3163
*
Avoid relying on `Export` bug (#301)
Maxime Dénès
2019-07-04
1
-1
/
+2
*
Deref is not safe.
Bernhard Schommer
2019-07-04
1
-1
/
+1
*
Added new diagnostic for non-linear conditionals
Bernhard Schommer
2019-07-04
6
-1
/
+179
*
Added helper function for array types.
Bernhard Schommer
2019-07-04
2
-0
/
+7
*
Added statement traversal functions.
Bernhard Schommer
2019-07-04
1
-107
/
+90
*
Change the expected types for arguments to __builtin_annot, and extended asm
Xavier Leroy
2019-06-19
1
-5
/
+25
*
Extended asm: print register names according to their types
Xavier Leroy
2019-06-17
6
-19
/
+34
*
Updated man page.
Bernhard Schommer
2019-06-17
1
-0
/
+10
*
Perform constant propagation and strength reduction on conditional moves
Xavier Leroy
2019-06-17
7
-6
/
+128
*
Added Pfmovite to list of known mnemonic names.
Bernhard Schommer
2019-06-06
1
-1
/
+1
*
Cminortyping: relax typechecking of function calls
Xavier Leroy
2019-06-06
1
-12
/
+15
*
If-conversion optimization
Xavier Leroy
2019-06-06
10
-75
/
+751
*
Type inference and type checking for Cminor
Xavier Leroy
2019-06-06
2
-1
/
+798
*
Additional simulation diagrams for determinate source languages
Xavier Leroy
2019-06-06
1
-0
/
+173
*
ARM: select is not supported at type Tlong
Xavier Leroy
2019-06-06
2
-2
/
+11
*
New additional check for void parameters. (#174)
Bernhard Schommer
2019-06-03
1
-3
/
+5
*
Fix misspellings in messages, man pages, and comments
Xavier Leroy
2019-05-31
21
-31
/
+31
*
Provide a float select operation for PowerPC. (#173)
Bernhard Schommer
2019-05-28
9
-7
/
+101
*
PowerPC: add SelectOp.select function
Xavier Leroy
2019-05-26
2
-0
/
+31
*
ARM: Fix expansion of FP conditional move
Xavier Leroy
2019-05-26
1
-2
/
+2
*
Coq 8.9.1 support
Xavier Leroy
2019-05-21
1
-3
/
+3
*
Csyntax.v: Fix a typo in a documentation comment (#292)
Bart Jacobs
2019-05-21
1
-1
/
+1
*
Add a check for the args of unprototyped calls.
Bernhard Schommer
2019-05-20
1
-3
/
+8
*
Provide a default "select" operation for the RiscV port
Xavier Leroy
2019-05-20
2
-0
/
+20
*
Implement a `Osel` operation for ARM
Xavier Leroy
2019-05-20
12
-7
/
+115
*
Implement a `Osel` operation for x86
Xavier Leroy
2019-05-20
11
-38
/
+298
*
Emulate the "isel" instruction on non-EREF PPC processors
Xavier Leroy
2019-05-20
3
-22
/
+42
*
Implement a `Osel` operation for PowerPC
Xavier Leroy
2019-05-20
7
-9
/
+106
*
Give a semantics to the Pisel instruction
Xavier Leroy
2019-05-20
1
-1
/
+7
*
Support a "select" operation between two values
Xavier Leroy
2019-05-20
3
-0
/
+212
*
PowerPC: make sure evaluation of conditions do not destroy any register
Xavier Leroy
2019-05-20
4
-54
/
+155
*
Prepend $(DESTDIR) to the installation target (#169)
Bernhard Schommer
2019-05-17
2
-16
/
+16
*
Reworked elaboration of declarations/definitions.
Bernhard Schommer
2019-05-10
1
-140
/
+138
*
Added options -fcommon and -fno-common (#164)
Bernhard Schommer
2019-05-10
8
-15
/
+41
*
Change to AbsInt version string.
Bernhard Schommer
2019-05-10
5
-6
/
+6
*
Check for reserved keywords.
Bernhard Schommer
2019-05-10
1
-1
/
+8
*
Fix various scoping issues (#163)
Bernhard Schommer
2019-05-10
1
-51
/
+56
*
Ensure flushing of the error formatter.
Bernhard Schommer
2019-05-10
1
-0
/
+4
*
Expand the responsefiles earlier
Bernhard Schommer
2019-05-10
5
-17
/
+17
*
Check for alignment of command-line switches.
Bernhard Schommer
2019-05-10
2
-6
/
+10
*
More efficient test for powers of two
Xavier Leroy
2019-05-09
2
-26
/
+105
*
Make scripts compatible with new behavior of field_simplify (#291)
Vincent Laporte
2019-05-06
2
-3
/
+3
*
Rename Fappli_IEEE_extra.v into IEEE754_extra.v
Xavier Leroy
2019-04-26
3
-2
/
+2
[prev]
[next]