aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * Change condition for warning of conditional exprBernhard Schommer2019-07-101-1/+1
| | * -O0 now implies -fno-inliningMichael Schmidt2019-07-091-1/+1
| | * Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-089-12/+11
| | * Make configure resistant to Windows EOL and paths (#305)MSoegtropIMC2019-07-081-1/+1
| | * Fix compatibility with Coq 8.10 (#303)Jacques-Henri Jourdan2019-07-063-9/+10
| | * Update synonymous list for -O0, add new named warning classMichael Schmidt2019-07-051-1/+6
| | * Update documentation of -ObranchlessXavier Leroy2019-07-052-7/+9
| | * Rename option `-ffavor-branchless` into `-Obranchless`Xavier Leroy2019-07-053-7/+7
| | * New parser based on new version of the Coq backend of Menhir (#276)Jacques-Henri Jourdan2019-07-0534-3583/+3163
| | * Avoid relying on `Export` bug (#301)Maxime Dénès2019-07-041-1/+2
| | * Deref is not safe.Bernhard Schommer2019-07-041-1/+1
| | * Added new diagnostic for non-linear conditionalsBernhard Schommer2019-07-046-1/+179
| | * Added helper function for array types.Bernhard Schommer2019-07-042-0/+7
| | * Added statement traversal functions.Bernhard Schommer2019-07-041-107/+90
| | * Change the expected types for arguments to __builtin_annot, and extended asmXavier Leroy2019-06-191-5/+25
| | * Extended asm: print register names according to their typesXavier Leroy2019-06-176-19/+34
| | * Updated man page.Bernhard Schommer2019-06-171-0/+10
| | * Perform constant propagation and strength reduction on conditional movesXavier Leroy2019-06-177-6/+128
* | | Englishification of commentsCyril SIX2019-09-032-11/+6
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-08-3129-689/+435
|\ \ \
| * | | Rajout de clzd dans les testsCyril SIX2019-08-302-3/+5
| * | | Added more testsCyril SIX2019-08-305-29/+58
| * | | (#157) Removed AFADDD and AFADDW from the builtinsCyril SIX2019-08-306-9/+22
| * | | Adding tests for addx8d addx8w etc..Cyril SIX2019-08-303-2/+11
| * | | Decreasing a bit the number of processes in run_benchesCyril SIX2019-08-301-1/+1
| * | | Fixed the extraction of instructions from TargetPrinter.mlCyril SIX2019-08-302-5/+4
| * | | Updated test/mppa/coverage.sh to check which instruction isn't tested yetCyril SIX2019-08-292-37/+55
| * | | Removing submodule test/mppa/asm_coverage from the repositoryCyril SIX2019-08-282-3/+0
| * | | (#156) - Un peu de cleaning et de docCyril SIX2019-07-3010-497/+53
| * | | (#139) - Quelques renommagesCyril SIX2019-07-304-12/+12
| * | | (#139) - Predicate is_concatCyril SIX2019-07-302-8/+9
| * | | (#139) - Mise à jour du code Coq, oracleCyril SIX2019-07-253-12/+59
| * | | Minor fix for the measurements macrosCyril SIX2019-07-242-4/+5
| * | | (#145) Fix <bad addressing> on RTL dumpsCyril SIX2019-07-241-1/+2
| * | | (#144) Fixing <bad operator> on RTL dumpsCyril SIX2019-07-242-33/+50
| * | | (#137) Possible fixCyril SIX2019-07-231-1/+4
| * | | (#137) [BROKEN] - Finer latencies for the oracle. Some debugging to doCyril SIX2019-07-221-40/+93
* | | | some more proofs on integers, preparing for absolute value instructionDavid Monniaux2019-08-312-1/+19
|/ / /
* / / remarksDavid Monniaux2019-07-201-0/+5
|/ /
* | Fixing the generation of verifier_times.txt and oracle_times.txtCyril SIX2019-07-182-7/+7
* | Removing a hidden FIXME that hopefully didn't have any impact..Cyril SIX2019-07-181-7/+0
* | (#137) Removed the useless strings in PostpassSchedulingOracleCyril SIX2019-07-181-337/+254
* | Typo in PrevsubxwCyril SIX2019-07-181-1/+1
* | (#142) Desactivating scheduling when using -O1 optimizationCyril SIX2019-07-172-2/+4
* | Merge branch 'paper-artefact' into mppa-workCyril SIX2019-07-171-27/+27
|\ \
| * | (#107) Rename "forward_simu" into "bisimu"Cyril SIX2019-07-171-27/+27
* | | README fileCyril SIX2019-07-171-60/+67
* | | rules.mk adding more customizationCyril SIX2019-07-171-3/+3
* | | Portage réussi et completCyril SIX2019-07-175-14/+14
* | | Removing the genmake.py and the generate_makefiles.shCyril SIX2019-07-172-147/+0
generated by cgit (git 2.34.1) at 2024-07-06 14:31:50 +0000