Test ran at 2024-12-11 00:54:14.258067+00:00

SOLUTION:
atomic=0.5.0: Standalone Ada/SPARK bindings to GCC atomic built-ins
Origin: commit 14c344ccfb14bcba0feadb5303831d6409f65b5e from https://github.com/Fabien-Chouteau/atomic.git
Properties:
   Author: Fabien Chouteau
   Config type: Backend : Enum (Intrinsic, armv6m, rp2040_spinlock) default: 'Intrinsic'
   Config type: RP2040_Spinlock_ID : Integer range 0 .. 31 default: '31'
   Configuration: no modifiers
   Description: Standalone Ada/SPARK bindings to GCC atomic built-ins
   License: MIT
   Maintainer: Fabien Chouteau <chouteau@adacore.com>
   Maintainers_Logins: Fabien-Chouteau
   Name: atomic
   Tag: atomic
   Tag: spark
   Tag: embedded
   Tag: nostd
   Version: 0.5.0
   Website: https://github.com/Fabien-Chouteau/atomic


LOG:
Note: Deploying atomic=0.5.0...
Note: Building atomic/atomic.gpr...
Setup
   [mkdir]        object directory for project Atomic
   [mkdir]        library directory for project Atomic
Compile
   [Ada]          atomic-signed.adb
   [Ada]          atomic.adb
   [Ada]          atomic-unsigned.adb
   [Ada]          atomic_config.ads
   [Ada]          atomic-unsigned_8.ads
atomic-signed.adb:75:80: (style) this line is too long
atomic-signed.adb:77:80: (style) this line is too long
atomic-signed.adb:79:80: (style) this line is too long
atomic-signed.adb:81:80: (style) this line is too long
atomic-signed.adb:104:80: (style) this line is too long
atomic-signed.adb:106:80: (style) this line is too long
atomic-signed.adb:108:80: (style) this line is too long
atomic-signed.adb:110:80: (style) this line is too long
atomic-signed.adb:135:80: (style) this line is too long
atomic-signed.adb:137:80: (style) this line is too long
atomic-signed.adb:139:80: (style) this line is too long
atomic-signed.adb:141:80: (style) this line is too long
atomic-signed.adb:167:80: (style) this line is too long
atomic-signed.adb:169:80: (style) this line is too long
atomic-signed.adb:171:80: (style) this line is too long
atomic-signed.adb:173:80: (style) this line is too long
atomic-signed.adb:180:80: (style) this line is too long
atomic-signed.adb:181:80: (style) this line is too long
atomic-signed.adb:182:80: (style) this line is too long
atomic-signed.adb:183:80: (style) this line is too long
atomic-signed.adb:198:80: (style) this line is too long
atomic-signed.adb:200:80: (style) this line is too long
atomic-signed.adb:202:80: (style) this line is too long
atomic-signed.adb:204:80: (style) this line is too long
atomic-signed.adb:227:80: (style) this line is too long
atomic-signed.adb:229:80: (style) this line is too long
atomic-signed.adb:231:80: (style) this line is too long
atomic-signed.adb:233:80: (style) this line is too long
atomic-signed.adb:256:80: (style) this line is too long
atomic-signed.adb:258:80: (style) this line is too long
atomic-signed.adb:260:80: (style) this line is too long
atomic-signed.adb:262:80: (style) this line is too long
atomic-signed.adb:285:80: (style) this line is too long
atomic-signed.adb:287:80: (style) this line is too long
atomic-signed.adb:289:80: (style) this line is too long
atomic-signed.adb:291:80: (style) this line is too long
atomic-signed.adb:317:80: (style) this line is too long
atomic-signed.adb:319:80: (style) this line is too long
atomic-signed.adb:321:80: (style) this line is too long
atomic-signed.adb:323:80: (style) this line is too long
atomic-signed.adb:350:80: (style) this line is too long
atomic-signed.adb:352:80: (style) this line is too long
atomic-signed.adb:354:80: (style) this line is too long
atomic-signed.adb:356:80: (style) this line is too long
atomic-signed.adb:363:80: (style) this line is too long
atomic-signed.adb:364:80: (style) this line is too long
atomic-signed.adb:365:80: (style) this line is too long
atomic-signed.adb:366:80: (style) this line is too long
atomic-signed.adb:380:80: (style) this line is too long
atomic-signed.adb:382:80: (style) this line is too long
atomic-signed.adb:384:80: (style) this line is too long
atomic-signed.adb:386:80: (style) this line is too long
atomic-signed.adb:408:80: (style) this line is too long
atomic-signed.adb:410:80: (style) this line is too long
atomic-signed.adb:412:80: (style) this line is too long
atomic-signed.adb:414:80: (style) this line is too long
atomic-signed.adb:436:80: (style) this line is too long
atomic-signed.adb:438:80: (style) this line is too long
atomic-signed.adb:440:80: (style) this line is too long
atomic-signed.adb:442:80: (style) this line is too long
atomic-signed.adb:464:80: (style) this line is too long
atomic-signed.adb:466:80: (style) this line is too long
atomic-signed.adb:468:80: (style) this line is too long
atomic-signed.adb:470:80: (style) this line is too long
atomic-signed.ads:95:06: (style) "and then" required
atomic-signed.ads:102:06: (style) "and then" required
   [Ada]          atomic-signed_16.ads
