Skip to content

Activity

Merge branch 'cherry-pick-98a7508f' into '21-sustained'

adacore-botpushed 2 commits to 21-sustained • b30d300…b8f0f19 • 
3 days ago

Merge branch 'mr/fix_gnatcoverage_internal_build' into '23-sustained'

adacore-botpushed 2 commits to 23-sustained • 210a86d…98a7508 • 
6 days ago

Merge branch 'cherry-pick-e4e05e0f' into '23-sustained'

adacore-botpushed 2 commits to 23-sustained • 1ab2052…210a86d • 
6 days ago

Merge branch 'mr/445-gnat-introduction-of-assertion_level-and-unsigne…

adacore-botpushed 2 commits to edge • f733d67…0ff287a • 
10 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 3 commits to edge • 9b3a7ba…f733d67 • 
11 days ago

Merge branch 'eyraud/45' into 'master'

adacore-botpushed 2 commits to master • 3495b42…3852b39 • 
11 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 13 commits to edge • 5748791…9b3a7ba • 
14 days ago

Merge branch 'rust-tests' into 'master'

adacore-botpushed 4 commits to master • a970797…3495b42 • 
16 days ago

Merge branch 'mr/pmderodat/qnx' into 'master'

adacore-botpushed 2 commits to master • 5a72f33…a970797 • 
16 days ago

Merge branch 'mr/pmderodat/windows' into 'master'

adacore-botpushed 2 commits to master • 85e1415…5a72f33 • 
16 days ago

Merge branch 'mr/pmderodat/optimized' into 'master'

adacore-botpushed 2 commits to master • 8822035…85e1415 • 
16 days ago

Merge branch 'mr/pmderodat/block' into 'master'

adacore-botpushed 2 commits to master • 7c1255b…8822035 • 
16 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 36 commits to edge • c3e52ce…5748791 • 
17 days ago

Merge branch 'mr/pmderodat/cross-c++' into 'master'

adacore-botpushed 17 commits to master • 9a9a4eb…7c1255b • 
17 days ago

Merge branch 'mr/pmderodat/qnx' into 'master'

adacore-botpushed 3 commits to master • d5e7e46…9a9a4eb • 
17 days ago

Merge branch 'mr/pmderodat/OA27-059-separate-consolidation' into 'mas…

adacore-botpushed 2 commits to master • 7d8a17f…d5e7e46 • 
17 days ago

Merge branch 'mr/pmderodat/ravenscar-warning' into 'master'

adacore-botpushed 4 commits to master • bad2872…7d8a17f • 
17 days ago

Merge branch 'mr/pmderodat/N321-039-disas-wrapping' into 'master'

adacore-botpushed 2 commits to master • 66011cc…bad2872 • 
17 days ago

Merge branch 'mr/pmderodat/SB06-033-homonyms' into 'master'

adacore-botpushed 5 commits to master • cf2dde0…66011cc • 
17 days ago

Merge branch 'mr/pmderodat/c++-for-loop-instr' into 'master'

adacore-botpushed 2 commits to master • 2380350…cf2dde0 • 
18 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 15 commits to edge • 3eb5677…c3e52ce • 
18 days ago

Merge branch 'mr/pmderodat/c_special_filename' into 'master'

adacore-botpushed 2 commits to master • 4be3afc…2380350 • 
19 days ago

Merge branch 'mr/pmderodat/OA27-059-separate-consolidation' into 'mas…

adacore-botpushed 2 commits to master • 7cf6f44…4be3afc • 
19 days ago

Merge branch 'mr/pmderodat/skipped-tests' into 'master'

adacore-botpushed 2 commits to master • 1bd59bf…7cf6f44 • 
19 days ago

Merge branch 'mr/pmderodat/TC03-012-objcov-line-state' into 'master'

adacore-botpushed 5 commits to master • e820ffb…1bd59bf • 
19 days ago

Merge branch 'mr/pmderodat/ada2022-container-aggregates' into 'master'

adacore-botpushed 3 commits to master • 7835ca8…e820ffb • 
19 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 25 commits to edge • 5e09789…3eb5677 • 
19 days ago

Merge branch 'mr/pmderodat/cross-c++' into 'master'

adacore-botpushed 2 commits to master • 22693fd…7835ca8 • 
19 days ago

Merge branch 'mr/pmderodat/R507-014-trailing-byte-insn' into 'master'

adacore-botpushed 2 commits to master • f6acb24…22693fd • 
19 days ago

Merge branch 'mr/pmderodat/remove-bin-traces' into 'master'

adacore-botpushed 13 commits to master • 0efaa4e…f6acb24 • 
19 days ago