aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* silly bugDavid Monniaux2020-07-251-1/+1
* run some more valgrind in case of optimizationsDavid Monniaux2020-07-251-0/+9
* improved testcmp: detect maybe uninitializedDavid Monniaux2020-07-251-6/+20
* > vs teeDavid Monniaux2020-07-241-9/+9
* for reducingDavid Monniaux2020-07-242-1/+124
* Coq 8.11.2David Monniaux2020-07-241-1/+1
* picosat in one file for testing purposesDavid Monniaux2020-07-241-0/+9765
* also crashes with 0 variablesDavid Monniaux2020-07-241-1/+1
* even smallerDavid Monniaux2020-07-241-0/+2
* smaller exampleDavid Monniaux2020-07-241-2/+2
* Coq 8.11.2David Monniaux2020-07-241-0/+2
* trace quand le simulateur est appeleSylvain Boulmé2020-07-243-3/+6
* Temporary prepass flags in test/regressionCyril SIX2020-07-241-0/+2
* Merge branch 'mppa-RTLpathSE-oracle' into mppa-RTLpathSE-verif-hash-junkCyril SIX2020-07-2415-53/+782
|\
| * More robust code for changing order of instructionsCyril SIX2020-07-201-43/+118
| * flagsDavid Monniaux2020-07-151-1/+1
| * 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-116-12/+18
| |/
| * 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-102-5/+5
| * trapping opsDavid Monniaux2020-07-101-0/+1
| * trapping loads are irreversibleDavid Monniaux2020-07-103-2/+3
| * 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
| |/
| * making progress on prepassDavid Monniaux2020-07-083-9/+27
| * Merge remote-tracking branch 'origin/kvx-work' into mppa-RTLpathSE-oracleDavid Monniaux2020-07-082-4/+4
| |\
| | * kvx-cos-gccDavid Monniaux2020-07-082-4/+4
| * | use a command-line optionDavid Monniaux2020-07-083-19/+25
| * | Merge remote-tracking branch 'origin/kvx-work' into mppa-RTLpathSE-oracleDavid Monniaux2020-07-083-1/+2
| |\|
| | * fix commentSylvain Boulmé2020-06-211-1/+1
| | * Compiler.v in .gitignoreSylvain Boulmé2020-06-211-0/+1
| | * rename result fileDavid Monniaux2020-05-291-0/+0
| * | prepass reordering activatedDavid Monniaux2020-07-082-12/+36
generated by cgit (git 2.34.1) at 2024-07-12 02:40:05 +0000