aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* test for long bitfieldsDavid Monniaux2019-04-291-0/+19
* insfl generationDavid Monniaux2019-04-292-0/+86
* 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-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
* 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
* some more examplesDavid Monniaux2019-04-131-4/+39
* Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-04-131-0/+15
|\
| * feclearexcept / fetestexceptDavid Monniaux2019-04-131-0/+15
* | code for checking IEEE-754 exceptionsDavid Monniaux2019-04-131-0/+41
* | experiments with rounding modesDavid Monniaux2019-04-131-5/+21
* | test for rounding modesDavid Monniaux2019-04-131-0/+20
|/
* dirty fix for issue #112David Monniaux2019-04-131-3/+7
* test breaksDavid Monniaux2019-04-121-0/+44
* better #include handlingDavid Monniaux2019-04-121-1/+5
* workaround for non-standard C isfinite macro in math.hDavid Monniaux2019-04-122-1/+4
* 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-128-1209/+17
* some more simplificationsDavid Monniaux2019-04-122-3/+25
* some more simplificationsDavid Monniaux2019-04-122-11/+17
generated by cgit (git 2.34.1) at 2024-07-12 01:14:47 +0000