aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaPLDI_2021_before_anonymizationDavid Monniaux2020-11-091-0/+1
|\
| * renumber before SSADavid Monniaux2020-11-091-0/+1
| * do not test with picosatDavid Monniaux2020-11-071-1/+2
* | do not compile picosat on kvxDavid Monniaux2020-11-071-1/+2
* | Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-11-060-0/+0
|\|
| * Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-11-062-27/+32
| |\
* | | Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-11-061-2/+0
|\| |
| * | rm extra from regular runDavid Monniaux2020-11-061-2/+0
* | | Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-11-0525-46/+11934
|\| |
| * | Merge remote-tracking branch 'compcertssa/issue1' into kvx-work-ssaDavid Monniaux2020-11-0524-46/+11929
| |\ \
| | * | add extra and picosat to the test filesDelphine Demange2020-11-051-1/+7
| | * | generalize entrypoint normalization checker + low-cost error messagesDelphine Demange2020-11-052-33/+70
| | * | low-cost error messagesDelphine Demange2020-11-051-7/+7
| | * | low-cost error messagesDelphine Demange2020-11-051-2/+2
| | * | ignoring picosat generated filesDelphine Demange2020-11-051-0/+6
| | * | adding local makefile for ccomp, with ccomp flagsDelphine Demange2020-11-051-0/+62
| | * | Adding proper makefileDelphine Demange2020-11-051-0/+60
| | * | Adding picosat-965Delphine Demange2020-11-0515-0/+11711
| | * | Test program related to issue #1Delphine Demange2020-11-051-0/+4
| * | | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-11-055-33/+121
| |\ \ \
* | \ \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass-ssaDavid Monniaux2020-11-052-27/+32
|\ \ \ \ \ | | |_|_|/ | |/| | |
| * | | | Fixing issue with loops having branches leading to goto backedgeCyril SIX2020-11-052-27/+32
| | |/ / | |/| |
* | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass-ssaDavid Monniaux2020-11-055-31/+114
|\| | |
| * | | Fixing get_loop_headers + alternative get_inner_loops (commented, not active)Cyril SIX2020-11-042-27/+107
| * | | Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2020-11-041-1/+2
| |\ \ \
| | * | | youtube linkSylvain Boulmé2020-11-041-1/+2
| | * | | Revert "Embed the short video with subtitles..."Sylvain Boulmé2020-11-041-10/+2
| | * | | Embed the short video with subtitles...Sylvain Boulmé2020-11-041-2/+10
| * | | | move loop rotate downDavid Monniaux2020-11-041-4/+5
| * | | | do not print "refining" unless askedDavid Monniaux2020-11-041-1/+2
| |/ / /
* | | | Merge remote-tracking branch 'origin/kvx-test-prepass' into kvx-test-prepass-ssaDavid Monniaux2020-11-042-7/+9
|\ \ \ \
| * | | | disable debug printing in schedulerDavid Monniaux2020-11-042-7/+9
| * | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-041-1/+2
| |\| | |
* | | | | Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-11-041-1/+2
|\ \ \ \ \ | | |_|/ / | |/| | |
| * | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-11-041-1/+2
| |\ \ \ \ | | | |/ / | | |/| |
| | * | | do not print "updates" to nodesDavid Monniaux2020-11-041-1/+2
| * | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-11-038-52/+241
| |\| | |
* | | | | Merge remote-tracking branch 'origin/kvx-test-prepass' into kvx-test-prepass-ssaDavid Monniaux2020-11-037-36/+121
|\ \ \ \ \ | | |_|/ / | |/| | |
| * | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-037-36/+121
| |\ \ \ \ | | | |/ / | | |/| |
| | * | | refixcse3David Monniaux2020-11-032-34/+53
| | * | | Loop Rotate with -flooprotateCyril SIX2020-11-035-1/+67
* | | | | Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-11-026-11/+69
|\ \ \ \ \ | | |_|/ / | |/| | |
| * | | | does not catch itDavid Monniaux2020-10-306-2/+13
| * | | | SSA chain makes it possible to rerun CSE3 afterDavid Monniaux2020-10-306-10/+59
| * | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-10-304-168/+78
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-10-295-48/+109
| |\ \ \ \ \
* | \ \ \ \ \ Merge remote-tracking branch 'origin/kvx-test-prepass' into kvx-test-prepass-ssaDavid Monniaux2020-10-315-17/+121
|\ \ \ \ \ \ \ | | |_|_|/ / / | |/| | | | |
| * | | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-315-17/+121
| |\ \ \ \ \ \ | | | |_|_|/ / | | |/| | | |
| | * | | | | refining CSE3 nodesDavid Monniaux2020-10-313-14/+84
| | * | | | | seems to work betterDavid Monniaux2020-10-312-3/+37
generated by cgit (git 2.34.1) at 2024-05-20 11:01:20 +0000