]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/sem_spark.adb
projects / thirdparty / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[Ada] Minor reformattings
[thirdparty/gcc.git] / gcc / ada / sem_spark.adb
2019-08-20  pmderodat[Ada] Minor reformattings blob | commitdiff | raw
2019-08-19  pmderodat[Ada] Allow reading a borrowed object inside a call... blob | commitdiff | raw | diff to current
2019-08-14  pmderodat[Ada] Expose part of ownership checking for use in... blob | commitdiff | raw | diff to current
2019-08-14  pmderodat[Ada] Check SPARK restriction on Old/Loop_Entry with... blob | commitdiff | raw | diff to current
2019-08-14  pmderodat[Ada] Fix spurious ownership error in GNATprove blob | commitdiff | raw | diff to current
2019-07-23  pmderodat[Ada] Issue error on SPARK ownership rule violation blob | commitdiff | raw | diff to current
2019-07-22  pmderodat[Ada] Adapt ownership checking in SPARK to traversal... blob | commitdiff | raw | diff to current
2019-07-11  pmderodat[Ada] Refactor ownership pointer checking in SPARK... blob | commitdiff | raw | diff to current
2019-07-10  pmderodat[Ada] Fix spurious messages on global variables for... blob | commitdiff | raw | diff to current
2019-07-10  pmderodat[Ada] Fix possible crashes in GNATprove analysis of... blob | commitdiff | raw | diff to current
2019-07-10  pmderodat[Ada] Minor reformatting blob | commitdiff | raw | diff to current
2019-07-10  pmderodat[Ada] Fix crashes on ownership checking in SPARK blob | commitdiff | raw | diff to current
2019-07-09  pmderodat[Ada] Minor reformatting blob | commitdiff | raw | diff to current
2019-07-09  pmderodat[Ada] Handle implicit moves in SPARK ownership pointer... blob | commitdiff | raw | diff to current
2019-07-09  pmderodat[Ada] Issue error on illegal ownership in SPARK blob | commitdiff | raw | diff to current
2019-07-09  pmderodat[Ada] Fix ownership checking for pointers in SPARK blob | commitdiff | raw | diff to current
2019-07-04  pmderodat[Ada] Fix crash in SPARK ownership checking blob | commitdiff | raw | diff to current
2019-07-04  pmderodat[Ada] Skip code not in SPARK for ownership analysis blob | commitdiff | raw | diff to current
2019-07-04  pmderodat[Ada] Better error messages for ownership errors in... blob | commitdiff | raw | diff to current
2019-07-03  pmderodat[Ada] Refine pointer support in SPARK blob | commitdiff | raw | diff to current
2019-07-03  pmderodat[Ada] Minor editorial corrections and reformatting blob | commitdiff | raw | diff to current
2019-07-03  pmderodat[Ada] SPARK pointer support extended to local borrowers... blob | commitdiff | raw | diff to current
2019-07-01  pmderodat[Ada] Minor reformatting blob | commitdiff | raw | diff to current
2019-07-01  pmderodat[Ada] SPARK support for pointers through ownership blob | commitdiff | raw | diff to current
2019-01-08  pmderodat[Ada] Bump copyright years to 2019 blob | commitdiff | raw | diff to current
2018-12-11  pmderodat[Ada] Minor reformattings blob | commitdiff | raw | diff to current
2018-11-14  pmderodat[Ada] Minor reformatting blob | commitdiff | raw | diff to current
2018-10-09  pmderodat[Ada] SPARK: fix bug related to non access object permi... blob | commitdiff | raw | diff to current
2018-09-26  pmderodat[Ada] SPARK: fix a bug related to loop exit environment blob | commitdiff | raw | diff to current
2018-09-26  pmderodat[Ada] SPARK: update borrowing effects for IN parameters blob | commitdiff | raw | diff to current
2018-08-21  pmderodat[Ada] Update for Ownership rules for access types accor... blob | commitdiff | raw | diff to current
2018-05-23  pmderodat[Ada] Minor reformattings blob | commitdiff | raw | diff to current
2018-05-23  pmderodat[Ada] Fix of some permission rules of pointers in SPARK blob | commitdiff | raw | diff to current
2018-05-22  pmderodat[Ada] Ada2020: Reduction expressions blob | commitdiff | raw | diff to current
2018-01-11  pmderodat[Ada] Bump copyright notices to 2018 blob | commitdiff | raw | diff to current
2017-12-15  pmderodat2017-12-15 Hristian Kirtchev <kirtchev@adacore.com> blob | commitdiff | raw | diff to current
2017-11-08  pmderodat2017-11-08 Hristian Kirtchev <kirtchev@adacore.com> blob | commitdiff | raw | diff to current
2017-10-09  pmderodat2017-10-09 Justin Squirek <squirek@adacore.com> blob | commitdiff | raw | diff to current
2017-10-09  pmderodat2017-10-09 Bob Duff <duff@adacore.com> blob | commitdiff | raw | diff to current
2017-09-12  charlet2017-09-12 Bob Duff <duff@adacore.com> blob | commitdiff | raw | diff to current
Mirror of https://gcc.gnu.org/git/gcc.git