aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * 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
* | | All working benches portedCyril SIX2019-07-1728-49/+53
* | | Up to nttCyril SIX2019-07-1712-15/+20
* | | bitsliced-teaCyril SIX2019-07-175-24/+11
* | | bitsliced-aes doneCyril SIX2019-07-174-3275/+7
* | | (#141) Started to port the new Makefile to rules.mk. Ported binary_searchCyril SIX2019-07-173-57/+144
* | | Deleting junk filesCyril SIX2019-07-177-1932/+0
* | | (#143) Put in sandbox the example of SHA256Cyril SIX2019-07-124-0/+677
* | | (#143) More featuresCyril SIX2019-07-122-10/+17
* | | (#143) - Regrouping in obj/ asm/ bin/ directoriesCyril SIX2019-07-121-5/+9
generated by cgit (git 2.34.1) at 2024-07-14 07:19:09 +0000