Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | add version.h, prims.c | David Monniaux | 2019-06-06 | 3 | -1/+1160 | |
| * | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2019-06-05 | 1 | -1/+1 | |
| |\ \ | ||||||
| | * | | Fix for #134 Pjumptable not recognized | Cyril SIX | 2019-06-05 | 1 | -1/+1 | |
| * | | | disable large benchmarks that rely on heap saturation and other limits | David Monniaux | 2019-06-05 | 2 | -10/+14 | |
| |/ / | ||||||
| * | | fixed reservation table for cmove | David Monniaux | 2019-06-05 | 1 | -1/+5 | |
| * | | move with immediates | David Monniaux | 2019-06-04 | 2 | -1/+31 | |
| * | | osel imm | David Monniaux | 2019-06-04 | 8 | -23/+117 | |
| * | | begin osel imm | David Monniaux | 2019-06-04 | 3 | -3/+57 | |
| * | | added immediate cmove | David Monniaux | 2019-06-04 | 6 | -38/+80 | |
| * | | shortcuts for cmove | David Monniaux | 2019-06-04 | 3 | -21/+41 | |
| * | | shortcut cmove works | David Monniaux | 2019-06-04 | 2 | -89/+7 | |
| * | | why doesn't it work? | David Monniaux | 2019-06-04 | 2 | -7/+265 | |
| * | | little restructuring | David Monniaux | 2019-06-04 | 1 | -3/+4 | |
| * | | keep the .s files | David Monniaux | 2019-06-04 | 1 | -0/+2 | |
| * | | remove old "ternary" stuff | David Monniaux | 2019-06-04 | 5 | -47/+10 | |
| * | | start to have whole path if-conversion? | David Monniaux | 2019-06-04 | 3 | -3/+18 | |
| * | | Osel -> assembleur | David Monniaux | 2019-06-04 | 3 | -104/+112 | |
| * | | Osel is output = 1st input | David Monniaux | 2019-06-04 | 1 | -0/+1 | |
| * | | Osel operation (not yet compiled) | David Monniaux | 2019-06-04 | 3 | -31/+39 | |
| * | | rm old select/selectl/selectf/selectfs | David Monniaux | 2019-06-03 | 14 | -914/+47 | |
| * | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-... | David Monniaux | 2019-06-03 | 158 | -9521/+14486 | |
| |\ \ | ||||||
| | * | | ARM: select is not supported at type Tlong | Xavier Leroy | 2019-06-01 | 3 | -4/+14 | |
| | * | | If-conversion optimization | Xavier Leroy | 2019-05-31 | 10 | -75/+746 | |
| | * | | Type inference and type checking for Cminor | Xavier Leroy | 2019-05-31 | 2 | -1/+799 | |
| | * | | Additional simulation diagrams for determinate source languages | Xavier Leroy | 2019-05-31 | 1 | -0/+173 | |
| | |/ | ||||||
| | * | 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 |