aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c
Commit message (Expand)AuthorAgeFilesLines
* fix types for k1 builtinsDavid Monniaux2019-04-111-2/+2
* __builtin_k1_get and __builtin_k1_set with safeguards, work for clockDavid Monniaux2019-04-111-3/+10
* get / set k1David Monniaux2019-04-105-3/+23
* achieve issue #89 ?Sylvain Boulmé2019-04-101-185/+47
* Fixing missing features in Asmexpand.ml (EF_annot, EF_annot_val, EF_inline_asm)Cyril SIX2019-04-091-9/+6
* moving iandb from ImpCore to ImpPreludeSylvain Boulmé2019-04-082-23/+18
* improving comments on AsmvliwSylvain Boulmé2019-04-081-17/+29
* Merge remote-tracking branch 'origin/mppa-work' into mppa-refactorCyril SIX2019-04-0815-87/+1202
|\
| * no need for this to be in two_address_opDavid Monniaux2019-04-061-1/+1
| * reinstated the orl selectl constructDavid Monniaux2019-04-052-10/+7
| * Oselectf, Oselectfs with conditionDavid Monniaux2019-04-057-123/+323
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-051-1/+1
| |\
| * | selectl with conditionDavid Monniaux2019-04-057-64/+171
| * | Select cmpluDavid Monniaux2019-04-052-1/+32
| * | select cmpuDavid Monniaux2019-04-057-5/+60
| * | factor out some proofsDavid Monniaux2019-04-051-6/+3
| * | some more Oselect comparisonsDavid Monniaux2019-04-042-1/+14
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-042-352/+187
| |\ \
| * | | ternary ops work on (unsigned/signed) int with test on signed intDavid Monniaux2019-04-041-3/+3
| * | | more on selectDavid Monniaux2019-04-041-0/+5
| * | | OselectDavid Monniaux2019-04-042-5/+16
| * | | progress on OselectDavid Monniaux2019-04-041-19/+35
| * | | select_soundDavid Monniaux2019-04-043-38/+102
| * | | some more progress on selectDavid Monniaux2019-04-044-59/+84
| * | | progressing on selectDavid Monniaux2019-04-042-17/+11
| * | | working on selectDavid Monniaux2019-04-041-3/+24
| * | | working on selectDavid Monniaux2019-04-041-28/+58
| * | | prepare for conditions in cmoveDavid Monniaux2019-04-044-19/+34
| * | | ternary ops for float/doubleDavid Monniaux2019-04-033-2/+72
| * | | for floats and doubles, asmgen supportDavid Monniaux2019-04-033-15/+92
| * | | ternary ops in AES and TEADavid Monniaux2019-04-034-8/+9
| * | | problem in ValueAOpDavid Monniaux2019-04-034-9/+12
| * | | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-0330-2245/+1299
| |\ \ \
| * \ \ \ merge VLIW proofsDavid Monniaux2019-03-287-23/+1073
| |\ \ \ \
| | * \ \ \ merge proof of VLIWDavid Monniaux2019-03-287-23/+1073
| | |\ \ \ \
| * | | | | | improvements on cmoved etc.David Monniaux2019-03-272-93/+7
| * | | | | | match some 'and'David Monniaux2019-03-272-10/+34
| * | | | | | selectl generationDavid Monniaux2019-03-266-14/+205
| * | | | | | ternary unsignedDavid Monniaux2019-03-262-0/+47
| * | | | | | rm cruftDavid Monniaux2019-03-262-167/+9
| * | | | | | cmoved worksDavid Monniaux2019-03-261-4/+5
| * | | | | | ternary / cmove demo now worksDavid Monniaux2019-03-261-2/+2
| * | | | | | ternary begins workingDavid Monniaux2019-03-262-13/+11
| * | | | | | some progressDavid Monniaux2019-03-262-19/+12
| * | | | | | implemented ternary patternDavid Monniaux2019-03-262-1/+57
| * | | | | | more on ternaryDavid Monniaux2019-03-262-6/+149
| * | | | | | select basic operatorsDavid Monniaux2019-03-261-0/+24
| * | | | | | selectlDavid Monniaux2019-03-252-0/+21
| * | | | | | more on cmoveDavid Monniaux2019-03-254-66/+42
| * | | | | | progress on cmoveDavid Monniaux2019-03-255-3/+17
generated by cgit (git 2.34.1) at 2024-07-04 01:54:32 +0000