aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/SelectLongproof.v
Commit message (Expand)AuthorAgeFilesLines
* rm old select/selectl/selectf/selectfsDavid Monniaux2019-06-031-75/+0
* correct -faddx option and propagate addim over addximDavid Monniaux2019-05-111-0/+5
* option -faddx (off by default until questions cleared)David Monniaux2019-05-111-2/+17
* apply .xs onto addx4 etcDavid Monniaux2019-05-111-0/+107
* generate multiply-sub longDavid Monniaux2019-05-111-2/+19
* allow disabling + xx global symbolsDavid Monniaux2019-05-021-3/+5
* insfl generationDavid Monniaux2019-04-291-0/+56
* factor expressions into single fileDavid Monniaux2019-04-271-2/+2
* moved operators to specific file instead of common fileDavid Monniaux2019-04-271-5/+5
* added code for extfzl/extfsl (not very useful since bitfields are limited to ...David Monniaux2019-04-251-2/+62
* some more simplificationsDavid Monniaux2019-04-121-0/+1
* some simplifications (long)David Monniaux2019-04-121-0/+46
* more simplificationsDavid Monniaux2019-04-121-8/+10
* reinstated the orl selectl constructDavid Monniaux2019-04-051-4/+4
* problem in ValueAOpDavid Monniaux2019-04-031-1/+2
* Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-031-5/+11
|\
| * Using fixedd.rz in longofsingle instead of i64_dtosCyril SIX2019-04-011-5/+11
* | improvements on cmoved etc.David Monniaux2019-03-271-77/+2
* | match some 'and'David Monniaux2019-03-271-9/+27
* | selectl generationDavid Monniaux2019-03-261-0/+160
|/
* restructuration pour compilation toute archiDavid Monniaux2019-03-221-0/+1
* maddl / maddlim are synthesized (but not for pointers it seems)David Monniaux2019-03-201-0/+4
* selection of andn/orn on longDavid Monniaux2019-03-181-0/+5
* andn / orn suiteDavid Monniaux2019-03-181-1/+1
* long nand, nor, nxorDavid Monniaux2019-03-161-2/+10
* Float conversion fixes + some more conversionsCyril SIX2019-02-271-8/+8
* MPPA - Added modulo and division 64 bits. Non certifiedCyril SIX2018-05-211-8/+4
* Changed ptr64 to be always trueCyril SIX2018-04-041-4/+0
* Hook for MPPA_K1c (generates Risc-V code for now)Cyril SIX2018-04-041-0/+619
generated by cgit (git 2.34.1) at 2024-07-06 17:02:18 +0000