aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* selection of andn/orn on longDavid Monniaux2019-03-182-0/+10
* some more andn / ornDavid Monniaux2019-03-183-0/+28
* andn/orn start being generatedDavid Monniaux2019-03-183-8/+22
* andn / orn suiteDavid Monniaux2019-03-186-7/+34
* orn / andn in asmDavid Monniaux2019-03-184-4/+50
* some more about andn/ornDavid Monniaux2019-03-182-0/+24
* begin andn ornDavid Monniaux2019-03-183-0/+87
* stats on chunks etc.David Monniaux2019-03-171-3/+5
* isolate the slow partDavid Monniaux2019-03-172-3/+4
* experiments on what's slowDavid Monniaux2019-03-171-136/+12
* longer testsDavid Monniaux2019-03-171-1/+5
* compactify unrolled codeDavid Monniaux2019-03-171-143/+26
* expand hDavid Monniaux2019-03-171-17/+33
* expand hDavid Monniaux2019-03-171-17/+33
* the inliner is rottenDavid Monniaux2019-03-161-26/+44
* long nand, nor, nxorDavid Monniaux2019-03-1612-12/+151
* nxorDavid Monniaux2019-03-1613-4/+64
* nor implementeDavid Monniaux2019-03-168-1/+44
* partial norwDavid Monniaux2019-03-165-9/+26
* nand is implementedDavid Monniaux2019-03-167-2/+39
* some more nandDavid Monniaux2019-03-164-3/+48
* nand debutDavid Monniaux2019-03-163-0/+18
* fix problem with ALU reservation tablesDavid Monniaux2019-03-161-1/+3
* 32-bit rotate finishedDavid Monniaux2019-03-167-6/+27
* select rotate ops 32-bitDavid Monniaux2019-03-163-2/+74
* some more progress on rotateDavid Monniaux2019-03-162-0/+6
* ValueAOp rotate 32-bitDavid Monniaux2019-03-161-0/+1
* instruction rotateDavid Monniaux2019-03-162-0/+3
* Removing SelectLong.v from the git repo (compiled from SelectLong.vp)Cyril SIX2019-03-152-800/+1
* better robustness wrt exceptionsDavid Monniaux2019-03-141-5/+9
* le Makefile passeDavid Monniaux2019-03-141-2/+11
* test for memcpy builtinDavid Monniaux2019-03-131-0/+15
* Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-03-131-4/+3
|\
| * Corrigé certaines latences (Store -> 1 i/o 3, Set -> 4 i/o 3)Cyril SIX2019-03-131-4/+3
* | with timingDavid Monniaux2019-03-132-2/+7
|/
* Fix for CompCert 3.5Cyril SIX2019-03-131-0/+1
* Merge branch 'master' into mppa_postpassCyril SIX2019-03-1329-290/+564
|\
| * Update version number for 3.5v3.5Xavier Leroy2019-02-281-1/+1
| * Update HTML doc for release 3.5Xavier Leroy2019-02-271-1/+1
| * Update Changelog in preparation for release 3.5Xavier Leroy2019-02-261-1/+1
| * Maximum supported Menhir version (#275)Xavier Leroy2019-02-261-1/+1
| * Update Changelog in preparation for release 3.5Xavier Leroy2019-02-251-0/+35
| * Maximum supported Menhir version (#275)Jacques-Henri Jourdan2019-02-251-2/+3
| * Revised attachment of name attributes to structs, unions, enumsXavier Leroy2019-02-253-6/+29
| * Reject object-related and struct-related attributes on typedefsXavier Leroy2019-02-254-8/+19
| * Add regression test for "aligned" attributeXavier Leroy2019-02-253-1/+120
| * Distinguish object-related and name-related attributesXavier Leroy2019-02-254-13/+24
| * Do not expand type names when floating attributes "up" a declarationXavier Leroy2019-02-253-2/+24
| * Ignore and clean file .lia.cacheXavier Leroy2019-02-122-1/+4
| * Make the checker happy (#272)Vincent Laporte2019-02-123-19/+17
generated by cgit (git 2.34.1) at 2024-07-11 23:14:47 +0000