tree checksum vpatch file split hunks
all signers: ave1
antecedents: zfp_genesis
press order:
| zfp_genesis | ave1 |
| zfp_1_examples | ave1 |
patch:
(0 . 0)(1 . 1)
5 Placeholder.
-(0 . 0)(1 . 36)
10 ------------------------------------------------------------------------------
11 ------------------------------------------------------------------------------
12 -- You do not have, nor can you ever acquire the right to use, copy or --
13 -- distribute this software ; Should you use this software for any purpose, --
14 -- or copy and distribute it to anyone or in any manner, you are breaking --
15 -- the laws of whatever soi-disant jurisdiction, and you promise to --
16 -- continue doing so for the indefinite future. In any case, please --
17 -- always : read and understand any software ; verify any PGP signatures --
18 -- that you use - for any purpose. --
19 -- --
20 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm . --
21 ------------------------------------------------------------------------------
22 ------------------------------------------------------------------------------
23
24 with Ada.Text_IO; use Ada.Text_IO;
25 with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;
26
27 procedure Constraint is
28 I : Integer := 1;
29 A : array (1 .. 3) of Integer;
30 begin
31 for J in A'Range loop
32 A(J) := (J + 10) * 20;
33 end loop;
34 Put("Loop should end in constaint error.");
35 New_Line;
36 loop
37 Put(I);
38 New_Line;
39 Put(A(I));
40 I := I + 1;
41 if I > 10 then
42 exit;
43 end if;
44 end loop;
45 end Constraint;
-(0 . 0)(1 . 42)
50 ------------------------------------------------------------------------------
51 ------------------------------------------------------------------------------
52 -- You do not have, nor can you ever acquire the right to use, copy or --
53 -- distribute this software ; Should you use this software for any purpose, --
54 -- or copy and distribute it to anyone or in any manner, you are breaking --
55 -- the laws of whatever soi-disant jurisdiction, and you promise to --
56 -- continue doing so for the indefinite future. In any case, please --
57 -- always : read and understand any software ; verify any PGP signatures --
58 -- that you use - for any purpose. --
59 ------------------------------------------------------------------------------
60 ------------------------------------------------------------------------------
61
62
63 project Examples is
64
65 for Object_Dir use "obj";
66
67 for Languages use ("Ada", "C");
68 for Source_Dirs use ("helloworld", "constraint");
69 for Exec_Dir use "bin";
70 for Main use ("helloworld/hello.adb", "constraint/constraint.adb");
71
72
73 package Compiler is
74 for Switches ("Ada")
75 use ("-O2", --"-gnatg", "-gnatyN",
76 "-fstack-check",
77 "-fdata-sections", "-ffunction-sections",
78 "-gnatec=" & Examples'Project_Dir & "restrict.adc");
79 end Compiler;
80
81 package Binder is
82 for Switches ("Ada")
83 use ("-static","-r");
84 end Binder;
85
86 package Linker is
87 for Switches ("Ada")
88 use ("-Wl,--gc-sections", "-static");
89 end Linker;
90
91 end Examples;
-(0 . 0)(1 . 21)
96 ------------------------------------------------------------------------------
97 ------------------------------------------------------------------------------
98 -- You do not have, nor can you ever acquire the right to use, copy or --
99 -- distribute this software ; Should you use this software for any purpose, --
100 -- or copy and distribute it to anyone or in any manner, you are breaking --
101 -- the laws of whatever soi-disant jurisdiction, and you promise to --
102 -- continue doing so for the indefinite future. In any case, please --
103 -- always : read and understand any software ; verify any PGP signatures --
104 -- that you use - for any purpose. --
105 -- --
106 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm . --
107 ------------------------------------------------------------------------------
108 ------------------------------------------------------------------------------
109
110 with Ada.Text_IO; use Ada.Text_IO;
111
112 procedure Hello is
113 begin
114 Put("Hello World");
115 New_Line;
116 end Hello;
-(0 . 0)(1 . 1)
121 Placeholder.
-(0 . 0)(1 . 85)
126 ------------------------------------------------------------------------------
127 ------------------------------------------------------------------------------
128 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'. --
129 -- --
130 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org ) --
131 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html --
132 -- --
133 -- You do not have, nor can you ever acquire the right to use, copy or --
134 -- distribute this software ; Should you use this software for any purpose, --
135 -- or copy and distribute it to anyone or in any manner, you are breaking --
136 -- the laws of whatever soi-disant jurisdiction, and you promise to --
137 -- continue doing so for the indefinite future. In any case, please --
138 -- always : read and understand any software ; verify any PGP signatures --
139 -- that you use - for any purpose. --
140 -- --
141 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm . --
142 ------------------------------------------------------------------------------
143 ------------------------------------------------------------------------------
144
145 pragma Restrictions(Immediate_Reclamation);
146 pragma Restrictions(Max_Asynchronous_Select_Nesting => 0);
147 pragma Restrictions(Max_Protected_Entries => 0);
148 pragma Restrictions(Max_Select_Alternatives => 0);
149 pragma Restrictions(Max_Task_Entries => 0);
150 pragma Restrictions(Max_Tasks => 0);
151 pragma Restrictions(No_Abort_Statements);
152 pragma Restrictions(No_Access_Parameter_Allocators);
153 pragma Restrictions(No_Allocators);
154 pragma Restrictions(No_Asynchronous_Control);
155 pragma Restrictions(No_Calendar);
156 pragma Restrictions(No_Coextensions);
157 pragma Restrictions(No_Default_Stream_Attributes);
158 pragma Restrictions(No_Delay);
159 pragma Restrictions(No_Dispatch);
160 pragma Restrictions(No_Dispatching_Calls);
161 pragma Restrictions(No_Dynamic_Attachment);
162 pragma Restrictions(No_Dynamic_Priorities);
163 pragma Restrictions(No_Entry_Calls_In_Elaboration_Code);
164 pragma Restrictions(No_Entry_Queue);
165 pragma Restrictions(No_Enumeration_Maps);
166 pragma Restrictions(No_Exception_Propagation);
167 pragma Restrictions(No_Exception_Registration);
168 pragma Restrictions(No_Finalization);
169 pragma Restrictions(No_Fixed_Io);
170 pragma Restrictions(No_Implementation_Aspect_Specifications);
171 pragma Restrictions(No_Implementation_Units);
172 pragma Restrictions(No_Implicit_Aliasing);
173 pragma Restrictions(No_Implicit_Conditionals);
174 pragma Restrictions(No_Implicit_Dynamic_Code);
175 pragma Restrictions(No_Implicit_Heap_Allocations);
176 pragma Restrictions(No_Implicit_Protected_Object_Allocations);
177 pragma Restrictions(No_Implicit_Task_Allocations);
178 pragma Restrictions(No_Initialize_Scalars);
179 pragma Restrictions(No_Local_Protected_Objects);
180 pragma Restrictions(No_Local_Timing_Events);
181 pragma Restrictions(No_Multiple_Elaboration);
182 pragma Restrictions(No_Nested_Finalization);
183 pragma Restrictions(No_Protected_Type_Allocators);
184 pragma Restrictions(No_Protected_Types);
185 pragma Restrictions(No_Relative_Delay);
186 pragma Restrictions(No_Requeue_Statements);
187 pragma Restrictions(No_Secondary_Stack);
188 pragma Restrictions(No_Select_Statements);
189 pragma Restrictions(No_Specific_Termination_Handlers);
190 pragma Restrictions(No_Standard_Allocators_After_Elaboration);
191 pragma Restrictions(No_Stream_Optimizations);
192 pragma Restrictions(No_Streams);
193 pragma Restrictions(No_Task_Allocators);
194 pragma Restrictions(No_Task_At_Interrupt_Priority);
195 pragma Restrictions(No_Task_Attributes_Package);
196 pragma Restrictions(No_Task_Hierarchy);
197 pragma Restrictions(No_Tasking);
198 pragma Restrictions(No_Task_Termination);
199 pragma Restrictions(No_Terminate_Alternatives);
200 pragma Restrictions(No_Unchecked_Access);
201 pragma Restrictions(No_Unchecked_Deallocation);
202 pragma Restrictions(No_Wide_Characters);
203 pragma Restrictions(Pure_Barriers);
204 pragma Restrictions(Simple_Barriers);
205 pragma Restrictions(Static_Priorities);
206 pragma Restrictions(Static_Storage_Size);
207 pragma Validity_Checks(ALL_CHECKS);
208 pragma Discard_Names;
209 pragma Restrictions (No_Enumeration_Maps);
210 pragma Restrictions (No_Exception_Propagation);
- 5AC0A5FDA47F5BACF68D2B31DF0D877F87DD17F1CA9377F85F4808A346FABE0F109C53295D11B968EFBFBF111F5995E8D9FE3B6D69E71A3AA4B27981908BB1E1(1 . 1)(1 . 2)
215 535595 zfp_genesis ave1 a minimal gnat runtime library
216 535611 zfp_1_examples ave1 two examples for the minimal runtime