atomic-unsigned.adb:75:80: (style) this line is too long
atomic-unsigned.adb:77:80: (style) this line is too long
atomic-unsigned.adb:79:80: (style) this line is too long
atomic-unsigned.adb:81:80: (style) this line is too long
atomic-unsigned.adb:104:80: (style) this line is too long
atomic-unsigned.adb:106:80: (style) this line is too long
atomic-unsigned.adb:108:80: (style) this line is too long
atomic-unsigned.adb:110:80: (style) this line is too long
atomic-unsigned.adb:133:80: (style) this line is too long
atomic-unsigned.adb:135:80: (style) this line is too long
atomic-unsigned.adb:137:80: (style) this line is too long
atomic-unsigned.adb:139:80: (style) this line is too long
atomic-unsigned.adb:162:80: (style) this line is too long
atomic-unsigned.adb:164:80: (style) this line is too long
atomic-unsigned.adb:166:80: (style) this line is too long
atomic-unsigned.adb:168:80: (style) this line is too long
atomic-unsigned.adb:191:80: (style) this line is too long
atomic-unsigned.adb:193:80: (style) this line is too long
atomic-unsigned.adb:195:80: (style) this line is too long
atomic-unsigned.adb:197:80: (style) this line is too long
atomic-unsigned.adb:220:80: (style) this line is too long
atomic-unsigned.adb:222:80: (style) this line is too long
atomic-unsigned.adb:224:80: (style) this line is too long
atomic-unsigned.adb:226:80: (style) this line is too long
atomic-unsigned.adb:251:80: (style) this line is too long
atomic-unsigned.adb:253:80: (style) this line is too long
atomic-unsigned.adb:255:80: (style) this line is too long
atomic-unsigned.adb:257:80: (style) this line is too long
atomic-unsigned.adb:283:80: (style) this line is too long
atomic-unsigned.adb:285:80: (style) this line is too long
atomic-unsigned.adb:287:80: (style) this line is too long
atomic-unsigned.adb:289:80: (style) this line is too long
atomic-unsigned.adb:296:80: (style) this line is too long
atomic-unsigned.adb:297:80: (style) this line is too long
atomic-unsigned.adb:298:80: (style) this line is too long
atomic-unsigned.adb:299:80: (style) this line is too long
atomic-unsigned.adb:314:80: (style) this line is too long
atomic-unsigned.adb:316:80: (style) this line is too long
atomic-unsigned.adb:318:80: (style) this line is too long
atomic-unsigned.adb:320:80: (style) this line is too long
atomic-unsigned.adb:343:80: (style) this line is too long
atomic-unsigned.adb:345:80: (style) this line is too long
atomic-unsigned.adb:347:80: (style) this line is too long
atomic-unsigned.adb:349:80: (style) this line is too long
atomic-unsigned.adb:372:80: (style) this line is too long
atomic-unsigned.adb:374:80: (style) this line is too long
atomic-unsigned.adb:376:80: (style) this line is too long
atomic-unsigned.adb:378:80: (style) this line is too long
atomic-unsigned.adb:401:80: (style) this line is too long
atomic-unsigned.adb:403:80: (style) this line is too long
atomic-unsigned.adb:405:80: (style) this line is too long
atomic-unsigned.adb:407:80: (style) this line is too long
atomic-unsigned.adb:430:80: (style) this line is too long
atomic-unsigned.adb:432:80: (style) this line is too long
atomic-unsigned.adb:434:80: (style) this line is too long
atomic-unsigned.adb:436:80: (style) this line is too long
atomic-unsigned.adb:459:80: (style) this line is too long
atomic-unsigned.adb:461:80: (style) this line is too long
atomic-unsigned.adb:463:80: (style) this line is too long
atomic-unsigned.adb:465:80: (style) this line is too long
atomic-unsigned.adb:488:80: (style) this line is too long
atomic-unsigned.adb:490:80: (style) this line is too long
atomic-unsigned.adb:492:80: (style) this line is too long
atomic-unsigned.adb:494:80: (style) this line is too long
atomic-unsigned.adb:517:80: (style) this line is too long
atomic-unsigned.adb:519:80: (style) this line is too long
atomic-unsigned.adb:521:80: (style) this line is too long
atomic-unsigned.adb:523:80: (style) this line is too long
atomic-unsigned.adb:546:80: (style) this line is too long
atomic-unsigned.adb:548:80: (style) this line is too long
atomic-unsigned.adb:550:80: (style) this line is too long
atomic-unsigned.adb:552:80: (style) this line is too long
atomic-unsigned.adb:575:80: (style) this line is too long
atomic-unsigned.adb:577:80: (style) this line is too long
atomic-unsigned.adb:579:80: (style) this line is too long
atomic-unsigned.adb:581:80: (style) this line is too long
atomic-unsigned.adb:604:80: (style) this line is too long
atomic-unsigned.adb:606:80: (style) this line is too long
atomic-unsigned.adb:608:80: (style) this line is too long
atomic-unsigned.adb:610:80: (style) this line is too long
atomic-unsigned.adb:633:80: (style) this line is too long
atomic-unsigned.adb:635:80: (style) this line is too long
atomic-unsigned.adb:637:80: (style) this line is too long
atomic-unsigned.adb:639:80: (style) this line is too long
atomic-unsigned.adb:665:80: (style) this line is too long
atomic-unsigned.adb:667:80: (style) this line is too long
atomic-unsigned.adb:669:80: (style) this line is too long
atomic-unsigned.adb:671:80: (style) this line is too long
atomic-unsigned.adb:698:80: (style) this line is too long
atomic-unsigned.adb:700:80: (style) this line is too long
atomic-unsigned.adb:702:80: (style) this line is too long
atomic-unsigned.adb:704:80: (style) this line is too long
atomic-unsigned.adb:711:80: (style) this line is too long
atomic-unsigned.adb:712:80: (style) this line is too long
atomic-unsigned.adb:713:80: (style) this line is too long
atomic-unsigned.adb:714:80: (style) this line is too long
atomic-unsigned.adb:728:80: (style) this line is too long
atomic-unsigned.adb:730:80: (style) this line is too long
atomic-unsigned.adb:732:80: (style) this line is too long
atomic-unsigned.adb:734:80: (style) this line is too long
atomic-unsigned.adb:756:80: (style) this line is too long
atomic-unsigned.adb:758:80: (style) this line is too long
atomic-unsigned.adb:760:80: (style) this line is too long
atomic-unsigned.adb:762:80: (style) this line is too long
atomic-unsigned.adb:784:80: (style) this line is too long
atomic-unsigned.adb:786:80: (style) this line is too long
atomic-unsigned.adb:788:80: (style) this line is too long
atomic-unsigned.adb:790:80: (style) this line is too long
atomic-unsigned.adb:812:80: (style) this line is too long
atomic-unsigned.adb:814:80: (style) this line is too long
atomic-unsigned.adb:816:80: (style) this line is too long
atomic-unsigned.adb:818:80: (style) this line is too long
atomic-unsigned.adb:840:80: (style) this line is too long
atomic-unsigned.adb:842:80: (style) this line is too long
atomic-unsigned.adb:844:80: (style) this line is too long
atomic-unsigned.adb:846:80: (style) this line is too long
atomic-unsigned.adb:868:80: (style) this line is too long
atomic-unsigned.adb:870:80: (style) this line is too long
atomic-unsigned.adb:872:80: (style) this line is too long
atomic-unsigned.adb:874:80: (style) this line is too long
atomic-unsigned.adb:896:80: (style) this line is too long
atomic-unsigned.adb:898:80: (style) this line is too long
atomic-unsigned.adb:900:80: (style) this line is too long
atomic-unsigned.adb:902:80: (style) this line is too long
atomic-unsigned.adb:924:80: (style) this line is too long
atomic-unsigned.adb:926:80: (style) this line is too long
atomic-unsigned.adb:928:80: (style) this line is too long
atomic-unsigned.adb:930:80: (style) this line is too long
atomic-unsigned.adb:952:80: (style) this line is too long
atomic-unsigned.adb:954:80: (style) this line is too long
atomic-unsigned.adb:956:80: (style) this line is too long
atomic-unsigned.adb:958:80: (style) this line is too long
atomic-unsigned.adb:980:80: (style) this line is too long
atomic-unsigned.adb:982:80: (style) this line is too long
atomic-unsigned.adb:984:80: (style) this line is too long
atomic-unsigned.adb:986:80: (style) this line is too long
atomic-unsigned.adb:1008:80: (style) this line is too long
atomic-unsigned.adb:1010:80: (style) this line is too long
atomic-unsigned.adb:1012:80: (style) this line is too long
atomic-unsigned.adb:1014:80: (style) this line is too long
atomic-unsigned.adb:1036:80: (style) this line is too long
atomic-unsigned.adb:1038:80: (style) this line is too long
atomic-unsigned.adb:1040:80: (style) this line is too long
atomic-unsigned.adb:1042:80: (style) this line is too long
atomic-unsigned.ads:142:06: (style) "and then" required
atomic-unsigned.ads:149:06: (style) "and then" required
atomic-unsigned.ads:156:06: (style) "and then" required
atomic-unsigned.ads:163:06: (style) "and then" required
atomic-unsigned.ads:170:06: (style) "and then" required
atomic-unsigned.ads:177:06: (style) "and then" required
   [Ada]          atomic-signed_8.ads
   [Ada]          atomic-unsigned_16.ads
   [Ada]          atomic-unsigned_32.ads
   [Ada]          atomic-signed_32.ads
Build Libraries
   [gprlib]       Atomic.lexch
   [archive]      libAtomic.a
   [index]        libAtomic.a
Build finished successfully in 0.37 seconds.

atomic=0.5.0 successfully retrieved and built.
There are no dependencies.
Found declared GPR file: atomic.gpr