Commits

Branch selector

 master

User selector

swbaird

Datepicker

All time

Commit History

Commits on Jul 7, 2020

• [Ada] Simplify statically known Max_Size_In_Storage_Elements attribute in more cases

  Show description for 1c4b5a7
  

  swbaird

  authored and

  pmderodat

  committed
  1c4b5a7

  Copy full SHA for 1c4b5a7

Commits on Jun 18, 2020

• [Ada] Implement AI12-0032 fixes for 'Old attribute accessibility

  Show description for 1317500
  

  swbaird

  authored and

  pmderodat

  committed
  1317500

  Copy full SHA for 1317500

• [Ada] No Default_Initial_Condition check when declaring an imported object

  Show description for a6c4671
  

  swbaird

  authored and

  pmderodat

  committed
  a6c4671

  Copy full SHA for a6c4671

Commits on Jun 16, 2020

• [Ada] Enable literal aspect specifications in Big_Numbers specs

  Show description for 0951b91
  

  swbaird

  authored and

  pmderodat

  committed
  0951b91

  Copy full SHA for 0951b91

• [Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals)

  Show description for 158b52c
  

  swbaird

  authored and

  pmderodat

  committed
  158b52c

  Copy full SHA for 158b52c

Commits on Jun 15, 2020

• [Ada] Update 'Loop_Entry checking to match changes in 'Old rules.

  Show description for 1fab710
  

  swbaird

  authored and

  pmderodat

  committed
  1fab710

  Copy full SHA for 1fab710

Commits on Jun 12, 2020

• [Ada] Fix anonymous-to-named access type implicit conversion legality checking

  Show description for a6db99a
  

  swbaird

  authored and

  pmderodat

  committed
  a6db99a

  Copy full SHA for a6db99a

• [Ada] Implement AI12-0369

  Show description for 7c3e76b
  

  swbaird

  authored and

  pmderodat

  committed
  7c3e76b

  Copy full SHA for 7c3e76b

Commits on Jun 11, 2020

• [Ada] Allow specifying volatility refinement aspects for types

  Show description for 4127ebe
  

  swbaird

  authored and

  pmderodat

  committed
  4127ebe

  Copy full SHA for 4127ebe

Commits on Jun 8, 2020

• [Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers)

  Show description for 48b799e
  

  swbaird

  authored and

  pmderodat

  committed
  48b799e

  Copy full SHA for 48b799e

• [Ada] Implement AI12-0291 (Jorvik profile)

  Show description for a998e58
  

  swbaird

  authored and

  pmderodat

  committed
  a998e58

  Copy full SHA for a998e58

• [Ada] Implement AI12-0290 (Simple_Barriers restriction)

  Show description for 6476fc3
  

  swbaird

  authored and

  pmderodat

  committed
  6476fc3

  Copy full SHA for 6476fc3

Commits on Jun 4, 2020

• [Ada] Avoid buffer overflow in Long_Long_Float_Text_IO

  Show description for b5682bf
  

  swbaird

  authored and

  pmderodat

  committed
  b5682bf

  Copy full SHA for b5682bf

Commits on Dec 13, 2019

• [Ada] Detect illegal implicit type conversions

  Show description for a85475b
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  a85475b

  Copy full SHA for a85475b

• [Ada] Implement AI12-0109 (prohibit some "early" derivations)

  Show description for cfedf3e
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  cfedf3e

  Copy full SHA for cfedf3e

• [Ada] Implement AI12-0101

  Show description for d7c37f4
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  d7c37f4

  Copy full SHA for d7c37f4

Commits on Dec 12, 2019

• [Ada] Tighten up semantic checking for protected subprogram declarations

  Show description for 97b2ffb
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  97b2ffb

  Copy full SHA for 97b2ffb

• [Ada] Improved handling of circular compilation dependencies

  Show description for fbb076f
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  fbb076f

  Copy full SHA for fbb076f

• [Ada] Implement AI12-0036 (a new legality check for instantiations)

  Show description for 16b5f07
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  16b5f07

  Copy full SHA for 16b5f07

Commits on Sep 19, 2019

• [Ada] Accept concatentation arguments to pragma Annotate

  Show description for 0c27222
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  0c27222

  Copy full SHA for 0c27222

Commits on Sep 18, 2019

• [Ada] Implement AI12-0086's rules for discriminants in aggregates

  Show description for c8324fe
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  c8324fe

  Copy full SHA for c8324fe

• [Ada] Don't fail a front-end assertion if errors have already been detected

  Show description for 50a7395
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  50a7395

  Copy full SHA for 50a7395

• [Ada] No Storage_Error for an oversized disabled ghost array object

  Show description for dcbe49a
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  dcbe49a

  Copy full SHA for dcbe49a

Commits on Sep 17, 2019

• [Ada] Don't accept illegal (e.g., Integer'(null)) generic actuals

  Show description for 0a39f24
  

  swbaird

  authored and

  Pierre-Marie de Rodat

  committed
  0a39f24

  Copy full SHA for 0a39f24

Commits on Sep 6, 2017

• exp_util.adb (Side_Effect_Free): For CodePeer (only) treat uses of 'Image and related attributes as having side...

  Show description for 643827e
  

  swbaird

  authored and

  Arnaud Charlet

  committed
  643827e

  Copy full SHA for 643827e

Commits on Nov 12, 2015

• 2015-11-12 Steve Baird <[email protected]>

  Show description for 0fe797c
  

  swbaird

  authored and

  Arnaud Charlet

  committed
  0fe797c

  Copy full SHA for 0fe797c

Commits on Feb 22, 2012

• sem_prag.adb (Analyze_PPC_In_Decl_Part): Clean up generation of error message text.

  Show description for 740ce33
  

  swbaird

  authored and

  Arnaud Charlet

  committed
  740ce33

  Copy full SHA for 740ce33

Commits on Feb 17, 2012

• sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and Post'Class aspects can only be specified for a primitive...

  Show description for acf49e8
  

  swbaird

  authored and

  Arnaud Charlet

  committed
  acf49e8

  Copy full SHA for acf49e8

Commits on Nov 21, 2011

• sem_util.ads: Update comment describing function Deepest_Access_Level.

  Show description for f460d8f
  

  swbaird

  authored and

  Arnaud Charlet

  committed
  f460d8f

  Copy full SHA for f460d8f

Commits on Sep 6, 2011

• einfo.ads (Extra_Accessibility_Of_Result): New function...

  Show description for 63585f7
  

  swbaird

  authored and

  Arnaud Charlet

  committed
  63585f7

  Copy full SHA for 63585f7