Question

How to properly handle byte buffers from C to Ada?

score 73 · Answer 1 · 2024-03-29T13:26:16.417000

73

Views

How to properly handle byte buffers from C to Ada?

Published on 29 March 2024 at 13:26

score 80 · Answer 2 · 2024-03-27T15:22:13.257000

80

Views

ADA problem with value by reference or post conditions

Published on 27 March 2024 at 15:22

score 98 · Answer 3 · 2024-03-21T13:23:38.480000

98

Views

Order of evaluation in assignment statements

Published on 21 March 2024 at 13:23

score 86 · Answer 4 · 2024-03-07T16:06:33.720000

86

Views

Why Ada attribute 'value in this snippet doesn't raise Data_Error but Constraint_Error instead?

Published on 07 March 2024 at 16:06

score 104 · Answer 5 · 2024-03-05T06:11:49.560000

104

Views

How to write Recursive GCD program in Ada?

Published on 05 March 2024 at 06:11

score 73 · Answer 6 · 2024-03-04T12:12:50.000000

73

Views

Ada Calendar Arithmetic Difference 0 day between March 27 and March 28 2011

Published on 04 March 2024 at 12:12

score 82 · Answer 7 · 2024-03-02T22:25:45.503000

82

Views

Access constant as subtype of general access type

Published on 02 March 2024 at 22:25

score 84 · Answer 8 · 2024-02-12T11:14:26.660000

84

Views

How to conveniently parse a very specific chunk of a plaintext file in Ada?

Published on 12 February 2024 at 11:14

score 82 · Answer 9 · 2024-02-11T20:02:39.070000

82

Views

STORAGE_ERROR on assignment to array element

Published on 11 February 2024 at 20:02

score 75 · Answer 10 · 2024-02-09T10:54:51.283000

75

Views

Howto Re-Index an String in Ada?

Published on 09 February 2024 at 10:54

score 126 · Answer 11 · 2024-02-01T16:30:11.630000

126

Views

How to add < and > check in case ... when?

Published on 01 February 2024 at 16:30

score 101 · Answer 12 · 2024-01-22T20:32:56.533000

101

Views

How can I have more information in a Predicate_Failure?

Published on 22 January 2024 at 20:32

score 77 · Answer 13 · 2024-01-21T17:15:52.587000

77

Views

Tasking support in CortexM4-based board

Published on 21 January 2024 at 17:15

score 63 · Answer 14 · 2024-01-18T17:33:52.767000

63

Views

Receiving a `r' Fatal Error when trying to build basic Ada code

Published on 18 January 2024 at 17:33

score 153 · Answer 15 · 2024-01-13T11:48:45.750000

153

Views

MSYS2 - mingw64 Installing a package

Published on 13 January 2024 at 11:48

score 140 · Answer 16 · 2024-01-11T18:32:35.720000

140

Views

Ada/Spark: Where is the "platinum" mode in gnatprove?

Published on 11 January 2024 at 18:32

score 133 · Answer 17 · 2024-01-05T13:06:37.443000

133

Views

Injecting command line arguments in an Ada AUnit test

Published on 05 January 2024 at 13:06

score 115 · Answer 18 · 2023-12-28T00:28:12.210000

115

Views

Access-to-variable designates constant when trying to pass a pointer to vector element

Published on 28 December 2023 at 00:28

score 92 · Answer 19 · 2023-12-26T18:14:15.627000

92

Views

How to get access to a record field

Published on 26 December 2023 at 18:14

score 92 · Answer 20 · 2023-12-18T21:13:07.700000

92

Views

How do you use the Reference_Type in Ada Hashed_Maps?

Published on 18 December 2023 at 21:13

List Question

How to properly handle byte buffers from C to Ada?

ADA problem with value by reference or post conditions

Order of evaluation in assignment statements

Why Ada attribute 'value in this snippet doesn't raise Data_Error but Constraint_Error instead?

How to write Recursive GCD program in Ada?

Ada Calendar Arithmetic Difference 0 day between March 27 and March 28 2011

Access constant as subtype of general access type

How to conveniently parse a very specific chunk of a plaintext file in Ada?

STORAGE_ERROR on assignment to array element

Howto Re-Index an String in Ada?

How to add < and > check in case ... when?

How can I have more information in a Predicate_Failure?

Tasking support in CortexM4-based board

Receiving a `r' Fatal Error when trying to build basic Ada code

MSYS2 - mingw64 Installing a package

Ada/Spark: Where is the "platinum" mode in gnatprove?

Injecting command line arguments in an Ada AUnit test

Access-to-variable designates constant when trying to pass a pointer to vector element

How to get access to a record field

How do you use the Reference_Type in Ada Hashed_Maps?

Trending Questions

Popular # Hahtags

Popular Questions