mirror of
https://github.com/SHOGGOTH-SECTOR/sica-fondt.git
synced 2026-07-31 08:06:26 +00:00
3918ed1c1a
- alire.toml rewritten to valid schema ([[depends-on]], real build-switch values); restrictions moved to gnat.adc - gnat.adc: project-wide Jorvik profile, No_Exceptions, No_Implicit_Dynamic_Code, SPARK_Mode On - mafiabot_core.gpr: source dirs, mains, global config pragmas - Engine: drop the caller-side precondition race on Transition_State; guard moved into the protected body with illegal transitions forcing Fault_Halt - Empty stubs (economy/sockets/exploits): drop Elaborate_Body so they no longer compile until implemented
5 lines
134 B
Plaintext
5 lines
134 B
Plaintext
pragma Profile (Jorvik);
|
|
pragma Restrictions (No_Exceptions);
|
|
pragma Restrictions (No_Implicit_Dynamic_Code);
|
|
pragma SPARK_Mode (On);
|