]> gcc.gnu.org Git - gcc.git/history - gcc/ada/contracts.ads
git://gcc.gnu.org / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
PHIOPT: Don't transform minmax if middle bb contains a phi [PR115143]
[gcc.git] / gcc / ada / contracts.ads
2024-01-22 Marc PoulhièsUpdate copyright years. commit | commitdiff
2023-10-19 Yannick Moyada: Support new SPARK aspect Side_Effects commit | commitdiff
2023-06-13 Piotr Trojanekada: Implement new aspect Always_Terminates for SPARK commit | commitdiff
2023-05-29 Piotr Trojanekada: Analyze pre/post on access-to-subprogram without... commit | commitdiff
2023-05-25 Piotr Trojanekada: Fix comments for recently added SPARK aspects commit | commitdiff
2023-05-23 Piotr Trojanekada: Accept and analyze new aspect Exceptional_Cases commit | commitdiff
2023-01-09 Arnaud Charletada: Update copyright notice commit | commitdiff
2022-11-08 Ronan Desplanquesada: Adjust classwide contract expression preanalysis commit | commitdiff
2022-09-12 Justin Squirek[Ada] Tech debt: Expansion of contracts commit | commitdiff
2022-05-17 Javier Miranda[Ada] Spurious error on subprogram with class-wide... commit | commitdiff
2022-01-11 Arnaud Charlet[Ada] Update copyright notice and bump Gnatvsn.Current_Year commit | commitdiff
2021-10-01 Javier Miranda[Ada] Ada2022: AI12-0195 overriding class-wide pre... commit | commitdiff
2021-05-03 Arnaud Charlet[Ada] Update copyright notice commit | commitdiff
2020-12-15 Justin Squirek[Ada] Postcondition checks performed before finalization commit | commitdiff
2020-10-20 Piotr Trojanek[Ada] Support for new aspect Subprogram_Variant on... commit | commitdiff
2020-06-11 Steve Baird[Ada] Allow specifying volatility refinement aspects... commit | commitdiff
2020-06-02 Arnaud Charlet[Ada] Bump copyright year commit | commitdiff
2019-08-12 Yannick Moy[Ada] New aspect/pragma No_Caching for analysis of... commit | commitdiff
2019-01-08 Pierre-Marie de... [Ada] Bump copyright years to 2019 commit | commitdiff
2018-07-16 Hristian Kirtchev[Ada] Missing error on hidden state in instantiation commit | commitdiff
2018-01-11 Arnaud Charlet[Ada] Bump copyright notices to 2018 commit | commitdiff
2017-11-09 Pierre-Marie de... [multiple changes] commit | commitdiff
2017-01-13 Arnaud CharletCode cleanups. commit | commitdiff
2015-11-18 Arnaud Charlet[multiple changes] commit | commitdiff
2015-11-18 Arnaud Charlet[multiple changes] commit | commitdiff
2015-10-26 Arnaud Charlet[multiple changes] commit | commitdiff
2015-10-26 Arnaud Charlet[multiple changes] commit | commitdiff
2015-10-26 Arnaud Charlet[multiple changes] commit | commitdiff
2015-10-26 Arnaud Charlet[multiple changes] commit | commitdiff
2015-10-23 Arnaud Charlet[multiple changes] commit | commitdiff
GNU Compiler Collection
This page took 6.084736 seconds and 7 git commands to generate.