aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c
Commit message (Expand)AuthorAgeFilesLines
...
* | 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
* | 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-277-31/+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-255-4/+147
* | start of extfzl/extfslDavid Monniaux2019-04-255-6/+17
|/
* simplify proof slightlyv3.5_k1c_1.1David Monniaux2019-04-251-20/+16
* read from bit fieldsDavid Monniaux2019-04-252-5/+21
* progressDavid Monniaux2019-04-2510-8/+90
* IT COMPILESDavid Monniaux2019-04-256-40/+43
* 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-245-1/+11
* make_prologue à partDavid Monniaux2019-04-242-6/+9
* dirty fix for issue #112David Monniaux2019-04-131-3/+7
* some more simplificationsDavid Monniaux2019-04-122-0/+2
* some simplifications (long)David Monniaux2019-04-122-0/+58
* more simplificationsDavid Monniaux2019-04-122-8/+13
* some more simplificationDavid Monniaux2019-04-122-0/+16
* some more simplificationDavid Monniaux2019-04-122-0/+7
* some more simplificationsDavid Monniaux2019-04-122-0/+7
* some more simplificationsDavid Monniaux2019-04-122-3/+25
* some more simplificationsDavid Monniaux2019-04-122-11/+17
* more simplificationsDavid Monniaux2019-04-122-0/+6
* fix wrongly removed builtinsDavid Monniaux2019-04-121-1/+3
* more builtinsDavid Monniaux2019-04-114-4/+32
* Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-04-114-818/+368
|\
| * update from Impure LibrarySylvain Boulmé2019-04-111-20/+22
| * more robust pattern-matching in *op_eqSylvain Boulmé2019-04-111-8/+10
| * Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...Sylvain Boulmé2019-04-115-3/+18
| |\
| * | refactor for #92Sylvain Boulmé2019-04-113-790/+336
* | | adjust list of builtins according to documentationDavid Monniaux2019-04-111-5/+5
| |/ |/|
* | afaddd / afaddwDavid Monniaux2019-04-115-3/+18
|/
* instruction cache builtinsDavid Monniaux2019-04-114-3/+18
* data cache builtinsDavid Monniaux2019-04-114-5/+25
* some more builtinsDavid Monniaux2019-04-114-5/+30
generated by cgit (git 2.34.1) at 2024-07-14 07:39:54 +0000