aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | Merge remote-tracking branch 'origin/mppa-work' into mppa-work-untestedCyril SIX2020-03-09104-1328/+2433
| | |\ \
| | * | | Linearizeaux: Fixed bug where the output list was in reverse orderCyril SIX2020-03-091-4/+20
| | * | | Adding debug info in LinearizeauxCyril SIX2020-03-061-0/+12
| | * | | [UNTESTED] Sequence orderingCyril SIX2020-03-061-3/+27
| | * | | Linearize: Dependencies computing to decide which sequence to put firstCyril SIX2020-03-031-31/+132
| | * | | Linearizeaux: can_be_mergedCyril SIX2020-02-211-13/+48
| | * | | Linearizeaux: function try_mergeCyril SIX2020-02-211-11/+20
| | * | | WIP2Cyril SIX2020-02-201-16/+24
| | * | | WIPCyril SIX2020-02-201-0/+26
| | * | | First part of Hansen algorithm - build the sequencesCyril SIX2020-02-191-1/+43
| * | | | remet is_trivial_op dans CSE2David Monniaux2020-03-112-2/+5
| | |_|/ | |/| |
| * | | more portable cycles.hDavid Monniaux2020-03-093-11/+31
| * | | cycles for aarch64David Monniaux2020-03-091-0/+16
| | |/ | |/|
| * | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-0915-49/+54
| |\ \
| | * | removing more coq8.10 warningsSylvain Boulmé2020-03-094-2/+10
| | * | removing some coqc 8.10 warningsSylvain Boulmé2020-03-092-5/+5
| | * | removing warnings on hints in coreSylvain Boulmé2020-03-0711-42/+39
| * | | cycles.h for ARMv7David Monniaux2020-03-091-0/+7
| |/ /
* | | fix in catalog handlingDavid Monniaux2020-03-111-1/+7
* | | CSE3 ready to run?David Monniaux2020-03-112-11/+78
* | | progress on CSE3David Monniaux2020-03-102-4/+5
* | | -fcse3 command line optionDavid Monniaux2020-03-102-5/+7
* | | printing created hashesDavid Monniaux2020-03-102-3/+55
* | | starts compiling but still fakeDavid Monniaux2020-03-1010-23/+270
* | | 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
generated by cgit (git 2.34.1) at 2024-07-12 08:17:02 +0000