aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* some more benchmarksDavid Monniaux2019-06-069-27/+60
* attempt at -O1David Monniaux2019-06-061-1/+5
* add version.h, prims.cDavid Monniaux2019-06-063-1/+1160
* Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-051-1/+1
|\
| * Fix for #134 Pjumptable not recognizedCyril SIX2019-06-051-1/+1
* | disable large benchmarks that rely on heap saturation and other limitsDavid Monniaux2019-06-052-10/+14
|/
* fixed reservation table for cmoveDavid Monniaux2019-06-051-1/+5
* move with immediatesDavid Monniaux2019-06-042-1/+31
* osel immDavid Monniaux2019-06-048-23/+117
* begin osel immDavid Monniaux2019-06-043-3/+57
* added immediate cmoveDavid Monniaux2019-06-046-38/+80
* shortcuts for cmoveDavid Monniaux2019-06-043-21/+41
* shortcut cmove worksDavid Monniaux2019-06-042-89/+7
* why doesn't it work?David Monniaux2019-06-042-7/+265
* little restructuringDavid Monniaux2019-06-041-3/+4
* keep the .s filesDavid Monniaux2019-06-041-0/+2
* remove old "ternary" stuffDavid Monniaux2019-06-045-47/+10
* start to have whole path if-conversion?David Monniaux2019-06-043-3/+18
* Osel -> assembleurDavid Monniaux2019-06-043-104/+112
* Osel is output = 1st inputDavid Monniaux2019-06-041-0/+1
* Osel operation (not yet compiled)David Monniaux2019-06-043-31/+39
* rm old select/selectl/selectf/selectfsDavid Monniaux2019-06-0314-914/+47
* Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-03158-9521/+14486
|\
| * ARM: select is not supported at type TlongXavier Leroy2019-06-013-4/+14
| * If-conversion optimizationXavier Leroy2019-05-3110-75/+746
| * Type inference and type checking for CminorXavier Leroy2019-05-312-1/+799
| * Additional simulation diagrams for determinate source languagesXavier Leroy2019-05-311-0/+173
| * 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
| * Expand the responsefiles earlierBernhard Schommer2019-05-105-17/+17
generated by cgit (git 2.34.1) at 2024-07-06 15:34:59 +0000