?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
[Ada] Generate predicate checks for on assignments in records
2020-06-11 Ghjuvan Lacambre[Ada] Generate predicate checks for on assignments...
2020-06-11 Ghjuvan Lacambre <lacambre@adacore.com>
 commit | commitdiff | tree
2020-06-10 Ghjuvan Lacambre[Ada] Don't build equivalent record aggregate if type...
2020-06-10 Ghjuvan Lacambre <lacambre@adacore.com>
 commit | commitdiff | tree
2020-06-10 Ghjuvan Lacambre[Ada] Fix assertion failure on functions with contracts
2020-06-10 Ghjuvan Lacambre <lacambre@adacore.com>
 commit | commitdiff | tree
2020-06-10 Ghjuvan Lacambre[Ada] Reject illegal bodies for null procedures
2020-06-10 Ghjuvan Lacambre <lacambre@adacore.com>
 commit | commitdiff | tree
2020-06-09 Ghjuvan Lacambre[Ada] Fix wrong type being used for range check generation
2020-06-09 Ghjuvan Lacambre <lacambre@adacore.com>
 commit | commitdiff | tree
2019-12-18 Ghjuvan Lacambre[Ada] Reject aspect specifications on number constants
2019-12-18 Ghjuvan Lacambre <lacambre@adacore.com>
 commit | commitdiff | tree
2019-12-16 Ghjuvan Lacambre[Ada] Validate_Access_Subprogram_Instance: check if...
2019-12-16 Ghjuvan Lacambre <lacambre@adacore.com>
 commit | commitdiff | tree
2019-12-13 Ghjuvan Lacambre[Ada] implementation_defined_pragmas.rst: Update Initialize_...
2019-12-13 Ghjuvan Lacambre <lacambre@adacore.com>
 commit | commitdiff | tree
Mirror of the offical gcc git repository hosted at gcc.gnu.org