aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'dumb-scheduling' into mppa-workCyril SIX2019-04-305-7/+79
|\
| * Setting fpostpass= optionCyril SIX2019-04-302-7/+9
| * The scheduler selection works, but the argument is not optional yet (-fpostpa...Cyril SIX2019-04-293-4/+13
| * [BROKEN] Fixed the dumb scheduler, not yet properly integratedCyril SIX2019-04-292-3/+6
| * [BUGGED] First attempt at a dumb scheduler ("accumulates" instructions)Cyril SIX2019-04-253-3/+61
* | rm unsupported int -> double signed/unsigned opsDavid Monniaux2019-04-294-17/+1
* | removed fake ops for int32 -> doubleDavid Monniaux2019-04-296-24/+0
* | float of int = float of long o long of intDavid Monniaux2019-04-292-4/+17
* | float of intu = float of longu o longu of intuDavid Monniaux2019-04-292-4/+18
* | srsdDavid Monniaux2019-04-292-16/+10
* | forgot in oracleDavid Monniaux2019-04-291-0/+2
* | begin using shrxDavid Monniaux2019-04-292-29/+10
* | Srsd / SrswDavid Monniaux2019-04-297-5/+65
* | Merge branch 'mppa-bitfields' into mppa-workDavid Monniaux2019-04-293-0/+105
|\ \
| * | test for long bitfieldsDavid Monniaux2019-04-291-0/+19
| * | insfl generationDavid Monniaux2019-04-292-0/+86
* | | Merge remote-tracking branch 'origin/mppa-bitfields' into mppa-workDavid Monniaux2019-04-2813-19/+270
|\| |
| * | more insf detectionDavid Monniaux2019-04-282-0/+43
| * | coq mode for emacsDavid Monniaux2019-04-281-0/+4
| * | insf seems to workDavid Monniaux2019-04-281-1/+1
| * | selection for insfDavid Monniaux2019-04-282-3/+21
| * | some more on bitfield detectionDavid Monniaux2019-04-282-5/+10
| * | some more on bit fields insert detectionDavid Monniaux2019-04-282-2/+5
| * | progress on bitfield detectionDavid Monniaux2019-04-282-2/+7
| * | detect insf case, beginDavid Monniaux2019-04-283-4/+16
| * | compute the highest bit in a numberDavid Monniaux2019-04-271-0/+10
| * | instruction translation for bitfield insertionDavid Monniaux2019-04-271-0/+12
| * | some more folding of codeDavid Monniaux2019-04-271-6/+13
| * | add bitfield insert opcode but not yet used nor translatedDavid Monniaux2019-04-275-6/+90
| * | begin add bitfield insertionDavid Monniaux2019-04-275-7/+55
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-04-2817-75/+301
|\| |
| * | more base operators on bitfieldDavid Monniaux2019-04-271-0/+19
| * | factor expressions into single fileDavid Monniaux2019-04-278-52/+52
| * | moved operators to specific file instead of common fileDavid Monniaux2019-04-278-86/+91
| * | some little helperDavid Monniaux2019-04-261-0/+15
| * | added code for extfzl/extfsl (not very useful since bitfields are limited to ...David Monniaux2019-04-256-6/+149
| * | start of extfzl/extfslDavid Monniaux2019-04-257-6/+50
| |/
* | Revert "more insf detection"David Monniaux2019-04-282-37/+9
* | more insf detectionDavid Monniaux2019-04-282-9/+37
|/
* simplify proof slightlyv3.5_k1c_1.1David Monniaux2019-04-251-20/+16
* read from bit fieldsDavid Monniaux2019-04-253-5/+41
* progressDavid Monniaux2019-04-2511-8/+104
* IT COMPILESDavid Monniaux2019-04-257-45/+48
* some progressDavid Monniaux2019-04-251-1/+5
* some more progressDavid Monniaux2019-04-252-2/+39
* some progress on bitfieldsDavid Monniaux2019-04-254-1/+33
* begin bitfieldsDavid Monniaux2019-04-246-1/+26
* make_prologue à partDavid Monniaux2019-04-242-6/+9
* identify bug from x86David Monniaux2019-04-131-2/+4
* various bugs in FPDavid Monniaux2019-04-131-0/+6
generated by cgit (git 2.34.1) at 2024-07-14 09:12:30 +0000