aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* CSE3: apply_instr'David Monniaux2020-03-101-0/+30
* oper soundDavid Monniaux2020-03-102-7/+30
* move soundDavid Monniaux2020-03-102-1/+50
* oper1David Monniaux2020-03-101-0/+14
* moved no awayDavid Monniaux2020-03-102-12/+23
* oper2David Monniaux2020-03-102-2/+131
* forward_move_rhs_soundDavid Monniaux2020-03-101-0/+12
* rhs_find_op_soundDavid Monniaux2020-03-102-10/+57
* eq_find_soundDavid Monniaux2020-03-102-1/+52
* forward_move_lDavid Monniaux2020-03-103-4/+42
* kill_mem_soundDavid Monniaux2020-03-091-6/+52
* cse3: forward_move_soundDavid Monniaux2020-03-092-3/+72
* get movesDavid Monniaux2020-03-092-30/+4
* CSE3David Monniaux2020-03-091-0/+21
* get_movesDavid Monniaux2020-03-091-1/+33
* kill_reg_soundDavid Monniaux2020-03-093-4/+89
* moved stuff aroundDavid Monniaux2020-03-092-177/+155
* CSE3 analysis proofDavid Monniaux2020-03-071-0/+35
* get_kills_has_argDavid Monniaux2020-03-071-0/+21
* get_kills_has_lhsDavid Monniaux2020-03-061-7/+25
* xlkillsDavid Monniaux2020-03-061-1/+21
* xlkillsDavid Monniaux2020-03-061-10/+54
* xget_kills_monotoneDavid Monniaux2020-03-051-4/+27
* CSE3 generate lists of killableDavid Monniaux2020-03-052-1/+5
* xget_killsDavid Monniaux2020-03-051-0/+74
* just the analysisDavid Monniaux2020-03-053-3/+6
* fix MakefileDavid Monniaux2020-03-051-0/+1
* more about extraction and linkingDavid Monniaux2020-03-054-185/+190
* streamlined lattice codeDavid Monniaux2020-03-054-144/+17
* begin CSE3David Monniaux2020-03-051-0/+76
* HashedSet with extractionDavid Monniaux2020-03-051-0/+6
* HashedSet with module typesDavid Monniaux2020-03-051-0/+115
* move lattice stuff where it belongsDavid Monniaux2020-03-054-0/+1446
* fix for ppcDavid Monniaux2020-03-031-14/+22
* try to get it to compileDavid Monniaux2020-03-031-0/+1
* forgot k1CDavid Monniaux2020-03-032-0/+147
* fixes for risc-VDavid Monniaux2020-03-031-1/+1
* fix for aarch64David Monniaux2020-03-031-11/+9
* ported to armDavid Monniaux2020-03-031-9/+6
* ported for ppcDavid Monniaux2020-03-031-22/+17
* fix for risc-VDavid Monniaux2020-03-031-9/+7
* adjust for x86David Monniaux2020-03-031-44/+35
* fixed CSE2 for mppa_k1cDavid Monniaux2020-03-0324-843/+1266
|\
| * CSE2 with alias analysisDavid Monniaux2020-03-031-0/+20
| * CSE2 for powerpcDavid Monniaux2020-03-032-0/+152
| * aarch64David Monniaux2020-03-032-0/+150
| * CSE2 for ARMDavid Monniaux2020-03-031-0/+132
| * better 32/64-bit handlingDavid Monniaux2020-03-032-26/+51
| * CSE2 alias analysis for Risc-VDavid Monniaux2020-03-036-30/+158
| * moved away x86-dependent partsDavid Monniaux2020-03-032-38/+46
generated by cgit (git 2.34.1) at 2024-07-11 21:27:40 +0000