aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* Fix tracing options for clightgen.Bernhard Schommer2019-07-151-10/+23
* Revised specification of NaN payload behaviorXavier Leroy2019-07-126-193/+209
* More precise description of '-O0' and 'non-linear-cond-expr'Michael Schmidt2019-07-101-1/+2
* Change condition for warning of conditional exprBernhard Schommer2019-07-101-1/+1
* -O0 now implies -fno-inliningMichael Schmidt2019-07-091-1/+1
* Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-089-12/+11
* Make configure resistant to Windows EOL and paths (#305)MSoegtropIMC2019-07-081-1/+1
* Fix compatibility with Coq 8.10 (#303)Jacques-Henri Jourdan2019-07-063-9/+10
* Update synonymous list for -O0, add new named warning classMichael Schmidt2019-07-051-1/+6
* Update documentation of -ObranchlessXavier Leroy2019-07-052-7/+9
* Rename option `-ffavor-branchless` into `-Obranchless`Xavier Leroy2019-07-053-7/+7
* New parser based on new version of the Coq backend of Menhir (#276)Jacques-Henri Jourdan2019-07-0534-3583/+3163
* Avoid relying on `Export` bug (#301)Maxime Dénès2019-07-041-1/+2
* Deref is not safe.Bernhard Schommer2019-07-041-1/+1
* Added new diagnostic for non-linear conditionalsBernhard Schommer2019-07-046-1/+179
* Added helper function for array types.Bernhard Schommer2019-07-042-0/+7
* Added statement traversal functions.Bernhard Schommer2019-07-041-107/+90
* Change the expected types for arguments to __builtin_annot, and extended asmXavier Leroy2019-06-191-5/+25
* Extended asm: print register names according to their typesXavier Leroy2019-06-176-19/+34
* Updated man page.Bernhard Schommer2019-06-171-0/+10
* Perform constant propagation and strength reduction on conditional movesXavier Leroy2019-06-177-6/+128
* Added Pfmovite to list of known mnemonic names.Bernhard Schommer2019-06-061-1/+1
* Cminortyping: relax typechecking of function callsXavier Leroy2019-06-061-12/+15
* If-conversion optimizationXavier Leroy2019-06-0610-75/+751
* Type inference and type checking for CminorXavier Leroy2019-06-062-1/+798
* Additional simulation diagrams for determinate source languagesXavier Leroy2019-06-061-0/+173
* ARM: select is not supported at type TlongXavier Leroy2019-06-062-2/+11
* New additional check for void parameters. (#174)Bernhard Schommer2019-06-031-3/+5
* Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-3121-31/+31
* Provide a float select operation for PowerPC. (#173)Bernhard Schommer2019-05-289-7/+101
* PowerPC: add SelectOp.select functionXavier Leroy2019-05-262-0/+31
* ARM: Fix expansion of FP conditional moveXavier Leroy2019-05-261-2/+2
* Coq 8.9.1 supportXavier Leroy2019-05-211-3/+3
* Csyntax.v: Fix a typo in a documentation comment (#292)Bart Jacobs2019-05-211-1/+1
* Add a check for the args of unprototyped calls.Bernhard Schommer2019-05-201-3/+8
* Provide a default "select" operation for the RiscV portXavier Leroy2019-05-202-0/+20
* Implement a `Osel` operation for ARMXavier Leroy2019-05-2012-7/+115
* Implement a `Osel` operation for x86Xavier Leroy2019-05-2011-38/+298
* Emulate the "isel" instruction on non-EREF PPC processorsXavier Leroy2019-05-203-22/+42
* Implement a `Osel` operation for PowerPCXavier Leroy2019-05-207-9/+106
* Give a semantics to the Pisel instructionXavier Leroy2019-05-201-1/+7
* Support a "select" operation between two valuesXavier Leroy2019-05-203-0/+212
* PowerPC: make sure evaluation of conditions do not destroy any registerXavier Leroy2019-05-204-54/+155
* Prepend $(DESTDIR) to the installation target (#169)Bernhard Schommer2019-05-172-16/+16
* Reworked elaboration of declarations/definitions.Bernhard Schommer2019-05-101-140/+138
* Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-108-15/+41
* Change to AbsInt version string.Bernhard Schommer2019-05-105-6/+6
* Check for reserved keywords.Bernhard Schommer2019-05-101-1/+8
* Fix various scoping issues (#163)Bernhard Schommer2019-05-101-51/+56
* Ensure flushing of the error formatter.Bernhard Schommer2019-05-101-0/+4
generated by cgit (git 2.34.1) at 2024-06-13 06:12:04 +0000