aboutsummaryrefslogtreecommitdiffstats
path: root/kvx
Commit message (Expand)AuthorAgeFilesLines
* so that all architectures compileDavid Monniaux2020-10-021-0/+1
* non pipelined units = none on KVXDavid Monniaux2020-09-301-1/+3
* Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-09-2923-769/+765
|\
| * simpl -> cbnDavid Monniaux2020-09-2923-793/+789
* | Merge remote-tracking branch 'origin/kvx-work-riscV' into kvx-test-prepassDavid Monniaux2020-09-221-14/+0
|\ \
| * | reflect changesDavid Monniaux2020-09-221-14/+0
* | | Merge remote-tracking branch 'origin/kvx-work-riscV' into kvx-test-prepassDavid Monniaux2020-09-212-272/+1
|\| |
| * | moved some "total" value domain functions to a central locationDavid Monniaux2020-09-211-271/+0
| |/
| * use scheduler_by_nameDavid Monniaux2020-09-103-9/+11
* | just missing OpWeights for AARCH64David Monniaux2020-09-1614-9446/+0
* | starting to move common filesDavid Monniaux2020-09-1616-1651/+0
* | Merge branch 'mppa-RTLpathSE-verif-hash-junk' of gricad-gitlab.univ-grenoble-...David Monniaux2020-09-1012-222/+230
|\ \
| * | Merge remote-tracking branch 'origin/kvx-work' into mppa-RTLpathSE-verif-hash...David Monniaux2020-09-056-75/+117
| |\|
| | * fix issue 198 (incorrect reservation table for multiply-add)David Monniaux2020-09-021-5/+5
| | * "nop" is not even printed out and thus uses no resourcesDavid Monniaux2020-09-011-13/+21
| | * clean solution to close channelsDavid Monniaux2020-08-311-21/+24
| | * fix problem with some file descriptors possibly never getting closedDavid Monniaux2020-08-311-4/+10
| | * links to the impure library on githubSylvain Boulmé2020-07-311-1/+2
| | * Improving Coqdoc on abstractbbSylvain Boulmé2020-07-314-46/+71
| * | Merge remote-tracking branch 'origin/kvx-work' into mppa-RTLpathSE-verif-hash...David Monniaux2020-07-307-165/+140
| |\|
| | * Improving the coqdocSylvain Boulmé2020-07-297-165/+140
* | | use with_destructorDavid Monniaux2020-09-102-20/+29
|/ /
* | trace quand le simulateur est appeleSylvain Boulmé2020-07-241-2/+3
* | Merge branch 'mppa-RTLpathSE-oracle' into mppa-RTLpathSE-verif-hash-junkCyril SIX2020-07-249-47/+768
|\ \
| * | More robust code for changing order of instructionsCyril SIX2020-07-201-43/+118
| * | Fixed last instruction not having liveinsCyril SIX2020-07-151-2/+8
| * | More debug infoCyril SIX2020-07-151-8/+17
| * | Merge branch 'mppa-RTLpathSE-oracle' of gricad-gitlab.univ-grenoble-alpes.fr:...David Monniaux2020-07-131-3/+13
| |\ \
| | * | Fix switching basic instruction with IcondCyril SIX2020-07-131-3/+13
| * | | Merge branch 'mppa-RTLpathSE-oracle' of gricad-gitlab.univ-grenoble-alpes.fr:...David Monniaux2020-07-131-1/+6
| |\| |
| | * | Fix Icond bugCyril SIX2020-07-131-1/+6
| * | | command line selection of prepass schedulerDavid Monniaux2020-07-114-12/+14
| |/ /
| * | found another bugDavid Monniaux2020-07-112-2/+3
| * | fix the last instruction detection codeDavid Monniaux2020-07-101-2/+5
| * | relaxingDavid Monniaux2020-07-101-1/+1
| * | relaxing...David Monniaux2020-07-101-2/+2
| * | it works but is too constrainedDavid Monniaux2020-07-101-1/+1
| * | begin relaxingDavid Monniaux2020-07-101-3/+1
| * | oracle super restrictifDavid Monniaux2020-07-101-8/+16
| * | proper ordering on calls etc. ?David Monniaux2020-07-101-4/+4
| * | trapping opsDavid Monniaux2020-07-101-0/+1
| * | trapping loads are irreversibleDavid Monniaux2020-07-102-1/+2
| * | Added check on last instructionCyril SIX2020-07-091-1/+19
| * | More explicit failwith messages for change_predicted_successorCyril SIX2020-07-081-3/+3
| * | Typing informationCyril SIX2020-07-081-4/+8
| * | Merge branch 'mppa-RTLpathSE-oracle-outputregs' into mppa-RTLpathSE-oracleCyril SIX2020-07-083-10/+40
| |\ \
| | * | Output regs in superblocksCyril SIX2020-07-081-4/+9
| | * | print_path_info fixCyril SIX2020-07-081-1/+1
| | * | Output regs in RTLpathCyril SIX2020-07-082-6/+31
| * | | progress on prepass schedulingDavid Monniaux2020-07-081-0/+2
| |/ /
generated by cgit (git 2.34.1) at 2024-06-12 05:18:19 +0000