aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* typing and store stuffDavid Monniaux2020-03-125-64/+94
* store soundDavid Monniaux2020-03-122-1/+24
* more lemmasDavid Monniaux2020-03-122-8/+45
* lemmas on storevDavid Monniaux2020-03-122-0/+61
* Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-1127-205/+484
|\
| * Fixed stupid typo bug preventing the prediction update for the RANDOM predictorCyril SIX2020-03-111-1/+1
| * Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-117-144/+372
| |\
| | * Linearizeaux: dumb selector when cycling dependencies are foundCyril SIX2020-03-101-4/+6
| | * Linearizeaux, forgot to visit the rest of the nodes in dfs_visitCyril SIX2020-03-101-22/+26
| | * Some dependencies were not taken into account in tracelinearizeCyril SIX2020-03-101-15/+12
| | * Linearize: More helpful message when tracelinearize failsCyril SIX2020-03-101-4/+12
| | * Bug fix in ftracelinearizeCyril SIX2020-03-101-4/+15
| | * Merge remote-tracking branch 'origin/mppa-work' into mppa-work-untestedCyril SIX2020-03-103-10/+46
| | |\
| | * | Fixing buildCyril SIX2020-03-101-1/+1
| | * | [BROKEN] Replacing the boolean -fduplicate option by an integerCyril SIX2020-03-095-15/+15
| | * | Linearizeaux: forgotten printCyril SIX2020-03-091-1/+1
| | * | Duplicate: getting rid of the annoying exception-based codeCyril SIX2020-03-092-53/+31
| | * | Removing prints in Duplicateaux.mlCyril SIX2020-03-091-65/+20
| | * | 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
generated by cgit (git 2.34.1) at 2024-07-06 16:07:45 +0000