aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* README KalrayCyril SIX2020-05-041-0/+32
|
* Adding copyrightsCyril SIX2020-05-04108-460/+1392
|
* Update on testsuite and INSTALL.mdCyril SIX2020-05-043-9/+16
|
* add a renumber phaseDavid Monniaux2020-04-301-0/+1
|
* run a separate CSE3 for LICMDavid Monniaux2020-04-241-1/+3
|
* Merge branch 'mppa-work' of ↵David Monniaux2020-04-23139-589/+9973
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * Merge remote-tracking branch 'origin/mppa-features' into mppa-workDavid Monniaux2020-04-23139-589/+9973
| |\
| | * sync with licmDavid Monniaux2020-04-231-1/+1
| | |
| | * Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-237-35/+119
| | |\
| | | * CSE3 across callsDavid Monniaux2020-04-236-13/+44
| | | |
| | | * Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-04-235-21/+75
| | | |\
| | | | * make tracing output optionalDavid Monniaux2020-04-233-6/+11
| | | | |
| | | | * fix in CSE3 move propagationDavid Monniaux2020-04-234-42/+82
| | | | |
| | | | * CSE3analysisaux: pp_rhsDavid Monniaux2020-04-231-0/+9
| | | | |
| | | * | use cbn not simplDavid Monniaux2020-04-221-21/+21
| | | | |
| | * | | cbn and copyrightDavid Monniaux2020-04-222-9/+19
| | | | |
| | * | | use cbn in T instead of simpl in TDavid Monniaux2020-04-222-2/+3
| | | | |
| | * | | automated writing Compiler.vDavid Monniaux2020-04-226-122/+90
| | | | |
| | * | | generate mkpassDavid Monniaux2020-04-212-19/+14
| | | | |
| | * | | Require autogenDavid Monniaux2020-04-212-42/+26
| | | | |
| | * | | begin scripting the Compiler.v fileDavid Monniaux2020-04-215-39/+71
| | | | |
| | * | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-2115-165/+444
| | |\| |
| | | * | exampleDavid Monniaux2020-04-211-0/+6
| | | | |
| | | * | Merge branch 'mppa-cse3' of ../mppa-cse3 into mppa-licmDavid Monniaux2020-04-212-6/+34
| | | |\|
| | | | * improvement in precisionDavid Monniaux2020-04-212-6/+34
| | | | |
| | | * | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-04-216-12/+18
| | | |\|
| | | | * forward moves through CSE3 storeDavid Monniaux2020-04-214-8/+11
| | | | |
| | | | * Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3David Monniaux2020-04-2011-152/+393
| | | | |\
| | | * | \ Merge branch 'mppa-notrap-semantics' of ../mppa-notrap-semantics into mppa-licmDavid Monniaux2020-04-207-147/+386
| | | |\ \ \
| | | * \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-licmDavid Monniaux2020-04-202-1/+0
| | | |\ \ \ \
| | * | \ \ \ \ Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-featuresDavid Monniaux2020-04-2014-78/+432
| | |\ \ \ \ \ \
| | | * | | | | | fix int64David Monniaux2020-04-201-0/+4
| | | | | | | | |
| | | * | | | | | seems like fixed linking tests?!David Monniaux2020-04-201-1/+1
| | | | | | | | |
| | | * | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2020-04-201031-29150/+248508
| | | |\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (unfinished)
| | | * | | | | | | copyright blockDavid Monniaux2019-05-291-0/+183
| | | | | | | | | |
| | | * | | | | | | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-divDavid Monniaux2019-05-293-1/+3
| | | |\ \ \ \ \ \ \
| | | * | | | | | | | use silent FPDavid Monniaux2019-05-291-9/+9
| | | | | | | | | | |
| | | * | | | | | | | added -fdiv-i32 and -fdiv-i64 optionsDavid Monniaux2019-05-293-5/+20
| | | | | | | | | | |
| | | * | | | | | | | arranging for selection of divisor as optionDavid Monniaux2019-05-299-146/+89
| | | | | | | | | | |
| | | * | | | | | | | fixesDavid Monniaux2019-05-291-0/+1
| | | | | | | | | | |
| | | * | | | | | | | various fixesDavid Monniaux2019-05-292-1/+3
| | | | | | | | | | |
| | | * | | | | | | | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-divDavid Monniaux2019-05-290-0/+0
| | | |\ \ \ \ \ \ \ \
| | | * \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-divDavid Monniaux2019-05-2914-358/+53
| | | |\ \ \ \ \ \ \ \ \
| | | * \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2019-05-298-40/+45
| | | |\ \ \ \ \ \ \ \ \ \
| | | * | | | | | | | | | | new routines for 32-bit divisionDavid Monniaux2019-05-213-5/+122
| | | | | | | | | | | | | |
| | | * | | | | | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2019-05-217-949/+712
| | | |\ \ \ \ \ \ \ \ \ \ \
| | | * \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2019-05-2025-23/+136
| | | |\ \ \ \ \ \ \ \ \ \ \ \
| | | * \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2019-05-177-298/+593
| | | |\ \ \ \ \ \ \ \ \ \ \ \ \
| | | * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2019-05-161-5/+18
| | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| | | * | | | | | | | | | | | | | | sdiv, smod, udiv, umod through fast routinesDavid Monniaux2019-05-161-1/+32
| | | | | | | | | | | | | | | | | |
generated by cgit (git 2.34.1) at 2024-07-14 01:58:16 +0000