SPDXVersion: SPDX-2.1
DataLicense: CC0-1.0
SPDXID: SPDXRef-DOCUMENT
DocumentName: project
DocumentNamespace: http://spdx.org/spdxdocs/spdx-v2.1-83e9eceb-b3cf-4550-b73b-dbbb5a7d382a
Creator: Person: Anonymous ()
Creator: Organization: Anonymous ()
Creator: Tool: reuse-3.0.1
Created: 2024-03-20T12:06:28+00:00Z
CreatorComment: This document was created automatically using available reuse information consistent with REUSE.
Relationship: SPDXRef-DOCUMENT describes SPDXRef-bc253b82d96b58bb77ef867ac4fd13a4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-540e3b549688beba4620525f1f1b60be
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ba14b84e3d43eb7f1a8ceae2dc29ed65
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1ad463fdc4684058bcb7d703c1b50169
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2c698c22bd42c921589bb8c6d4304090
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5850c803ab07d1fd11a3f7fc23dde287
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f6469e3b2fd1762da9c231086cd9bfbc
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c66a3121e1d8755a52d72b34e6a22611
Relationship: SPDXRef-DOCUMENT describes SPDXRef-403d32ee9833e75b43f5c8ff3680b42e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-960dc7caa1a682381f56867e3b4f0e3a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f9ed7706deb698986f0aae178433620a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c2d8539494d2f61090e61370c3cb7a5b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-cacf28423fde81eed790542e37c38bf4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-94c97343e8a13be389cc0b61cf965ba6
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9a112aaa86f34f24ca8cf3cffa19f9fa
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d3e05eb39a23d5747eec9e893d61efb9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-608de95908878efbaf69b5c906cd0797
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1552547b0843739965cbb63474fd3dde
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6bf5524691db4fe90771b505fbd99c4d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3b659c927d6e131c165c567582d680b4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-075d9cef11566838452195a328073036
Relationship: SPDXRef-DOCUMENT describes SPDXRef-704fe202d70194bab9373dbf833ee121
Relationship: SPDXRef-DOCUMENT describes SPDXRef-02dd9dbc958b357109aebc567263dee9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-11115cb62cbc69009333488c9077eac4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-7a4aff1210186138b96e646390ac82fa
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0028cda31dba3046e261b8965e3482d2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-50e7388f617ab19e7bfb5fb215895c91
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c5603272a65098946f88a393dd45f5d8
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c90acf095283562d2dc9def142a81f11
Relationship: SPDXRef-DOCUMENT describes SPDXRef-759229d2c06418dceb715a8af17b5c8e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1929b0f759ad17ea58ffb1dba58e6680
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b014bfe124add8c880f40f095c01f15a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f31f6c38c6f2c61386a61ddce8fdff06
Relationship: SPDXRef-DOCUMENT describes SPDXRef-422598b537cd1171e38a23c836edf764
Relationship: SPDXRef-DOCUMENT describes SPDXRef-973e800c2b4125486d70adb6bf60d1c7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f2d63387651889d8b089c86872393f8a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8050172b338844cd28d212898fb13e17
Relationship: SPDXRef-DOCUMENT describes SPDXRef-64cb3d5680bb4ae5900f77ba7880bb2a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3e91bc2a5a6e61e63189c98f05288eec
Relationship: SPDXRef-DOCUMENT describes SPDXRef-72dc6e26f3fd8e83d72f9a9f1cac015c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8bca10c3a2e99e4647b2638f5473af2d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-33e9c66ae47895869f0de0666b006b30
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c465ff761c70073319f0720e3aca7372
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f5321f3df095c1786b6a35fd2d9b3e24
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5c430acf1797f72a510e2c94e7077752
Relationship: SPDXRef-DOCUMENT describes SPDXRef-bd262484f9aeaafcceb9d255687f2871
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d8d9019236e340590be06dbd4c849da0
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e239f8cb9ca5e9a802bd943440613174
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9cce9c9e2a3afb5e1bac4270a0e2a695
Relationship: SPDXRef-DOCUMENT describes SPDXRef-264e44be96aac01efcd5eef0c2a97610
Relationship: SPDXRef-DOCUMENT describes SPDXRef-29e924b045b9f393edabb1133fb70144
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5cec9d4b408baa906e2aa0847c709a15
Relationship: SPDXRef-DOCUMENT describes SPDXRef-808fc913ff1ca9b7241ec051a8248a96
Relationship: SPDXRef-DOCUMENT describes SPDXRef-985d5dd0fe63c1e4dd8264bff4f1fa2a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e5d009baf5460d9d38332470b9ae115d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f8f16d77108aef7a635432cb3f8ccae4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f2d0bbc26ed98914bf01d380494b4859
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9d63355f777d0b2f51c5bb83142d6850
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f3f74754b04a0671843f6fbc5a4392ed
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0b83d8cc3a587d125fc2766c390691a4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d4f5f4474869a565ca6b95537bb1920d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-efc08c38ef7e274796169339959002fd
Relationship: SPDXRef-DOCUMENT describes SPDXRef-bf177f4417063f8a6fac9097c6e2d70c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5eeb647aff8f65edd7efbe67f05036dc
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4ab2d846c91f6efa4b2273347b79ee0b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a02c42170a756731cc4d492887b47669
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0d559ee2f61be3a499193da3f36ad28d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-44160e3e87fc3979d038dc92bc0d6c21
Relationship: SPDXRef-DOCUMENT describes SPDXRef-da5b219d063529127ff7fdbc0d1659d4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-078135a177a0446a8be6160bc1119ae6
Relationship: SPDXRef-DOCUMENT describes SPDXRef-00aa835a7e0955ee66b559878fa34167
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0ee777907c0483d8425f1541636e99b2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a394db79a5da0007c5c64dc620d5e5c9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-fd1adf1c951387e31dded9eb5a76126d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-90fc7bac7e0b5b5d7b10aef04a7ec604
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2ca8de604782622c695f618495927521
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c2641d2a53bccd01dfa13d20a4990716
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ac50ddbe193b7ec481628cdc3e5541ea
Relationship: SPDXRef-DOCUMENT describes SPDXRef-7503adffc435ce70e8297d079f7b9a47
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d3638d4fd424b9557554dfd5cf539566
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e28204e94b9950a773bcc83bd3b92c87
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6075e19f1a921887f2f2053ecc731e7e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-690446871083396c9db234f4ddeb0cad
Relationship: SPDXRef-DOCUMENT describes SPDXRef-50706af6f99b60bbe125947ca0bababe
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3a127dc86c499d075360ee8ec9eb4d56
Relationship: SPDXRef-DOCUMENT describes SPDXRef-918ca73ff6919a4b911066834272b831
Relationship: SPDXRef-DOCUMENT describes SPDXRef-91d7829a81f008065e8347aa38f9a5a5
Relationship: SPDXRef-DOCUMENT describes SPDXRef-81b16c77cf84a127209d386cfb0e2ad8
Relationship: SPDXRef-DOCUMENT describes SPDXRef-12e9cece4711828c43380f6e9924ad73
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4eca34b9276d887f90a5b34e9a180796
Relationship: SPDXRef-DOCUMENT describes SPDXRef-41d8dda333ba0e510a49545629ea4a8b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4b4c174558e042edfe097c473148cff3
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4ee468a7274a4b5e5d2e520ed9d587a9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5a68aa4ec240641894a04ca5470caf77
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c3410faa5ddfe38c9afc031f2f2e5b43
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9505c1c6a2cf10a1882f6cb91331ba2c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e94607fa3b833edd64c8e9e6aca9d248
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a4c9fd1c0a43aa481f13ee0f9ad0d8a0
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c5b1ff6e73159792770be073156b3ef9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0d475ebb672d4992a7365f10c2a56244
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9319d7fa650479bd1fb50c018b0d04c4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3110f51a5d00dc4f51b1e03249cdd69d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d5ce1072779d8a0c7068ba49c7906a4d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4b6b4bb3571330943cd644baa5196a84
Relationship: SPDXRef-DOCUMENT describes SPDXRef-83aa70fd2cd9832734ad81ed9d25d458
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f21e77017c2a40dce8db4ad08e193f5f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-84daeeb40e6c1075c540591793c86298
Relationship: SPDXRef-DOCUMENT describes SPDXRef-68b1f4589fe5856a0219b0fe38f2d581
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8127dcc945a49f4e4422d3d2a181ae1d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6356c5c561f38ff929385d68a12d25d1
Relationship: SPDXRef-DOCUMENT describes SPDXRef-48fad68641e810b6a1918bdc9007731c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-358a6e89b418cd560b182ec947512704
Relationship: SPDXRef-DOCUMENT describes SPDXRef-bff2325a3f1981f3cfcda7490b8f6702
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0eda31c17781187896e501681a941008
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e98dd1b7414e40d7a1728fff83898c6e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c7e800b06c99be5103a827a35ae8f7d2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-138bb6eec5d619430f2d79221d23988d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-7ebf8271a7bb52d7d5fb3e476528027b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-88676da49e1e7309fda78cae9cfb5d48
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8a4dadb145fc2354ca4e58b7c43b2200
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3ad8a5558c54cdab688d2dae7ae6b4df
Relationship: SPDXRef-DOCUMENT describes SPDXRef-7b8d6ddff1f33da58a7cf9e803939f85
Relationship: SPDXRef-DOCUMENT describes SPDXRef-bda5cf94c466b27a803c9de345f4f4c7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-72f31edbbb6bb0b16beea4c7e4d35ef2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ede9a078830d112f2ded13d997c603bd
Relationship: SPDXRef-DOCUMENT describes SPDXRef-bb76095bada1be89d65439699c2a6000
Relationship: SPDXRef-DOCUMENT describes SPDXRef-78c2741410a069bb0342c7b81d19015b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0f062016bee677d2c3d620f8b36b0b5c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-641bd80e286a88964a8cc5ae16da84fd
Relationship: SPDXRef-DOCUMENT describes SPDXRef-572813a4050058fd40cf4b0405a13d6f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-35ed4b98a8a85b6c288e9e7cdd146492
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3ebbf109fd0bc912419adfc917f68bec
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c1c263d5e8bd5fb51ffa5f1a72c7d57b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5f16ddd00873e82be023bc8188dc5f35
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f3a230218f310a2fa250301ab8e5ad8c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e4574c807b973df7e576905873bd3cf6
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f9744829c56972ef5ff3897bff3f9aa7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-bcc06ac3a4aec8db211ce987a5e81023
Relationship: SPDXRef-DOCUMENT describes SPDXRef-87dbfa6e880ab61cff4e95ffdf75d520
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e3a49c971979e7bbc8c13e2604e6a955
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9d4fa8d58069f1e7330a6d23f9302be8
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1a15d2537c6da4cba3a29b6683011826
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ce5cb3f366fcae139fd2f52bca8762a0
Relationship: SPDXRef-DOCUMENT describes SPDXRef-83213c9f387d21c9c8bd9337c4b0283f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1316ed971c52f7a4f68fb3ea2d403805
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d60f1a16800f71e355eba4592b0441a4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1258658b177749eab3dcd5fd6fe87c2c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-cc318b152bf2a05c8fd66b9c848267bb
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f2608034a3c35867316b060c4410b6e6
Relationship: SPDXRef-DOCUMENT describes SPDXRef-688c7e146606b34d224719d546199d36
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2ec89a926770a6af23c4589f203d3393
Relationship: SPDXRef-DOCUMENT describes SPDXRef-55585f79e12ab2204d218583cb0c8e6a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-497a7f3980b1492235345078d03fe627
Relationship: SPDXRef-DOCUMENT describes SPDXRef-321ea4772655f6f716c607616ee30f3f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-fe8b3895646142d52ec10cad7056b17b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2316e127518cddda328eeebc4733b7b4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-17b332ff1b6cce2e96e9d9b4674ded52
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e17b91ca7254fb70949592ef66cad1dc
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6d0d8dc85ace3859822fc8b58ee3ad71
Relationship: SPDXRef-DOCUMENT describes SPDXRef-31dda7849a7b15c83adfe3513e806c29
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1c4613436ffe2672e10deb1bac44e378
Relationship: SPDXRef-DOCUMENT describes SPDXRef-33c576ba456fa0a3075b5d2436c701ad
Relationship: SPDXRef-DOCUMENT describes SPDXRef-aacac03ddb244d1d02318e4ad4fb15a4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-197425e9fe5cd4cf0b3173ad8232d3f7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b773c9617d131e689c45ddffa85b4754
Relationship: SPDXRef-DOCUMENT describes SPDXRef-63b6082083ee79765315bc29973f1c2b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-714e9cb7a23258b13b53d76c30d15014
Relationship: SPDXRef-DOCUMENT describes SPDXRef-bf3c826f1b4040f6633e0869a77c53b5
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c93e75c9d326035135573c8eea12893b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e46a00cea316160c6327f968c5c56902
Relationship: SPDXRef-DOCUMENT describes SPDXRef-97c4f62f1f083ea792ab6954f76ed73e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-db207f517819066963d71a9f6449d32f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b533ddcdafed85f99c4d217d4a594c56
Relationship: SPDXRef-DOCUMENT describes SPDXRef-16708132503988407172a4e8e112cd2d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-49d54336a37a32c00cca0d343322c884
Relationship: SPDXRef-DOCUMENT describes SPDXRef-aaa5b9c4e039559de098b82636fc3c15
Relationship: SPDXRef-DOCUMENT describes SPDXRef-cbaae5cf3214c033bdc8ba3f2fc95201
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8ba198d5e0e2cc74eba12b473157a0e4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5bd421a8be94261cde754acd2231847e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-61810c2c57b2bb27ec3722a4e7c74a43
Relationship: SPDXRef-DOCUMENT describes SPDXRef-869951a3f6c38476b164de45702bf7c6
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9131c5cf29bd2f3dc0a09c1dd24cefaf
Relationship: SPDXRef-DOCUMENT describes SPDXRef-aad9b7efa7410b150782da74eed46f1a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-01cfec63e681b104fcd8bdac2fe23fcf
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ba24781275f5be261ab300ff4a91ebca
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ad448780f1dd1b6f0e8af86e72999834
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1660c13214cb014b69c67d5edbadf271
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3a2b6df18aaebea67f4c0ddf148ee315
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9ecd6488314f607165904089945bec32
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e8916fe8b8d948567bcb33e247c562a1
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c6533093cca62c99066625d87e403f86
Relationship: SPDXRef-DOCUMENT describes SPDXRef-57e8f6dc23bfc21d8e0a268266d44445
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e29eeb3a81829be8d976a198270cfc0f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f87b261984d82e88d45708425417d176
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b03ca456811bc00b2f09693a074a8f73
Relationship: SPDXRef-DOCUMENT describes SPDXRef-014e6ebd4eb49418da3f4d606a9da7d0
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a54c8835ca485a57df21ea2311618951
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f7823c9fa0c7065d20327f0734eef8e6
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8647ed24de674b97ca503a924a473137
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8d019d04561daf8b23f8ea8448784b1b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-119369ea5b7e4419a9bafba6f4a68fb7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-31fffdac47cdd649638361f0e3d8088c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c3bd72a77e3a027b34baab3500c3809e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e5bec8391924a18c09abf7ce7979dd04
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4d49d5d3787049cf945ab268850896a9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-61a6d3136050ab9c21bb660e5769971f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5bb32c3235c06621caca99291d524bd1
Relationship: SPDXRef-DOCUMENT describes SPDXRef-681cee590475e24ab6aefbe2ccb5f646
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a717170662e2ec144b563ecb59830c88
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6b5d923b3b03c54d62b19c08301f40bf
Relationship: SPDXRef-DOCUMENT describes SPDXRef-db24e308557e1c38fee96e879ec0fb15
Relationship: SPDXRef-DOCUMENT describes SPDXRef-aef5c5d72ac9716295cd46e4091318f4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ac9b7e86897aee7666c63cc500cbb6c3
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c8addef4916b2dbb31e61ca7a35575db
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8b26187d52887c6995b95a967165adb9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-46307d6e3e05cfe7e08422ff5402a937
Relationship: SPDXRef-DOCUMENT describes SPDXRef-25432a80b619b79b518ce65297334eea
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5da914a16716b726deab10fcaaea98ec
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e81b59899b5fac4a912d2b415654f14e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-38c8af3323ae68bf0bef43f06b13374e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3e6ce02f1e7de12b6f9055345ca47c84
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ed47d5dd22f337a3d9c2aed0e1a0cefc
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2609eb70b4bd10b52c32e0ae7113fd9d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4bfa39b6ccc03ba3205488641b9046e1
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6abb94ddf310b5c61896b8a84ec7089a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-dcdac11ed34f310d334b155140de3614
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8d3b2f179fcfc9e915220a0beccd6c8a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1a706e08318e00e522f1560618afc2ac
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e96c23180d0edfe827f538e0aae51644
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2e071b8f55c495ad5916455628112fa5
Relationship: SPDXRef-DOCUMENT describes SPDXRef-fb049dfe0e562d8a16c36bae6af2aaff
Relationship: SPDXRef-DOCUMENT describes SPDXRef-cc4af27cd8d8d881425761aac52b504c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-78211c1e9fe32688809ed3b829a793e2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a7f650fe0cda9dae983d68e42be3ace9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d7930408acb2a75550dad002694d731c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3507a6f5c580e142bbce760b2e5e0d16
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d5de177e404a3ca5f9b6c4131c7bc13d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e6ad1b420023e7bf19e51b9be0d5a70b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b7d3b8dbb5714ccd7e1007b088ee33f4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c2fe92d73dba6241e4b30b7e8b426d96
Relationship: SPDXRef-DOCUMENT describes SPDXRef-fe617fe72ff11685a78362293fc1f91a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-53de1e3bdd4a106117c495ec6bf9f5a8
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6a741e5f33cd2a69e4f37b125168a037
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f214cc588b722c6e0fa6c50df9c292df
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3cf53ded8a094808dbae1b902ceaa4df
Relationship: SPDXRef-DOCUMENT describes SPDXRef-abe79ac23836bde0c128b0d172e43604
Relationship: SPDXRef-DOCUMENT describes SPDXRef-466cdcf92a2264f59b4175235b9453aa
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e50c832167c8d370fc8b8def6abbf3eb
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4259770c2a593a655967e53f11912f6a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-7075c8b3873ee2d1288c9d2657b4e3a3
Relationship: SPDXRef-DOCUMENT describes SPDXRef-86dbad0878b824a65e3f285c774b810e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c2ecb00955472daa0e416c112bdd70ae
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5addb45e04183dd5c391006dd6b08f77
Relationship: SPDXRef-DOCUMENT describes SPDXRef-12e88f9775dbd5975ccc62e8f8d5e95f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-515ddb023492cae855f278f8b4308699
Relationship: SPDXRef-DOCUMENT describes SPDXRef-441ae126f380b6bd23cda3dcc5271369
Relationship: SPDXRef-DOCUMENT describes SPDXRef-60a4c8204c092e8ec3956e292ced06a0
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d5cb90d736431bdcd7382098f99b83a6
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2fe5d03295e9404699dcfae8537c1941
Relationship: SPDXRef-DOCUMENT describes SPDXRef-05197c69e61e930c2bb1b4524207c603
Relationship: SPDXRef-DOCUMENT describes SPDXRef-375b1ec00357835df756ab38c97cefa7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3052663b6ce232026cef9be07f8cfbff
Relationship: SPDXRef-DOCUMENT describes SPDXRef-98f3310beb103a5ac26e0782f6bd9398
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6aae4cae600cbdcaa46d9ef658e21c0a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-458a58fa4b182beffcc3365d9aa77217
Relationship: SPDXRef-DOCUMENT describes SPDXRef-362fda0e13a70639770194d4cf47b924
Relationship: SPDXRef-DOCUMENT describes SPDXRef-81234d1ca57b23dcb3f37f858a68c438
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ad21da34625dde5472a337b24a2dbfed
Relationship: SPDXRef-DOCUMENT describes SPDXRef-dd427b3f16dc20ed3856f37db4fc3eaf
Relationship: SPDXRef-DOCUMENT describes SPDXRef-88a9589c9580286edd6deb329200121d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2a8a1263318bf23eb9758f0653c32b60
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9658ab71a28637f22b939413614b5a26
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d61e1d88ad7614e564817dea95331e50
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b20cbcedbfae72f544251554c16507c8
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e5b555f116eaaf05a882e103c22c5366
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b05a065eecf6284a5990bec88013cba9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-38b8555fa883227f8fab8381af00f596
Relationship: SPDXRef-DOCUMENT describes SPDXRef-08f67458350448168543f53343765ecc
Relationship: SPDXRef-DOCUMENT describes SPDXRef-67ddd78f02adf0ee9db0af75460e2cfd
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ca0439aedb5039fafd062da22207c948
Relationship: SPDXRef-DOCUMENT describes SPDXRef-bc93fa441142001f6b098bc85e1f143a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-7e44d3fb4d2e0dba530587cb216dab49
Relationship: SPDXRef-DOCUMENT describes SPDXRef-7c8034aecef3792c81b8b63ceefe027c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-888052d7a0b91267074c2c9919d73478
Relationship: SPDXRef-DOCUMENT describes SPDXRef-df2c380743abfd8be98950dcc32f3d83
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d487388b23c9399f7fd60c1ab9818157
Relationship: SPDXRef-DOCUMENT describes SPDXRef-fa82491699d06daf386757734ad5f233
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f2ea907cbc810088a507e31ca4942675
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6a68828b5a311492e9f725e40950d24c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-04c51b61d64bdf1070e994caa28be06b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-fc94064c39a12b97316ff1c3b9a1483c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e755f449cee2f5741d3a949b07b85c3c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9f8b73d0e1b056f1b7737a3ed900dcee
Relationship: SPDXRef-DOCUMENT describes SPDXRef-78f24bed63dd1ec72431f6784c43d467
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2aa545c8d0cb333f1fa7c2ab08c81241
Relationship: SPDXRef-DOCUMENT describes SPDXRef-cb4b9d613b0ae509dfb737c477fd8243
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d6baf28192342ee821a66babebc6b7c7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-10e657d1280604991c66b8151c1a6b83
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0642c78140a7a502e025e8fa1cd2f45d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b9a9998c1fe6e2c1cfae91403c0b90ec
Relationship: SPDXRef-DOCUMENT describes SPDXRef-db054b3f67b3b2599385919ad7c96abe
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8b135deb4448552143c57cd842aefa4a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ae160808b9b6bb2f09f1753b6845ca67
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5f2908aa55a645c4a3b2e57d05b6b9f9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a4ce11b35685139f30ce493e20202e4e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-67a89aa7e7ae55a30102792cc91c3bd2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e669adbb5ef2ee0a13fe3cdb89f886e2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-519e3541972fa9892051a04402d2d1ba
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a5440c9a0021a99d14340e9b9019a56a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5933591bd61f9bd60ec957824a1f24e2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6b6962a0ffbf2d89ea7a8d2c98a692b5
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a042281643d3ce8d25fbb371d329a2eb
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b957a99d5b0871f89a1bbc57423e9ee9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e2da4d99391d9ef94390bb26cb748e9f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-fd9fb6622a69826ded7ed76e0ada0dd1
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6751e88ac2ed491e9c7c103ad1450a75
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0e803b24b3e9fbf0834b09b69d5aa054
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c9805213e4937d33593648dd3e0398aa
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f528e2b9072b76f109be98c6832c1fe2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c35c91507159356ed80d9aee51a70ec8
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2d0655b3459abd91024530ede5be67e5
Relationship: SPDXRef-DOCUMENT describes SPDXRef-469f1fee12694216113ce73d71100d3a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1f9ea0e60540d75dc8b0bde41b30ac53
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d51367cd07690b45998d9bef1a3da041
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ebf42fd78480e95416680a831a4b8c7b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b4c84e157165d3538f43921263dc3ea7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-98b80c651c5c7fe877a61ce800bd23c9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9158da26b0eba144ea7d96e60fb4b8bc
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4c72a6f16caffaa81da3239dbb3fb486
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9aa4742f5f29d812ad99503ff92ac00b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-19fa81f2acb33abbde37b4ef485937f3
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4cbc9584e31bcfe9c39cab0c04d9e231
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9aa16f684adbc21149855b44970aa19b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-251fec8dfdac4f12829b95ceb1bcb619
Relationship: SPDXRef-DOCUMENT describes SPDXRef-28a296aca959aeb14bdebda12ae81243
Relationship: SPDXRef-DOCUMENT describes SPDXRef-5f72b980aefbf934f90c95335c78115c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-01b978eb3a93923886637b1766da517a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-19cf199c4f26a3744003ebaf8bb1471f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-49df36e1e71cbccf5cb341d76d8ba23e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-036bc3d8e898d42c6be933aa068a29a6
Relationship: SPDXRef-DOCUMENT describes SPDXRef-2e07c1fa5ced335b48e4098308b76da5
Relationship: SPDXRef-DOCUMENT describes SPDXRef-310d4dedc3378931e92be83790bd7d01
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1aef31bce6c8f2f6854d551033439014
Relationship: SPDXRef-DOCUMENT describes SPDXRef-63db44be2d297543722c9b06f04cce2d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-21a5082975bc3f09a54f507ca277c6e2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-afcbdcff9c47fbf88833e4e5666f730d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0838f5c94b83b62546800e63bcf98a5a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6954da6a33b1eb062c5587e6f7f96930
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8fa363056228602dc6e6c4657356d4c2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-edc5385e3b36aa624db47bdca03c3f50
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c12c8c56ec6cf631496351a0369023e5
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ab3040af0e5d530a2430ec4e59de0c66
Relationship: SPDXRef-DOCUMENT describes SPDXRef-673ba34434ea0c4b8408bd12607ebd12
Relationship: SPDXRef-DOCUMENT describes SPDXRef-95dafa690327465353c05564996ab92d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-971b3f4b92a0a759f2eafee2861976f3
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1f98c8dbf19a5c536d7043bc4f68fd0d
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b9979a7e80d14ad84c0107255b3687a7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-02ba80468f6473df7e0eea0c20d476e8
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e54091cc6f29d195113938bb5ebbe96c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-966c6c58b0e97b071038092bad369cd2
Relationship: SPDXRef-DOCUMENT describes SPDXRef-12a88405daab944189ea897c2dddfed6
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9152cf03affa3e31993fe3170695eeab
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e7c78564a365f53c3dab8782c3d9cd7f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-13da4a99b43566806eb5d867a8dab476
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b2b98506f54389fed264bd086a367113
Relationship: SPDXRef-DOCUMENT describes SPDXRef-181cc08ab5712bbb922498c22a2fae9b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-53268ebcbe0685571e35f17dd571fb28
Relationship: SPDXRef-DOCUMENT describes SPDXRef-408f5adab5a9377de3c075708da0afd9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f088247835fd11a729bbebf88c6fd6e1
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0804b90155d4abfbf0428e8d030dc5ec
Relationship: SPDXRef-DOCUMENT describes SPDXRef-723e3a287c8ef7013d89b1b8116023fc
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d4b5b539b08d0a421ccfc1ac5075130e
Relationship: SPDXRef-DOCUMENT describes SPDXRef-742493f646b2e72bdd12b9ec163dc312
Relationship: SPDXRef-DOCUMENT describes SPDXRef-ea49786129356caf7a45c757e0217cfc
Relationship: SPDXRef-DOCUMENT describes SPDXRef-431871e44f27c36bc3a742c219714284
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0e19de9b2f4a4d29f1d9ffb163cdafd3
Relationship: SPDXRef-DOCUMENT describes SPDXRef-cc4f63efbe6b63950f8051ad1f5bffa1
Relationship: SPDXRef-DOCUMENT describes SPDXRef-fbf0cda7b1ef8cf1378840485f9a8210
Relationship: SPDXRef-DOCUMENT describes SPDXRef-7988b8e2d86a71fa6d2fd76491f38802
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b20975da227bd21993a00a74578b3886
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b77c35bff06ea41ac19c97363c7008ca
Relationship: SPDXRef-DOCUMENT describes SPDXRef-964c0bc9fa46ebb8d9d902981a3745a7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1e76e246a8d3f475bcec39e1c5df73f4
Relationship: SPDXRef-DOCUMENT describes SPDXRef-db2f82ddee22f8ef98a45c2556f9eb9f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d228e48f748e710edfe0933e389c209f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-654927634972836b4ffe0246b012ffe7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a3d67da0eff971347bccd36a6d277a6c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-d7f6f45cf6515c3c7682e7c4862a45a0
Relationship: SPDXRef-DOCUMENT describes SPDXRef-15c832549697e1e39cd2e89b77a1bf10
Relationship: SPDXRef-DOCUMENT describes SPDXRef-73f3006c6fd7c58e23b77c9036ac7e4a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-c151ab8a8470f6fa30814d4ce804f4e7
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a034b5545ec61bb759a2714f81f1c159
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3e7cc0e51b4ab227ff5bc12b6fc9a1f0
Relationship: SPDXRef-DOCUMENT describes SPDXRef-97e771e939b542f082736581f4d4d1b3
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8868929aaeea095dc6de4ad25bf46147
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9a467dea078ea7526135855a20987e5c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-33ba69bb39d1c5e0226aea798f87c9a9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-7a52bbee3d2c6c05c8c1bcc44dd429c9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-6755508fa71487eaa553c994784fb454
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b639dda5c601196205664161eefa46ee
Relationship: SPDXRef-DOCUMENT describes SPDXRef-59af8eccb30812e4a465c25c34607d52
Relationship: SPDXRef-DOCUMENT describes SPDXRef-3b7e3aeb0c52d7789747783d3692cb1f
Relationship: SPDXRef-DOCUMENT describes SPDXRef-275d9d2c693dc8fc808f16aafea9bb36
Relationship: SPDXRef-DOCUMENT describes SPDXRef-003f555db774f93f627c91165b4c6a51
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b6163056109f823edbbe99dd5a2b3c73
Relationship: SPDXRef-DOCUMENT describes SPDXRef-b93d4916742f0c95b52de52ab318fa66
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a6cea3cd941e6ed7b91b72302a0bae9a
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f0950371dd3422464e4f4fd34e1b48ab
Relationship: SPDXRef-DOCUMENT describes SPDXRef-db5f86405677c0ec1a46ad7e1a2dbec1
Relationship: SPDXRef-DOCUMENT describes SPDXRef-a5cd7c09bf0e050a2302ce7e4cf65807
Relationship: SPDXRef-DOCUMENT describes SPDXRef-1eecb10d5c930341559ac8fbefaaa3ee
Relationship: SPDXRef-DOCUMENT describes SPDXRef-e09e466384fa2b05f7f4e376e29228a5
Relationship: SPDXRef-DOCUMENT describes SPDXRef-0605a875eaf4b8c6c43dbc6f0c98018c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-4b2a7acd5d8987f80f6bc8d89d062dcb
Relationship: SPDXRef-DOCUMENT describes SPDXRef-47cacddf0b4aeee55521651b8cb05228
Relationship: SPDXRef-DOCUMENT describes SPDXRef-9044811865c3c5a2fb0c4efdd6a449f9
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f97de341d8ba64238914d09e98bd4dac
Relationship: SPDXRef-DOCUMENT describes SPDXRef-46127c0be091d46507be944da7fe438c
Relationship: SPDXRef-DOCUMENT describes SPDXRef-8f3156aed42c1165fe27114c718751db
Relationship: SPDXRef-DOCUMENT describes SPDXRef-39925f8bfad5c59c8cb5d7233d9461a5
Relationship: SPDXRef-DOCUMENT describes SPDXRef-f862e055b6a495e4fbb81f2fc85db79b
Relationship: SPDXRef-DOCUMENT describes SPDXRef-46e5b4bed0bff1cfe5c73fd483cddf0a
FileName: ./.coveragerc
SPDXID: SPDXRef-bc253b82d96b58bb77ef867ac4fd13a4
FileChecksum: SHA1: 3cd46d7633f0af4ee825861939fce64a1552f5bf
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2019-2020 Dirk Beyer
FileName: ./.flake8
SPDXID: SPDXRef-540e3b549688beba4620525f1f1b60be
FileChecksum: SHA1: cfc49c8c7610dd5434972e434f158a7f1f85b32b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./.gitignore
SPDXID: SPDXRef-ba14b84e3d43eb7f1a8ceae2dc29ed65
FileChecksum: SHA1: bba466e6c9220946f391bc76ac83206e6c743dc4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./.gitlab-ci.yml
SPDXID: SPDXRef-1ad463fdc4684058bcb7d703c1b50169
FileChecksum: SHA1: 82847afdbeba40885ff38a15eb48bbedfa30e4a1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./.gitmodules
SPDXID: SPDXRef-2c698c22bd42c921589bb8c6d4304090
FileChecksum: SHA1: 5d8f70ad0ca2d2da09d40c61b7fb9aae38400304
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2023 Dirk Beyer
FileName: ./CHANGELOG.md
SPDXID: SPDXRef-5850c803ab07d1fd11a3f7fc23dde287
FileChecksum: SHA1: 585522e736dbb567d56c45b9d350ed073011cd51
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./MANIFEST.in
SPDXID: SPDXRef-f6469e3b2fd1762da9c231086cd9bfbc
FileChecksum: SHA1: a464cc2c1d9690795b0e30bc148374f1e39bdad5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./README.md
SPDXID: SPDXRef-c66a3121e1d8755a52d72b34e6a22611
FileChecksum: SHA1: 2685a7ea84b50acc8a930a69c175ffb44c93a541
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/2ls.yml
SPDXID: SPDXRef-403d32ee9833e75b43f5c8ff3680b42e
FileChecksum: SHA1: 9b6551b5a3717e2ca52e5924a167674cafc795f4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/README.md
SPDXID: SPDXRef-960dc7caa1a682381f56867e3b4f0e3a
FileChecksum: SHA1: 82c5dc4ddc0ae82abe834084fd638a30deabfff0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/algo-selector-cst-transform.yml
SPDXID: SPDXRef-f9ed7706deb698986f0aae178433620a
FileChecksum: SHA1: 670cc725565c3b7c803aad535eac44ae9e14b502
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/algo-selector-metaval.yml
SPDXID: SPDXRef-c2d8539494d2f61090e61370c3cb7a5b
FileChecksum: SHA1: dbd7bfb50de47939fa9057763df0d351cc4b5322
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/brick.yml
SPDXID: SPDXRef-cacf28423fde81eed790542e37c38bf4
FileChecksum: SHA1: f92ad4e15ee921395208edeb97c50d542e22610c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cbmc.yml
SPDXID: SPDXRef-94c97343e8a13be389cc0b61cf965ba6
FileChecksum: SHA1: 77eb8e6954af6b59b7553d1f3bf9668df9d26f87
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-2ls.yml
SPDXID: SPDXRef-9a112aaa86f34f24ca8cf3cffa19f9fa
FileChecksum: SHA1: 411ade20bdf41f3423998336ec29d460f91b9aa3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-cbmc.yml
SPDXID: SPDXRef-d3e05eb39a23d5747eec9e893d61efb9
FileChecksum: SHA1: 7dc0cc632e6e9e04d8464e30e0dfcabdfa14ecb5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-cpa-seq.yml
SPDXID: SPDXRef-608de95908878efbaf69b5c906cd0797
FileChecksum: SHA1: 99bb12f23f16a93ecf452b24d2773bc2ec5a40e3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-divine.yml
SPDXID: SPDXRef-1552547b0843739965cbb63474fd3dde
FileChecksum: SHA1: fa5c2c72b274222a6ef72cf5190b8f26b38e18e8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-esbmc-incr.yml
SPDXID: SPDXRef-6bf5524691db4fe90771b505fbd99c4d
FileChecksum: SHA1: 9ef424776a242a8a697fb0a0cf5c27e47363df6a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-esbmc-kind.yml
SPDXID: SPDXRef-3b659c927d6e131c165c567582d680b4
FileChecksum: SHA1: d83e033068299f54d81c364702dacd4b1305d90e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-goblint.yml
SPDXID: SPDXRef-075d9cef11566838452195a328073036
FileChecksum: SHA1: 615f5280e1942a7e740c93ebf4a33cdc8cdcedf0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-pesco.yml
SPDXID: SPDXRef-704fe202d70194bab9373dbf833ee121
FileChecksum: SHA1: da637ae3e145dcea0347f0f182541156ddc98032
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-symbiotic.yml
SPDXID: SPDXRef-02dd9dbc958b357109aebc567263dee9
FileChecksum: SHA1: 3ed13dba61f4f85143f0ba8cbee82d0d771cac41
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-uautomizer.yml
SPDXID: SPDXRef-11115cb62cbc69009333488c9077eac4
FileChecksum: SHA1: b4f5df0d30474263e1aa092c4e0eb18dd27b4721
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-ukojak.yml
SPDXID: SPDXRef-7a4aff1210186138b96e646390ac82fa
FileChecksum: SHA1: fa75192ee99f7418ba2d4dddd9e21cf3e743a509
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/classifier-utaipan.yml
SPDXID: SPDXRef-0028cda31dba3046e261b8965e3482d2
FileChecksum: SHA1: 25ce3c1992f44e5bc3011b8f3317e2b960b1d004
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cmaesfuzz.yml
SPDXID: SPDXRef-50e7388f617ab19e7bfb5fb215895c91
FileChecksum: SHA1: 68a0f8da9d7f5471581670494a62663b3e7c389d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cmc-reducer.yml
SPDXID: SPDXRef-c5603272a65098946f88a393dd45f5d8
FileChecksum: SHA1: 5cae527a3fe97d97918bd5f5c60dca38a0932ae8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/coastal.yml
SPDXID: SPDXRef-c90acf095283562d2dc9def142a81f11
FileChecksum: SHA1: efc4b06d8f52d159bd103c798c1cef96758cc52b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/condtest.yml
SPDXID: SPDXRef-759229d2c06418dceb715a8af17b5c8e
FileChecksum: SHA1: f92e6756e7a3ffd2362447504cf3b94bf109e977
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/coveritest.yml
SPDXID: SPDXRef-1929b0f759ad17ea58ffb1dba58e6680
FileChecksum: SHA1: e5c97699951d188d0ebed2bfbdaa8b483c640968
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cpa-bam-bnb.yml
SPDXID: SPDXRef-b014bfe124add8c880f40f095c01f15a
FileChecksum: SHA1: bef2877df7e145edb15bb565e2de13094a408dd2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cpa-lockator.yml
SPDXID: SPDXRef-f31f6c38c6f2c61386a61ddce8fdff06
FileChecksum: SHA1: 232abd1c0969c3dbcefa051c4ba8d06583c669c3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cpa-seq.yml
SPDXID: SPDXRef-422598b537cd1171e38a23c836edf764
FileChecksum: SHA1: b1ee168fc66bb78aa13938c2091c849964f7bb8a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cpa-validate-violation-witnesses.yml
SPDXID: SPDXRef-973e800c2b4125486d70adb6bf60d1c7
FileChecksum: SHA1: 665c35203d9a95b6e276f709cda8c21f5f60406e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cpa-witnesses-instrumentor.yml
SPDXID: SPDXRef-f2d63387651889d8b089c86872393f8a
FileChecksum: SHA1: d5897fcea869768d0ddbcb7587182b61f5f09fc9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cpachecker-BASE.yml
SPDXID: SPDXRef-8050172b338844cd28d212898fb13e17
FileChecksum: SHA1: fa1e436a40cb5967ec912eedda5bec60c3de9d70
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cpachecker-conditional-testing-naive.yml
SPDXID: SPDXRef-64cb3d5680bb4ae5900f77ba7880bb2a
FileChecksum: SHA1: c09e87bb0be9f68793ef0e1e18eb9388012fb465
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./actors/cpachecker-conditional-testing-propagation.yml
SPDXID: SPDXRef-3e91bc2a5a6e61e63189c98f05288eec
FileChecksum: SHA1: ce00380a8b70f224b7cfa89240766bcc744cb4dc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./actors/cpachecker-witness-to-test.yml
SPDXID: SPDXRef-72dc6e26f3fd8e83d72f9a9f1cac015c
FileChecksum: SHA1: 0eb5cedaa75d73a651922da2b420a31d8fb4349e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cpachecker.yml
SPDXID: SPDXRef-8bca10c3a2e99e4647b2638f5473af2d
FileChecksum: SHA1: e4cb25db688a32190eb3c670115776b398eb16c3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/cst-transform.yml
SPDXID: SPDXRef-33e9c66ae47895869f0de0666b006b30
FileChecksum: SHA1: 4e6a4b065bb4df57d08d0b979588deb40e5d4a0f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/dartagnan-validate-violation-witnesses.yml
SPDXID: SPDXRef-c465ff761c70073319f0720e3aca7372
FileChecksum: SHA1: 5d3a64b1897df29e7c249ec15257c0900ea65734
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/dartagnan.yml
SPDXID: SPDXRef-f5321f3df095c1786b6a35fd2d9b3e24
FileChecksum: SHA1: cc8ec1c5cfa3a349b5f599d56fa7efc870b7fbcd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/deagle.yml
SPDXID: SPDXRef-5c430acf1797f72a510e2c94e7077752
FileChecksum: SHA1: 447f287360634d10645c7ff22397c38e62690db3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/divine.yml
SPDXID: SPDXRef-bd262484f9aeaafcceb9d255687f2871
FileChecksum: SHA1: 2e954f6b959eb0d2d9a33656b838ce6ab9fcea66
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/ebf.yml
SPDXID: SPDXRef-d8d9019236e340590be06dbd4c849da0
FileChecksum: SHA1: 00d625a6ad0a94963b3be305072478932467a05b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/esbmc-incr.yml
SPDXID: SPDXRef-e239f8cb9ca5e9a802bd943440613174
FileChecksum: SHA1: 9b89d589f42f016aed30f3641002e84e6e8551ad
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/esbmc-kind.yml
SPDXID: SPDXRef-9cce9c9e2a3afb5e1bac4270a0e2a695
FileChecksum: SHA1: ff4a9d55069e9cc5cc2bb3d8fdaeac808b3df570
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/feature-extractor.yml
SPDXID: SPDXRef-264e44be96aac01efcd5eef0c2a97610
FileChecksum: SHA1: 59beab7612a06f0bce123ec3abe8891394e50029
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/frama-c-sv.yml
SPDXID: SPDXRef-29e924b045b9f393edabb1133fb70144
FileChecksum: SHA1: deb62ea8c4747ebd86a237344242e7de47a9b116
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/fshell-validator.yml
SPDXID: SPDXRef-5cec9d4b408baa906e2aa0847c709a15
FileChecksum: SHA1: c9de5a594c9bd47fa766e16452d669f3eaef48c1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/fusebmc.yml
SPDXID: SPDXRef-808fc913ff1ca9b7241ec051a8248a96
FileChecksum: SHA1: 1b19c35f6fa47dd9393b44027f1ec2ef4c53afa1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/gacal.yml
SPDXID: SPDXRef-985d5dd0fe63c1e4dd8264bff4f1fa2a
FileChecksum: SHA1: 1412f2c0fd2de1c6e94bf7ab44b633e7494f34c5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/gazer-theta.yml
SPDXID: SPDXRef-e5d009baf5460d9d38332470b9ae115d
FileChecksum: SHA1: 57aa94ba158264f9c738b16c1c4ef5c41c85414d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/gdart.yml
SPDXID: SPDXRef-f8f16d77108aef7a635432cb3f8ccae4
FileChecksum: SHA1: 07b31a2fb19c3612aaa7af5b73dd5ee98389f0d3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/goblint.yml
SPDXID: SPDXRef-f2d0bbc26ed98914bf01d380494b4859
FileChecksum: SHA1: 052109dd15dacf630ddb72ae2dc2e07812de2bf4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/hybridtiger.yml
SPDXID: SPDXRef-9d63355f777d0b2f51c5bb83142d6850
FileChecksum: SHA1: d38f68ab21688220ea2352896e1220c8a3a19b0c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/java-ranger.yml
SPDXID: SPDXRef-f3f74754b04a0671843f6fbc5a4392ed
FileChecksum: SHA1: c7fff659dfb7c193fbaa2394c6936b8961518de7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/jayhorn.yml
SPDXID: SPDXRef-0b83d8cc3a587d125fc2766c390691a4
FileChecksum: SHA1: aae0c2d4b22cf8ba13dd7ad5a58a51d8b943a7ec
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/jbmc.yml
SPDXID: SPDXRef-d4f5f4474869a565ca6b95537bb1920d
FileChecksum: SHA1: 2624de68bbfd09fe288efb70d71ad406ca43440c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/jdart.yml
SPDXID: SPDXRef-efc08c38ef7e274796169339959002fd
FileChecksum: SHA1: 776f3ca7295165e20a9e126755efda1ec7bb2825
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/klee.yml
SPDXID: SPDXRef-bf177f4417063f8a6fac9097c6e2d70c
FileChecksum: SHA1: ba1a707ece196b8321b354bac385535b3733ee7c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/korn.yml
SPDXID: SPDXRef-5eeb647aff8f65edd7efbe67f05036dc
FileChecksum: SHA1: 60115eb0536e545d702ead1b9932308483dbe711
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/lart.yml
SPDXID: SPDXRef-4ab2d846c91f6efa4b2273347b79ee0b
FileChecksum: SHA1: aec9a5a96655a026e84507777707851cf27cf07b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/lazycseq.yml
SPDXID: SPDXRef-a02c42170a756731cc4d492887b47669
FileChecksum: SHA1: 695236b6888d1a671f688a70004780af8432e762
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/legion.yml
SPDXID: SPDXRef-0d559ee2f61be3a499193da3f36ad28d
FileChecksum: SHA1: 91cde0e5824849e01cc680812e57ebf909abfaf3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/libkluzzer.yml
SPDXID: SPDXRef-44160e3e87fc3979d038dc92bc0d6c21
FileChecksum: SHA1: 6ef3a41a6bb6a62de7ee392c834ba3380612f6d5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/map2check.yml
SPDXID: SPDXRef-da5b219d063529127ff7fdbc0d1659d4
FileChecksum: SHA1: 5b704a3b1ea8af93ccdc0a31739190b069c7bb5b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/metaval-symbiotic-validate-violation-witnesses.yml
SPDXID: SPDXRef-078135a177a0446a8be6160bc1119ae6
FileChecksum: SHA1: 92aea034ec13881667b5aa62efb053873797d046
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/metaval-uautomizer-validate-violation-witnesses.yml
SPDXID: SPDXRef-00aa835a7e0955ee66b559878fa34167
FileChecksum: SHA1: f727e0d517426740257591ca74bdb763e9d8b504
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/mopsa.yml
SPDXID: SPDXRef-0ee777907c0483d8425f1541636e99b2
FileChecksum: SHA1: 029ac4a923949e3cc0658d4de50129e823779714
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2022 Raphaël Monat
FileName: ./actors/nitwit.yml
SPDXID: SPDXRef-a394db79a5da0007c5c64dc620d5e5c9
FileChecksum: SHA1: 0b3145a286848ff3dca677e1759ed9ded5c3cc30
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/pesco.yml
SPDXID: SPDXRef-fd1adf1c951387e31dded9eb5a76126d
FileChecksum: SHA1: d8762d29544c53469ecdce04a44f9cb0bc57e12c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/pinaka.yml
SPDXID: SPDXRef-90fc7bac7e0b5b5d7b10aef04a7ec604
FileChecksum: SHA1: 96e9e96c251e30649032fde91c7087df51a3dec0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/predatorhp.yml
SPDXID: SPDXRef-2ca8de604782622c695f618495927521
FileChecksum: SHA1: 18f240c42513cd8192c1336dcd590f255fc5add5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/prtest.yml
SPDXID: SPDXRef-c2641d2a53bccd01dfa13d20a4990716
FileChecksum: SHA1: 1241a480e0d98b34c0083f134a56ce048906eab9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/sesl.yml
SPDXID: SPDXRef-ac50ddbe193b7ec481628cdc3e5541ea
FileChecksum: SHA1: c5d037ab21a2e120a209395ec4373b8d6e03ad3d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/smack.yml
SPDXID: SPDXRef-7503adffc435ce70e8297d079f7b9a47
FileChecksum: SHA1: 1009920fd78e74016877968d39a67b7a6640e616
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/spf.yml
SPDXID: SPDXRef-d3638d4fd424b9557554dfd5cf539566
FileChecksum: SHA1: 0876d954a2db9be6329c360255fc498e478e0b8b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/symbiotic-tester.yml
SPDXID: SPDXRef-e28204e94b9950a773bcc83bd3b92c87
FileChecksum: SHA1: b15ee65c678c8900260ac15d194a39ccbe237b89
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/symbiotic.yml
SPDXID: SPDXRef-6075e19f1a921887f2f2053ecc731e7e
FileChecksum: SHA1: 6ce49eb7f7104e4d68ff7c3d674747cd56d73e5f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/test-criterion-instrumentor.yml
SPDXID: SPDXRef-690446871083396c9db234f4ddeb0cad
FileChecksum: SHA1: 7106d95cdf1b6b7676bb957347c09bed1d4198ae
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/test-goal-annotator.yml
SPDXID: SPDXRef-50706af6f99b60bbe125947ca0bababe
FileChecksum: SHA1: cc55e772a0d453c1f6a447f752461fec7960c295
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/test-goal-extractor.yml
SPDXID: SPDXRef-3a127dc86c499d075360ee8ec9eb4d56
FileChecksum: SHA1: 5633640dfbf51a77b113762c2e43891c1bd8bfee
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/test-goal-pruner.yml
SPDXID: SPDXRef-918ca73ff6919a4b911066834272b831
FileChecksum: SHA1: bac1e7a604ecf6fa21abf8c7b2bcd4c5ca729832
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/test-val.yml
SPDXID: SPDXRef-91d7829a81f008065e8347aa38f9a5a5
FileChecksum: SHA1: 1999d4914bc3a66e794ed3c7057422e4a7237b55
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/tracerx.yml
SPDXID: SPDXRef-81b16c77cf84a127209d386cfb0e2ad8
FileChecksum: SHA1: c0b49ca9b251a4d69797b015b1dca7c5a4b90c53
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/uautomizer-validate-violation-witnesses.yml
SPDXID: SPDXRef-12e9cece4711828c43380f6e9924ad73
FileChecksum: SHA1: f4aec2baae9ebfeab5a190da607dcee9539c2616
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/uautomizer.yml
SPDXID: SPDXRef-4eca34b9276d887f90a5b34e9a180796
FileChecksum: SHA1: edbd673ca15c2b5435199b466c93b9cf241d67ae
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/ugemcutter.yml
SPDXID: SPDXRef-41d8dda333ba0e510a49545629ea4a8b
FileChecksum: SHA1: 8b3304d25482c848bd152fee8d16b2f043bc7fe0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/ukojak.yml
SPDXID: SPDXRef-4b4c174558e042edfe097c473148cff3
FileChecksum: SHA1: 0a185c416df70966316b2ae23aa607c7312f8eab
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/utaipan.yml
SPDXID: SPDXRef-4ee468a7274a4b5e5d2e520ed9d587a9
FileChecksum: SHA1: 971ee600395d489402937d2d7c9e0b737ed5789b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/veriabs.yml
SPDXID: SPDXRef-5a68aa4ec240641894a04ca5470caf77
FileChecksum: SHA1: 279e7520a8f1d56f2cbd27e192c04bf8495e0654
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/verifier+validator-portfolio.yml
SPDXID: SPDXRef-c3410faa5ddfe38c9afc031f2f2e5b43
FileChecksum: SHA1: 9a98c63582b4bb2269bd473cfafef73e5b628e6f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/verifier-false.yml
SPDXID: SPDXRef-9505c1c6a2cf10a1882f6cb91331ba2c
FileChecksum: SHA1: 5b1c0911eeffecc2d9512c7117c112c63241c8b6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/verifier_resource.yml
SPDXID: SPDXRef-e94607fa3b833edd64c8e9e6aca9d248
FileChecksum: SHA1: 2f8a3162f033d9c851daa32b0ed0d96e6503a717
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/verifuzz.yml
SPDXID: SPDXRef-a4c9fd1c0a43aa481f13ee0f9ad0d8a0
FileChecksum: SHA1: 4e7a40cc20d6a1d8572b011aabf56064cb96a25c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/witness-linter.yml
SPDXID: SPDXRef-c5b1ff6e73159792770be073156b3ef9
FileChecksum: SHA1: e6b5d23030eb361428df2d09db04d71959af6820
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/witness-validator-cpachecker.yml
SPDXID: SPDXRef-0d475ebb672d4992a7365f10c2a56244
FileChecksum: SHA1: b666cb96abbff567299285aa7ed0f3ee927ba497
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./actors/yogar-cbmc.yml
SPDXID: SPDXRef-9319d7fa650479bd1fb50c018b0d04c4
FileChecksum: SHA1: 17661f3d46022b61ea759e4a0f9ece852a3321e3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./bin/__coveriteam_server_mode
SPDXID: SPDXRef-3110f51a5d00dc4f51b1e03249cdd69d
FileChecksum: SHA1: b6f8149593ccac3ddccbe99d6ae41b2065766705
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./bin/coveriteam
SPDXID: SPDXRef-d5ce1072779d8a0c7068ba49c7906a4d
FileChecksum: SHA1: 65f8ab0a1a44cc62f4614e8fa2b7dbc9350e02a1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./bin/verify
SPDXID: SPDXRef-4b6b4bb3571330943cd644baa5196a84
FileChecksum: SHA1: 7d9a21dbabb1716941e67597e44bd310afdad1d8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2023 Dirk Beyer
FileName: ./contrib/create_archive_coveriteam.sh
SPDXID: SPDXRef-83aa70fd2cd9832734ad81ed9d25d458
FileChecksum: SHA1: de48f4579c834c54e1f3caeb668ffb26c021070a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/portfolio/bundle_portfolio.sh
SPDXID: SPDXRef-f21e77017c2a40dce8db4ad08e193f5f
FileChecksum: SHA1: f1ddd40a1c9c73c56d3feeea85e9ec9001cb601a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./contrib/portfolio/portfolio-verifier-reach-safety-single-run.xml
SPDXID: SPDXRef-84daeeb40e6c1075c540591793c86298
FileChecksum: SHA1: cdafff361ab2b59bb3fabc37a568fefd1a931b87
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/portfolio/portfolio-verifier-reach-safety-test-suite.xml
SPDXID: SPDXRef-68b1f4589fe5856a0219b0fe38f2d581
FileChecksum: SHA1: 066b7eb99d8cdddf3752a573bb0a0ac48e8de091
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/portfolio/verifier_resource.yml
SPDXID: SPDXRef-8127dcc945a49f4e4422d3d2a181ae1d
FileChecksum: SHA1: fa1d6ca821d8c49e8a3e663d30b66e5eee143208
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/portfolio/verifiers
SPDXID: SPDXRef-6356c5c561f38ff929385d68a12d25d1
FileChecksum: SHA1: 229fd1aefe07d284e89a5a127f45653aee604ec0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/README
SPDXID: SPDXRef-48fad68641e810b6a1918bdc9007731c
FileChecksum: SHA1: 2de9d9e75ffad75c28ab9b99ce513971aafe19c2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/2ls.yml
SPDXID: SPDXRef-358a6e89b418cd560b182ec947512704
FileChecksum: SHA1: 21f136c54ed92dc7a4d7fbb15c4151580282daa6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/cbmc.yml
SPDXID: SPDXRef-bff2325a3f1981f3cfcda7490b8f6702
FileChecksum: SHA1: 0f0646a4377d7731df38e5e3fd38e499a995ded7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-2ls.yml
SPDXID: SPDXRef-0eda31c17781187896e501681a941008
FileChecksum: SHA1: 411ade20bdf41f3423998336ec29d460f91b9aa3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-cbmc.yml
SPDXID: SPDXRef-e98dd1b7414e40d7a1728fff83898c6e
FileChecksum: SHA1: 7dc0cc632e6e9e04d8464e30e0dfcabdfa14ecb5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-cpa-seq.yml
SPDXID: SPDXRef-c7e800b06c99be5103a827a35ae8f7d2
FileChecksum: SHA1: 99bb12f23f16a93ecf452b24d2773bc2ec5a40e3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-divine.yml
SPDXID: SPDXRef-138bb6eec5d619430f2d79221d23988d
FileChecksum: SHA1: fa5c2c72b274222a6ef72cf5190b8f26b38e18e8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-esbmc-incr.yml
SPDXID: SPDXRef-7ebf8271a7bb52d7d5fb3e476528027b
FileChecksum: SHA1: 9ef424776a242a8a697fb0a0cf5c27e47363df6a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-esbmc-kind.yml
SPDXID: SPDXRef-88676da49e1e7309fda78cae9cfb5d48
FileChecksum: SHA1: d83e033068299f54d81c364702dacd4b1305d90e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-goblint.yml
SPDXID: SPDXRef-8a4dadb145fc2354ca4e58b7c43b2200
FileChecksum: SHA1: 615f5280e1942a7e740c93ebf4a33cdc8cdcedf0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-pesco.yml
SPDXID: SPDXRef-3ad8a5558c54cdab688d2dae7ae6b4df
FileChecksum: SHA1: da637ae3e145dcea0347f0f182541156ddc98032
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-symbiotic.yml
SPDXID: SPDXRef-7b8d6ddff1f33da58a7cf9e803939f85
FileChecksum: SHA1: 3ed13dba61f4f85143f0ba8cbee82d0d771cac41
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-uautomizer.yml
SPDXID: SPDXRef-bda5cf94c466b27a803c9de345f4f4c7
FileChecksum: SHA1: b4f5df0d30474263e1aa092c4e0eb18dd27b4721
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-ukojak.yml
SPDXID: SPDXRef-72f31edbbb6bb0b16beea4c7e4d35ef2
FileChecksum: SHA1: fa75192ee99f7418ba2d4dddd9e21cf3e743a509
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/classifier-utaipan.yml
SPDXID: SPDXRef-ede9a078830d112f2ded13d997c603bd
FileChecksum: SHA1: 25ce3c1992f44e5bc3011b8f3317e2b960b1d004
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/cpa-seq-parallel-portfolio-3.yml
SPDXID: SPDXRef-bb76095bada1be89d65439699c2a6000
FileChecksum: SHA1: dc6bae530fe19f7add8c04a925e7bfba065547dd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./contrib/svcomp22/actors/cpa-seq.yml
SPDXID: SPDXRef-78c2741410a069bb0342c7b81d19015b
FileChecksum: SHA1: 4f07fb9c237a48d73e52db4e78ab2542b4bc9aaa
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/cst-transform.yml
SPDXID: SPDXRef-0f062016bee677d2c3d620f8b36b0b5c
FileChecksum: SHA1: f867679ae7cccf290d628d622fd0c4afbb5faf3a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/divine.yml
SPDXID: SPDXRef-641bd80e286a88964a8cc5ae16da84fd
FileChecksum: SHA1: 5bf76cb61b1a988d7f397147a233f3015e0b8420
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/esbmc-kind-parallel-portfolio-3.yml
SPDXID: SPDXRef-572813a4050058fd40cf4b0405a13d6f
FileChecksum: SHA1: 679e6663c30d0db9671ff49afec9c72cfb50f382
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./contrib/svcomp22/actors/esbmc-kind.yml
SPDXID: SPDXRef-35ed4b98a8a85b6c288e9e7cdd146492
FileChecksum: SHA1: a133a81dc5d858b4c7b8fa489d06eb8fc79be6ce
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/feature-extractor.yml
SPDXID: SPDXRef-3ebbf109fd0bc912419adfc917f68bec
FileChecksum: SHA1: 59beab7612a06f0bce123ec3abe8891394e50029
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/goblint.yml
SPDXID: SPDXRef-c1c263d5e8bd5fb51ffa5f1a72c7d57b
FileChecksum: SHA1: c704fde315ebb7490df8f8157308d031ad47253a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/pesco.yml
SPDXID: SPDXRef-5f16ddd00873e82be023bc8188dc5f35
FileChecksum: SHA1: a854a0d185628b4065c91ac23e81717a414a6f80
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/resource-limitations-parallel-portfolio-3.yml
SPDXID: SPDXRef-f3a230218f310a2fa250301ab8e5ad8c
FileChecksum: SHA1: d103b6461b5ad5a57192d27802f02bd758864210
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./contrib/svcomp22/actors/symbiotic-parallel-portfolio-3.yml
SPDXID: SPDXRef-e4574c807b973df7e576905873bd3cf6
FileChecksum: SHA1: 785866b0d18b84a6eef9c1756382caaf8acf9b02
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./contrib/svcomp22/actors/symbiotic.yml
SPDXID: SPDXRef-f9744829c56972ef5ff3897bff3f9aa7
FileChecksum: SHA1: ae2338060b68e0c894bf0acd3a038be4b186ed5c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/uautomizer.yml
SPDXID: SPDXRef-bcc06ac3a4aec8db211ce987a5e81023
FileChecksum: SHA1: b0ebf6969ef2df903451f41a3c4142fb8b8c03f2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/ukojak.yml
SPDXID: SPDXRef-87dbfa6e880ab61cff4e95ffdf75d520
FileChecksum: SHA1: 44822137233d6a3f508176690f6da9c04288a8fd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/utaipan.yml
SPDXID: SPDXRef-e3a49c971979e7bbc8c13e2604e6a955
FileChecksum: SHA1: 587c827b8a111b19d31b995775abbe898e26f8ec
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/actors/verifier_resource.yml
SPDXID: SPDXRef-9d4fa8d58069f1e7330a6d23f9302be8
FileChecksum: SHA1: a7307a2d80c7c85be49e4321089a150a100d7b0b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/benchdefs/test-verifier-algo-selection.xml
SPDXID: SPDXRef-1a15d2537c6da4cba3a29b6683011826
FileChecksum: SHA1: 6db3d1948683bdbe45c04aae3043fda1f7b12073
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/benchdefs/test-verifier-parallel-portfolio.xml
SPDXID: SPDXRef-ce5cb3f366fcae139fd2f52bca8762a0
FileChecksum: SHA1: b1ac847922c3a24bc9b1f197109174820af57ed9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/benchdefs/verifier-algo-selection.xml
SPDXID: SPDXRef-83213c9f387d21c9c8bd9337c4b0283f
FileChecksum: SHA1: 35b68d75bd30b2e9e37e1d9346e3efaa6181a6aa
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/benchdefs/verifier-parallel-portfolio.xml
SPDXID: SPDXRef-1316ed971c52f7a4f68fb3ea2d403805
FileChecksum: SHA1: 90038e30150bb54b28305d9da56f9ae3bb7a4520
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/bundle_svcomp22.sh
SPDXID: SPDXRef-d60f1a16800f71e355eba4592b0441a4
FileChecksum: SHA1: bce88b12f3a717b5f37f8b0509ec7d3e0895b97b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./contrib/svcomp22/verifier-algo-selection.cvt
SPDXID: SPDXRef-1258658b177749eab3dcd5fd6fe87c2c
FileChecksum: SHA1: 1b0875fa847354b89494cbf0f88fa0aabc37d913
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/verifier-parallel-portfolio.cvt
SPDXID: SPDXRef-cc318b152bf2a05c8fd66b9c848267bb
FileChecksum: SHA1: 0046de91af724a16149cba539a973b75d19a5cd2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/svcomp22/verifiers
SPDXID: SPDXRef-f2608034a3c35867316b060c4410b6e6
FileChecksum: SHA1: 986a326f53fdfd214fbcf6ec7f94500c5e6e646a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/2ls.yml
SPDXID: SPDXRef-688c7e146606b34d224719d546199d36
FileChecksum: SHA1: 19a1bdcc831cf9fcdd5000aacc030fd2789d0554
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/cbmc.yml
SPDXID: SPDXRef-2ec89a926770a6af23c4589f203d3393
FileChecksum: SHA1: a23142149674032f71847cf22bc39e09337e5db3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/cpachecker.yml
SPDXID: SPDXRef-55585f79e12ab2204d218583cb0c8e6a
FileChecksum: SHA1: 6b81e63df2580373a3b9cb5fcd882a4ee4cbd90c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/esbmc-kind.yml
SPDXID: SPDXRef-497a7f3980b1492235345078d03fe627
FileChecksum: SHA1: 44beafd514dfdcb9fa8944461604238a3a8e2f79
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/fshell-validator.yml
SPDXID: SPDXRef-321ea4772655f6f716c607616ee30f3f
FileChecksum: SHA1: df1afafcc9a086bde71cc72e44ef57309047d9d7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/nitwit.yml
SPDXID: SPDXRef-fe8b3895646142d52ec10cad7056b17b
FileChecksum: SHA1: 343c6a4849f37dd71380f9693e66bb0df34ec931
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/pinaka.yml
SPDXID: SPDXRef-2316e127518cddda328eeebc4733b7b4
FileChecksum: SHA1: 042f4158b3a2974cf4d6bd14fa01e365ab6119ca
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/resource-limitations-900sec-1250MB.yml
SPDXID: SPDXRef-17b332ff1b6cce2e96e9d9b4674ded52
FileChecksum: SHA1: 1096f39f3b99e1023d6a1512a93264e3dd6c1a73
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/resource-limitations-900sec-1875MB.yml
SPDXID: SPDXRef-e17b91ca7254fb70949592ef66cad1dc
FileChecksum: SHA1: 482b59ff3da95767dd1715cc0e707be3fdc66bfe
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/resource-limitations-900sec-2500MB.yml
SPDXID: SPDXRef-6d0d8dc85ace3859822fc8b58ee3ad71
FileChecksum: SHA1: 42f92c5322fb6878e25d617e2416afc40228be9c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/resource-limitations-900sec-3750MB.yml
SPDXID: SPDXRef-31dda7849a7b15c83adfe3513e806c29
FileChecksum: SHA1: 7e456c9052dbc5bb01da9647d400029d951e9f2f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/resource-limitations-900sec-469MB.yml
SPDXID: SPDXRef-1c4613436ffe2672e10deb1bac44e378
FileChecksum: SHA1: cb768043597c9105f704a9485fdc69cc336d0477
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/resource-limitations-900sec-7500MB.yml
SPDXID: SPDXRef-33c576ba456fa0a3075b5d2436c701ad
FileChecksum: SHA1: 243a3c1429f82f7f3ba491decdf33165e3fc5145
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/resource-limitations-900sec-938MB.yml
SPDXID: SPDXRef-aacac03ddb244d1d02318e4ad4fb15a4
FileChecksum: SHA1: eebe6ccf37d018fd106e35c6bcf9fd34d5f3e9ff
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/resource_limits.yml
SPDXID: SPDXRef-197425e9fe5cd4cf0b3173ad8232d3f7
FileChecksum: SHA1: a7307a2d80c7c85be49e4321089a150a100d7b0b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/symbiotic.yml
SPDXID: SPDXRef-b773c9617d131e689c45ddffa85b4754
FileChecksum: SHA1: b1b6198d60de4a3e164f0542bcee7f18725b5e79
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/uautomizer.yml
SPDXID: SPDXRef-63b6082083ee79765315bc29973f1c2b
FileChecksum: SHA1: b0df6d172b7c8e15350734c458114b847a0bae25
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/ukojak.yml
SPDXID: SPDXRef-714e9cb7a23258b13b53d76c30d15014
FileChecksum: SHA1: 905e8e7c739e98a103186754ec4a5b1243f6527d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/actors/utaipan.yml
SPDXID: SPDXRef-bf3c826f1b4040f6633e0869a77c53b5
FileChecksum: SHA1: 9c3d5c63388e8f8065ce06520f8d18358b436b2a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/all-actors.cvt
SPDXID: SPDXRef-c93e75c9d326035135573c8eea12893b
FileChecksum: SHA1: 82667ce49160438cff0ac842ce8af69e0711deb8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/validating-portfolio/bundle_portfolio.sh
SPDXID: SPDXRef-e46a00cea316160c6327f968c5c56902
FileChecksum: SHA1: 15d53064026226899fef936bd4963f7aade45d8d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./contrib/validating-portfolio/verifier+validator-portfolio.cvt
SPDXID: SPDXRef-97c4f62f1f083ea792ab6954f76ed73e
FileChecksum: SHA1: 9d44e82aecfe2133038b32811c6a57aef544aae1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/verifier-algo-selection/README
SPDXID: SPDXRef-db207f517819066963d71a9f6449d32f
FileChecksum: SHA1: d66e15bb973d32dd143821d4b16476ed81894eea
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2021 Dirk Beyer
FileName: ./contrib/verifier-algo-selection/bundle_verifier-algo-selection.sh
SPDXID: SPDXRef-b533ddcdafed85f99c4d217d4a594c56
FileChecksum: SHA1: 40b7af9e8a470786d8c4672b5d52aa349cea1c2e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2021 Dirk Beyer
SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./contrib/verifier-algo-selection/verifier-algo-selection-test.xml
SPDXID: SPDXRef-16708132503988407172a4e8e112cd2d
FileChecksum: SHA1: 4f3acbcd6df47467bb74698626b3ce94dbbc72e6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2021 Dirk Beyer
SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/verifier-algo-selection/verifier-algo-selection.xml
SPDXID: SPDXRef-49d54336a37a32c00cca0d343322c884
FileChecksum: SHA1: 359e433d57f9dc32764f8fbe734d44ff42bab804
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2021 Dirk Beyer
SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/verifier-algo-selection/verifier_resource.yml
SPDXID: SPDXRef-aaa5b9c4e039559de098b82636fc3c15
FileChecksum: SHA1: 18f815c6323495253b7573799de2971f5531a7c2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2021 Dirk Beyer
SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./contrib/verifier-algo-selection/verifiers
SPDXID: SPDXRef-cbaae5cf3214c033bdc8ba3f2fc95201
FileChecksum: SHA1: 986a326f53fdfd214fbcf6ec7f94500c5e6e646a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2021 Dirk Beyer
FileName: ./coveriteam/__init__.py
SPDXID: SPDXRef-8ba198d5e0e2cc74eba12b473157a0e4
FileChecksum: SHA1: 40fdb509f358799bc49dd4ba951cea5099550a1b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/actors/__init__.py
SPDXID: SPDXRef-5bd421a8be94261cde754acd2231847e
FileChecksum: SHA1: 1a773ac33402801f311097f4bdb452c3c4bc30d1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/actors/analyzers.py
SPDXID: SPDXRef-61810c2c57b2bb27ec3722a4e7c74a43
FileChecksum: SHA1: 8879fd19c4ad7cb24f371342b2d517af92fd39d1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/actors/misc.py
SPDXID: SPDXRef-869951a3f6c38476b164de45702bf7c6
FileChecksum: SHA1: 5b28592d769050fd08ddd65933497cedc530576e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/actors/testers.py
SPDXID: SPDXRef-9131c5cf29bd2f3dc0a09c1dd24cefaf
FileChecksum: SHA1: c3afd8d79d09db2ba85bf39be72f91d55c89c8ff
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/artifactlibrary/specifications/coverage-branches.prp
SPDXID: SPDXRef-aad9b7efa7410b150782da74eed46f1a
FileChecksum: SHA1: 11f9d4323197cf29953128a28ba29680a3ebc56e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./coveriteam/artifactlibrary/specifications/coverage-error-call.prp
SPDXID: SPDXRef-01cfec63e681b104fcd8bdac2fe23fcf
FileChecksum: SHA1: 1e4da4b775ae1d405e791d1888e4a6d085a54782
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./coveriteam/artifactlibrary/specifications/coverage-statements.prp
SPDXID: SPDXRef-ba24781275f5be261ab300ff4a91ebca
FileChecksum: SHA1: 84650e713924d89c0645a2853de4b3dfd8e4569a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./coveriteam/artifactlibrary/specifications/no-overflow.prp
SPDXID: SPDXRef-ad448780f1dd1b6f0e8af86e72999834
FileChecksum: SHA1: 145c90369fac98d0bad0446f8d70047e97937b53
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./coveriteam/artifactlibrary/specifications/termination.prp
SPDXID: SPDXRef-1660c13214cb014b69c67d5edbadf271
FileChecksum: SHA1: 2ac76f0ec1405230a905272e71f3341432dafeab
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./coveriteam/artifactlibrary/specifications/unreach-call.prp
SPDXID: SPDXRef-3a2b6df18aaebea67f4c0ddf148ee315
FileChecksum: SHA1: e6f402df2c049ef0d90afafea3a7fb43794766e9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./coveriteam/artifactlibrary/specifications/valid-memcleanup.prp
SPDXID: SPDXRef-9ecd6488314f607165904089945bec32
FileChecksum: SHA1: c13c7644300ade463b4d846b34b89a6f43a229e7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./coveriteam/artifactlibrary/specifications/valid-memsafety.prp
SPDXID: SPDXRef-e8916fe8b8d948567bcb33e247c562a1
FileChecksum: SHA1: 4af2c8d661f09caa4f875bab85bb156d96da1498
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./coveriteam/coveriteam.py
SPDXID: SPDXRef-c6533093cca62c99066625d87e403f86
FileChecksum: SHA1: 85e38342e114fd9cfd2f6d1fa6ca0154b8bbfbe6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/example_compositions.py
SPDXID: SPDXRef-57e8f6dc23bfc21d8e0a268266d44445
FileChecksum: SHA1: 141fe79ff18d3db51df160c3e03601d2feb1182f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/interpreter/__init__.py
SPDXID: SPDXRef-e29eeb3a81829be8d976a198270cfc0f
FileChecksum: SHA1: e8049213b8249b91e6a30fb449c1908457758116
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/interpreter/python_code_generator.py
SPDXID: SPDXRef-f87b261984d82e88d45708425417d176
FileChecksum: SHA1: 0873bf5d1fe6f03246a51319b089a3c252366d82
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/interpreter/utility_visitors.py
SPDXID: SPDXRef-b03ca456811bc00b2f09693a074a8f73
FileChecksum: SHA1: f5e65d2d1a7ee8536ee39cf9cb121c559d42afe5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/__init__.py
SPDXID: SPDXRef-014e6ebd4eb49418da3f4d606a9da7d0
FileChecksum: SHA1: ad0096a2c236c01137449b66cbce0e24aad1abf9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/actor.py
SPDXID: SPDXRef-a54c8835ca485a57df21ea2311618951
FileChecksum: SHA1: d854def77abd86979bd9b915c68c1e515af3359f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/actorconfig.py
SPDXID: SPDXRef-f7823c9fa0c7065d20327f0734eef8e6
FileChecksum: SHA1: 3eb0d670251b7ddb61205308724a3c1b4343e082
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/artifact.py
SPDXID: SPDXRef-8647ed24de674b97ca503a924a473137
FileChecksum: SHA1: a96f835f46467f943d94c319ac4ce3a038a1b9de
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/atomicactor.py
SPDXID: SPDXRef-8d019d04561daf8b23f8ea8448784b1b
FileChecksum: SHA1: 9070349456b62de42f642b7c26b21ddf36c83d3f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/composition.py
SPDXID: SPDXRef-119369ea5b7e4419a9bafba6f4a68fb7
FileChecksum: SHA1: eb305b49804f44748b379a6bd4847490334a0636
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/mpi_execution/__init__.py
SPDXID: SPDXRef-31fffdac47cdd649638361f0e3d8088c
FileChecksum: SHA1: 1a773ac33402801f311097f4bdb452c3c4bc30d1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/mpi_execution/command_building.py
SPDXID: SPDXRef-c3bd72a77e3a027b34baab3500c3809e
FileChecksum: SHA1: def04914f97702bcb1e9363001f3011936dff71c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/mpi_execution/command_config.yml
SPDXID: SPDXRef-e5bec8391924a18c09abf7ce7979dd04
FileChecksum: SHA1: a111cad318b240d3579c6412838abf21c44836d5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/mpi_execution/constants.py
SPDXID: SPDXRef-4d49d5d3787049cf945ab268850896a9
FileChecksum: SHA1: bb9b2ca834e1799b32293529211e632fa9294fc3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/mpi_execution/hostfile.txt
SPDXID: SPDXRef-61a6d3136050ab9c21bb660e5769971f
FileChecksum: SHA1: f0d26143c070fd1e141fa2d199114d96b83fdc52
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/mpi_execution/mpi_scheduler.py
SPDXID: SPDXRef-5bb32c3235c06621caca99291d524bd1
FileChecksum: SHA1: be3456d9087eb7b28df0f770641ef6c6b0f3b987
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/mpi_execution/mpi_util.py
SPDXID: SPDXRef-681cee590475e24ab6aefbe2ccb5f646
FileChecksum: SHA1: 2d1ca7e39942acbe3c7b1620ec9ae7247dbc81c4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/mpi_execution/mpi_worker.py
SPDXID: SPDXRef-a717170662e2ec144b563ecb59830c88
FileChecksum: SHA1: 61c1cb3a83c69ea177ba33d37698262b2725dc96
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/mpi_execution/process_sync.py
SPDXID: SPDXRef-6b5d923b3b03c54d62b19c08301f40bf
FileChecksum: SHA1: d7ee04e077e8672a9effb6e79207f87046877582
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/mpi_execution/tunefile.conf
SPDXID: SPDXRef-db24e308557e1c38fee96e879ec0fb15
FileChecksum: SHA1: 9f3f8b5a53e8edb089b8365c8ac5219f270d1983
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/parallel_portfolio.py
SPDXID: SPDXRef-aef5c5d72ac9716295cd46e4091318f4
FileChecksum: SHA1: 91085b7a09f2cf39a37822eaf5f3831c269bb101
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/predmap_join.py
SPDXID: SPDXRef-ac9b7e86897aee7666c63cc500cbb6c3
FileChecksum: SHA1: a4ad0dfbe92a98763fdc735719a1c29ef1dd1a55
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./coveriteam/language/utilactors.py
SPDXID: SPDXRef-c8addef4916b2dbb31e61ca7a35575db
FileChecksum: SHA1: 9e19ebed09ffc79f686baeebd4e77ad0a095a006
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/language/witness_join.py
SPDXID: SPDXRef-8b26187d52887c6995b95a967165adb9
FileChecksum: SHA1: c48065ea05f2668574761a12ca762ffa537ab775
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
SPDX-FileCopyrightText: 2020 Jan Haltermann
FileName: ./coveriteam/parser/CoVeriLang.g4
SPDXID: SPDXRef-46307d6e3e05cfe7e08422ff5402a937
FileChecksum: SHA1: 6ea55a9ce189d840219e359ff0934f8bc6d131a1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/parser/CoVeriLangLexer.py
SPDXID: SPDXRef-25432a80b619b79b518ce65297334eea
FileChecksum: SHA1: a3d4eadaa5174e418183e1590f428c439257f920
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2023 Dirk Beyer
FileName: ./coveriteam/parser/CoVeriLangListener.py
SPDXID: SPDXRef-5da914a16716b726deab10fcaaea98ec
FileChecksum: SHA1: a0b99c5044681c92ff1ca19722e911fc9b340c85
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2023 Dirk Beyer
FileName: ./coveriteam/parser/CoVeriLangParser.py
SPDXID: SPDXRef-e81b59899b5fac4a912d2b415654f14e
FileChecksum: SHA1: c5516fa1d00a4bb1bae435cc4b7495a0fa798be4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2023 Dirk Beyer
FileName: ./coveriteam/parser/CoVeriLangVisitor.py
SPDXID: SPDXRef-38c8af3323ae68bf0bef43f06b13374e
FileChecksum: SHA1: 5bb8b50eead5b90aeeafbb9dfeb7a7b272d749b5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2023 Dirk Beyer
FileName: ./coveriteam/parser/__init__.py
SPDXID: SPDXRef-3e6ce02f1e7de12b6f9055345ca47c84
FileChecksum: SHA1: 1a773ac33402801f311097f4bdb452c3c4bc30d1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/parser/genParser.sh
SPDXID: SPDXRef-ed47d5dd22f337a3d9c2aed0e1a0cefc
FileChecksum: SHA1: e4c92d261a58f609319486fb56074743eee5e79e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/remote_client.py
SPDXID: SPDXRef-2609eb70b4bd10b52c32e0ae7113fd9d
FileChecksum: SHA1: fec8c12cf8f02344092552049180143f00c0a1df
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/toolconfigs/algo-selector-cst-transform.py
SPDXID: SPDXRef-4bfa39b6ccc03ba3205488641b9046e1
FileChecksum: SHA1: 026ac9eab8fa0b894ed1126d4440b5cd56e338ec
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./coveriteam/toolconfigs/algo-selector-metaval.py
SPDXID: SPDXRef-6abb94ddf310b5c61896b8a84ec7089a
FileChecksum: SHA1: 22995a2817e4a49bf01c7dc1990dbb99a4e3afa7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/toolconfigs/classifier-cst-transform.py
SPDXID: SPDXRef-dcdac11ed34f310d334b155140de3614
FileChecksum: SHA1: 20ae193257f3ebdba9c4c01031068372857a4b1d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./coveriteam/toolconfigs/feature-encoder-cst-transform.py
SPDXID: SPDXRef-8d3b2f179fcfc9e915220a0beccd6c8a
FileChecksum: SHA1: 6c4eb938c2f7e1dea8af189adbbd09e93a0ae918
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./coveriteam/util.py
SPDXID: SPDXRef-1a706e08318e00e522f1560618afc2ac
FileChecksum: SHA1: 21d05a1f020add5a957ec65ab526306a40d03ad5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./coveriteam/utils/extractors.py
SPDXID: SPDXRef-e96c23180d0edfe827f538e0aae51644
FileChecksum: SHA1: 63cbb3c533fc1e2d75ff2782f52d03de027915ab
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2023 Dirk Beyer
FileName: ./coveriteam/utils/json_validator.py
SPDXID: SPDXRef-2e071b8f55c495ad5916455628112fa5
FileChecksum: SHA1: 79eda07aaafede00d278bb4ef84aa14d085bb5bd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2024 Dirk Beyer
FileName: ./doc/competition-help.md
SPDXID: SPDXRef-fb049dfe0e562d8a16c36bae6af2aaff
FileChecksum: SHA1: ad36fd763e7283829e154ab9fd51df40e9da987c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./doc/experimental-python-code-execution.md
SPDXID: SPDXRef-cc4af27cd8d8d881425761aac52b504c
FileChecksum: SHA1: 3ed3e4b0e732444011b3a7054261a6d512c4555a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2022 Dirk Beyer
FileName: ./doc/images/pdf.png
SPDXID: SPDXRef-78211c1e9fe32688809ed3b829a793e2
FileChecksum: SHA1: 8305938fba095fdbe71af0c33e22cdf871332cdb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC0-1.0
FileCopyrightText: SPDX-FileCopyrightText: No Copyright
FileName: ./doc/index.md
SPDXID: SPDXRef-a7f650fe0cda9dae983d68e42be3ace9
FileChecksum: SHA1: 9f6718ddd5bc25e273244191a8f52fad34d8c60f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./doc/language.md
SPDXID: SPDXRef-d7930408acb2a75550dad002694d731c
FileChecksum: SHA1: 27093c0135d034722263da7280f52abc3fdae669
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./doc/policy.md
SPDXID: SPDXRef-3507a6f5c580e142bbce760b2e5e0d16
FileChecksum: SHA1: 4afcf310e47e151affd46512a80e21a030d16328
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./doc/remote.md
SPDXID: SPDXRef-d5de177e404a3ca5f9b6c4131c7bc13d
FileChecksum: SHA1: 2a4091383d02ae2081dd62d21eab595b32e310aa
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/README.md
SPDXID: SPDXRef-e6ad1b420023e7bf19e51b9be0d5a70b
FileChecksum: SHA1: 80eb55419133f1eed0c700a7c6cd492244339128
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/cpa-predicate-NoCegar-predmap.yml
SPDXID: SPDXRef-b7d3b8dbb5714ccd7e1007b088ee33f4
FileChecksum: SHA1: 4d2673bd1763e2d8c1549d2d57ba65b91299a1e4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/cpa-predicate-NoCegar.yml
SPDXID: SPDXRef-c2fe92d73dba6241e4b30b7e8b426d96
FileChecksum: SHA1: 87544d375f29ed6e66a4ece449023385292d1771
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/cpa-predicate-craig-interpolation-predmap.yml
SPDXID: SPDXRef-fe617fe72ff11685a78362293fc1f91a
FileChecksum: SHA1: 9ffae25a8d375e4503e475d66dd39a788f90b8dc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/cpa-predicate-craig-interpolation.yml
SPDXID: SPDXRef-53de1e3bdd4a106117c495ec6bf9f5a8
FileChecksum: SHA1: f2b605e2e12b360e56f1552ba66bc6c1622e8174
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/cpa-validate-violation-witnesses.yml
SPDXID: SPDXRef-6a741e5f33cd2a69e4f37b125168a037
FileChecksum: SHA1: 2478592a4b55369d558c698f7ce73db5a4da2637
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/cpa-witnesses-instrumentor.yml
SPDXID: SPDXRef-f214cc588b722c6e0fa6c50df9c292df
FileChecksum: SHA1: 2333cb5b5bf9134976f7cc81bc7a92597eb5b262
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/fshell-validator.yml
SPDXID: SPDXRef-3cf53ded8a094808dbae1b902ceaa4df
FileChecksum: SHA1: 8f0a971affb67baea63af107a7e75f60c236dfea
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/metaval-symbiotic-validate-violation-witnesses.yml
SPDXID: SPDXRef-abe79ac23836bde0c128b0d172e43604
FileChecksum: SHA1: 3e4b01c9b752150e78c9e2ded56d38b0d6345997
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/metaval-uautomizer-validate-violation-witnesses.yml
SPDXID: SPDXRef-466cdcf92a2264f59b4175235b9453aa
FileChecksum: SHA1: 97b02104d142ee321143e955fcb37b5aeb9bd3ea
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/predmap-false.txt
SPDXID: SPDXRef-e50c832167c8d370fc8b8def6abbf3eb
FileChecksum: SHA1: 20ee12121196bf4f6f80f84fa7e9b14512c426fd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/resource-limit-any-component.yml
SPDXID: SPDXRef-4259770c2a593a655967e53f11912f6a
FileChecksum: SHA1: 851d4fc891cbbfc4511df33d1f6dd3e8fa939162
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/symbiotic.yml
SPDXID: SPDXRef-7075c8b3873ee2d1288c9d2657b4e3a3
FileChecksum: SHA1: 149f5f6f53336b3723f1c32b4de22f8d1b341f2c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/uautomizer-validate-violation-witnesses.yml
SPDXID: SPDXRef-86dbad0878b824a65e3f285c774b810e
FileChecksum: SHA1: ca9dcf3d906e568476049f6d00cf27c5d45c9628
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/actors/uautomizer.yml
SPDXID: SPDXRef-c2ecb00955472daa0e416c112bdd70ae
FileChecksum: SHA1: 79f40620913832ddb8cfd3f42b4642acd9363895
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/cCegar-invariantWitness_cex-cpachecker_ref-cpachecker.cvt
SPDXID: SPDXRef-5addb45e04183dd5c391006dd6b08f77
FileChecksum: SHA1: 5a4dde9dc50859770cd0d2e7a95920df6791f275
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/cCegar-invariantWitness_cex-cpachecker_ref-metaval-uautomizer.cvt
SPDXID: SPDXRef-12e88f9775dbd5975ccc62e8f8d5e95f
FileChecksum: SHA1: 0e97f128735f1e3f0595fd71735025d5878054e1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/cCegar-invariantWitness_cex-cpachecker_ref-pathProg-uautomizer.cvt
SPDXID: SPDXRef-515ddb023492cae855f278f8b4308699
FileChecksum: SHA1: 011c20f23e25b2f83365665817090629649e2114
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/cCegar-invariantWitness_cex-cpachecker_ref-uautomizer.cvt
SPDXID: SPDXRef-441ae126f380b6bd23cda3dcc5271369
FileChecksum: SHA1: d07e1d94e85d6792f59b1559f0393380c68905b1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/cCegar-invariantWitness_cex-fshell_ref-cpachecker.cvt
SPDXID: SPDXRef-60a4c8204c092e8ec3956e292ced06a0
FileChecksum: SHA1: ca3eb6e00c91b01d0899109364357c55dbcc1a17
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/cCegar-invariantWitness_cex-uautomizer_ref-cpachecker.cvt
SPDXID: SPDXRef-d5cb90d736431bdcd7382098f99b83a6
FileChecksum: SHA1: eded8a6029f8d7bd7dc82f583c3758afeda03c70
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/cCegar-predmap_cex-cpachecker_ref-cpachecker.cvt
SPDXID: SPDXRef-2fe5d03295e9404699dcfae8537c1941
FileChecksum: SHA1: 2e361b6d735d3f32beaaf89b9625f2d9ac3e23b9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/cCegar-predmap_cex-fshell_ref-cpachecker.cvt
SPDXID: SPDXRef-05197c69e61e930c2bb1b4524207c603
FileChecksum: SHA1: 6712beebf32810a02e819bc4fdf593b5523648a7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/cCegar-predmap_cex-pathProg-symbiotic_ref-cpachecker.cvt
SPDXID: SPDXRef-375b1ec00357835df756ab38c97cefa7
FileChecksum: SHA1: adf9a60391af51df763b3d904b47afdb693a423b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./examples/Component-based_CEGAR/cCegar-predmap_cex-uautomizer_ref-cpachecker.cvt
SPDXID: SPDXRef-3052663b6ce232026cef9be07f8cfbff
FileChecksum: SHA1: 58e67eb726e70e5092e22a72ee31284ceb1d09d6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020-2022 Dirk Beyer
FileName: ./examples/CondTest/README.md
SPDXID: SPDXRef-98f3310beb103a5ac26e0782f6bd9398
FileChecksum: SHA1: 67fd68ebb084581121879d9fda3ee396dde264ff
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/CondTest/conditional-testing.cvt
SPDXID: SPDXRef-6aae4cae600cbdcaa46d9ef658e21c0a
FileChecksum: SHA1: 45defc046d50e0d6a0784591ec53a82dd80531a5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/CondTest/condtest-sequence.cvt
SPDXID: SPDXRef-458a58fa4b182beffcc3365d9aa77217
FileChecksum: SHA1: 6ab11eaac06519068cc5491bd217ff042d308d54
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/CondTest/condtest.cvt
SPDXID: SPDXRef-362fda0e13a70639770194d4cf47b924
FileChecksum: SHA1: cad6f28afd4d41c50d5ae7721d92b517224c53dc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/CondTest/repeat-condtest.cvt
SPDXID: SPDXRef-81234d1ca57b23dcb3f37f858a68c438
FileChecksum: SHA1: 277a1a3222c22ca6364d799f308bf7be759421ac
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/cbmc-sequence-8.yml
SPDXID: SPDXRef-ad21da34625dde5472a337b24a2dbfed
FileChecksum: SHA1: fd66acbcc0a2bb7de81a748bc44bacfda450c616
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/classifier-cbmc-for-cst-features.yml
SPDXID: SPDXRef-dd427b3f16dc20ed3856f37db4fc3eaf
FileChecksum: SHA1: 9f21337ae61472b2685058015a09820f5c446a00
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/classifier-cpa-seq-for-cst-features.yml
SPDXID: SPDXRef-88a9589c9580286edd6deb329200121d
FileChecksum: SHA1: 0ca32ef670460f4868e30b71840a928824a53ff6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/classifier-divine-for-cst-features.yml
SPDXID: SPDXRef-2a8a1263318bf23eb9758f0653c32b60
FileChecksum: SHA1: 3415d45aad76cbcd8165fd1d47b57d8422b88e1d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/classifier-esbmc-kind-for-cst-features.yml
SPDXID: SPDXRef-9658ab71a28637f22b939413614b5a26
FileChecksum: SHA1: edabc95cb1603ce82f94d30e61d0e6b9b033de0f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/classifier-goblint-for-cst-features.yml
SPDXID: SPDXRef-d61e1d88ad7614e564817dea95331e50
FileChecksum: SHA1: b0b64de52f565a0d747814705577f54394dc07ae
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/classifier-symbiotic-for-cst-features.yml
SPDXID: SPDXRef-b20cbcedbfae72f544251554c16507c8
FileChecksum: SHA1: d245eca66df791e46ef5245e8b8e768ffa5cf563
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/classifier-uautomizer-for-cst-features.yml
SPDXID: SPDXRef-e5b555f116eaaf05a882e103c22c5366
FileChecksum: SHA1: 7a4e91e5116a8d17c666ef0fce282d0153343bfe
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/classifier-utaipan-for-cst-features.yml
SPDXID: SPDXRef-b05a065eecf6284a5990bec88013cba9
FileChecksum: SHA1: cd25211a428e5eb20b18e7fc1cfde557464048e6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/cpa-seq-sequence-8.yml
SPDXID: SPDXRef-38b8555fa883227f8fab8381af00f596
FileChecksum: SHA1: a59e83155280e2dd6141115372fecf8e2aa387ad
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/cpa-seq.yml
SPDXID: SPDXRef-08f67458350448168543f53343765ecc
FileChecksum: SHA1: a59e83155280e2dd6141115372fecf8e2aa387ad
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/cst-feature-extractor.yml
SPDXID: SPDXRef-67ddd78f02adf0ee9db0af75460e2cfd
FileChecksum: SHA1: 04bc1417cc72d6a4a7889373361330b5674054ae
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/cst-transform.yml
SPDXID: SPDXRef-ca0439aedb5039fafd062da22207c948
FileChecksum: SHA1: 1048a1e7da1e6a56657c15591a4b8b959389355f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/divine-sequence-8.yml
SPDXID: SPDXRef-bc93fa441142001f6b098bc85e1f143a
FileChecksum: SHA1: eda066d4574237eb1a00fbae9cc2ad73f9c323b2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/esbmc-kind-sequence-8.yml
SPDXID: SPDXRef-7e44d3fb4d2e0dba530587cb216dab49
FileChecksum: SHA1: 876ef92f9af4d151d0307790321122900e6be3e8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/goblint-sequence-8.yml
SPDXID: SPDXRef-7c8034aecef3792c81b8b63ceefe027c
FileChecksum: SHA1: 319eea9e2512e676ad440ceb8c63943df25e3221
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/resource-limitations-classifier.yml
SPDXID: SPDXRef-888052d7a0b91267074c2c9919d73478
FileChecksum: SHA1: 75e418b6e071cb37b0b0cf3251669c9345425906
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/resource-limitations-feature-extractor.yml
SPDXID: SPDXRef-df2c380743abfd8be98950dcc32f3d83
FileChecksum: SHA1: 4c856ec86a1a1a0e6f43b418b646c6157794527f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/resource-limitations-sequence-8.yml
SPDXID: SPDXRef-d487388b23c9399f7fd60c1ab9818157
FileChecksum: SHA1: 2dabc302ed442b819b552f2cf7dc9f13b4cbaf6d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/selection-verifiers/cbmc.yml
SPDXID: SPDXRef-fa82491699d06daf386757734ad5f233
FileChecksum: SHA1: aef298ea8c2a27ae76613d1d7282e26da57ed3e0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/selection-verifiers/cpa-seq.yml
SPDXID: SPDXRef-f2ea907cbc810088a507e31ca4942675
FileChecksum: SHA1: 86b0681e909610ca7ece7a5c97ea886384c73979
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/selection-verifiers/divine.yml
SPDXID: SPDXRef-6a68828b5a311492e9f725e40950d24c
FileChecksum: SHA1: f4a534a861cf0d39e0bbcb704a350f06ac7ba3c7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/selection-verifiers/esbmc-kind.yml
SPDXID: SPDXRef-04c51b61d64bdf1070e994caa28be06b
FileChecksum: SHA1: 0bbca2baf19622c6501c7eb043f6c51646bd2292
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/selection-verifiers/goblint.yml
SPDXID: SPDXRef-fc94064c39a12b97316ff1c3b9a1483c
FileChecksum: SHA1: bde267459c1fdc82ad1015eff1144136b32d2977
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/selection-verifiers/symbiotic.yml
SPDXID: SPDXRef-e755f449cee2f5741d3a949b07b85c3c
FileChecksum: SHA1: 10cb4055341a4bfe8a59fa10eca7d3c9fefd2e40
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/selection-verifiers/uautomizer.yml
SPDXID: SPDXRef-9f8b73d0e1b056f1b7737a3ed900dcee
FileChecksum: SHA1: 694694f6480a48e4ac21ec4a32b3ac5b70e2047a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/selection-verifiers/utaipan.yml
SPDXID: SPDXRef-78f24bed63dd1ec72431f6784c43d467
FileChecksum: SHA1: d41dc375323eb8c767f44f329cafc12682df2806
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/symbiotic-sequence-8.yml
SPDXID: SPDXRef-2aa545c8d0cb333f1fa7c2ab08c81241
FileChecksum: SHA1: 8f6ff745a27331c09eae665e52dfa73ac5b72c45
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/uautomizer-sequence-8.yml
SPDXID: SPDXRef-cb4b9d613b0ae509dfb737c477fd8243
FileChecksum: SHA1: 570d16f1199d6613753666559574f1b5403076e2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/utaipan-sequence-8.yml
SPDXID: SPDXRef-d6baf28192342ee821a66babebc6b7c7
FileChecksum: SHA1: d1c93028bfc57a1976ee22c5bc520382c4b7bf6a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/verifier-2ls.yml
SPDXID: SPDXRef-10e657d1280604991c66b8151c1a6b83
FileChecksum: SHA1: 87e4bbef6c252eb204d2cae4a8e6a78a6ddfbc1f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/verifier-cbmc.yml
SPDXID: SPDXRef-0642c78140a7a502e025e8fa1cd2f45d
FileChecksum: SHA1: 12d0d7d51e7a4a271a214c9b38efdc0afe2ccaa5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/verifier-cpa-seq.yml
SPDXID: SPDXRef-b9a9998c1fe6e2c1cfae91403c0b90ec
FileChecksum: SHA1: a139a96b10183f19f9249f3d10ba707e030340a5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/verifier-divine.yml
SPDXID: SPDXRef-db054b3f67b3b2599385919ad7c96abe
FileChecksum: SHA1: 32e9609a46c27039a10cf0176eba82ac9b2e0c31
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/verifier-esbmc-kind.yml
SPDXID: SPDXRef-8b135deb4448552143c57cd842aefa4a
FileChecksum: SHA1: a2f635df1cb7603a385013e58068e9563e162598
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/verifier-goblint.yml
SPDXID: SPDXRef-ae160808b9b6bb2f09f1753b6845ca67
FileChecksum: SHA1: 43820b736645bd8e4669fba03d02410cc8be1b28
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/verifier-symbiotic.yml
SPDXID: SPDXRef-5f2908aa55a645c4a3b2e57d05b6b9f9
FileChecksum: SHA1: aea0266086d94cb5f7f78836247b94b592252587
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/verifier-uautomizer.yml
SPDXID: SPDXRef-a4ce11b35685139f30ce493e20202e4e
FileChecksum: SHA1: a6a8dbcca8768134f0116ef8cab731dec3696cfa
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/verifier-ukojak.yml
SPDXID: SPDXRef-67a89aa7e7ae55a30102792cc91c3bd2
FileChecksum: SHA1: 581da69de425e5b17f99869a0f8596d4fc6aa213
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/actor-definitions/verifier-utaipan.yml
SPDXID: SPDXRef-e669adbb5ef2ee0a13fe3cdb89f886e2
FileChecksum: SHA1: 75dffc73e10817bae0946826fbe4a89685d5d74c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/cst-selection-8-with-new-parallel.cvt
SPDXID: SPDXRef-519e3541972fa9892051a04402d2d1ba
FileChecksum: SHA1: 2be0775977a984dd6475acf553501c2b43a79fc8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/cst-selection-8.cvt
SPDXID: SPDXRef-a5440c9a0021a99d14340e9b9019a56a
FileChecksum: SHA1: dbc895079986d3e8f0573408d6a0f739a7c334b7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/sequence-8-with-new-sequence.cvt
SPDXID: SPDXRef-5933591bd61f9bd60ec957824a1f24e2
FileChecksum: SHA1: 6000aa35b3d0330d5569b50a4c2a6ecd04aa5cb1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/FASE22/sequence-8.cvt
SPDXID: SPDXRef-6b6962a0ffbf2d89ea7a8d2c98a692b5
FileChecksum: SHA1: 10e5be3cafe158e956240c1990e5de4415049d8c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/MetaVal/README.md
SPDXID: SPDXRef-a042281643d3ce8d25fbb371d329a2eb
FileChecksum: SHA1: 6a055e493cc668752cb8eac574cb4451b213787c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/MetaVal/metaval.cvt
SPDXID: SPDXRef-b957a99d5b0871f89a1bbc57423e9ee9
FileChecksum: SHA1: 38c1380b3e00efcab80c4f831d1ec09ab2f502fe
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/Provider/actors/connector.yml
SPDXID: SPDXRef-e2da4d99391d9ef94390bb26cb748e9f
FileChecksum: SHA1: ebd4e314b13252d9ae86170b85ac7f354bfa23f9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/Provider/actors/provider.yml
SPDXID: SPDXRef-fd9fb6622a69826ded7ed76e0ada0dd1
FileChecksum: SHA1: 0c7097fbccfca884127bb1fbfe2b505f4ee0a18a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/Provider/daemon-verifier.cvt
SPDXID: SPDXRef-6751e88ac2ed491e9c7c103ad1450a75
FileChecksum: SHA1: 5f5b9a8fb427bcfc3f663692cebba5086ae7caaf
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/README.md
SPDXID: SPDXRef-0e803b24b3e9fbf0834b09b69d5aa054
FileChecksum: SHA1: 61564d9ed318fef050c7c71c30c334719a4c363c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/coveriteam-verifier.cvt
SPDXID: SPDXRef-c9805213e4937d33593648dd3e0398aa
FileChecksum: SHA1: 75f7e23560daa63bd0c4636e0728cc55d76f3aed
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/cpachecker.cvt
SPDXID: SPDXRef-f528e2b9072b76f109be98c6832c1fe2
FileChecksum: SHA1: fb184f8d039c13ece5b1c79840d3d256986c342f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/exe-validator-witness-instrument.cvt
SPDXID: SPDXRef-c35c91507159356ed80d9aee51a70ec8
FileChecksum: SHA1: 606876262771b9055663c05a194bc68ec5a7562a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/execution-based-validation.cvt
SPDXID: SPDXRef-2d0655b3459abd91024530ede5be67e5
FileChecksum: SHA1: 1ce577eac6eee427839196c723d97729c72c0a3d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/portfolio-in-portfolio.cvt
SPDXID: SPDXRef-469f1fee12694216113ce73d71100d3a
FileChecksum: SHA1: d269ad0fb2f36956e375d5205cba0cbe2ad56517
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/portfolio-tester.cvt
SPDXID: SPDXRef-1f9ea0e60540d75dc8b0bde41b30ac53
FileChecksum: SHA1: 71462e04c81fa7ed435377889ba09bdcabbeea6d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/portfolio.cvt
SPDXID: SPDXRef-d51367cd07690b45998d9bef1a3da041
FileChecksum: SHA1: 64bb62332c694a9628dc06e7ed2c4622a4649414
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/reducer-based-conditional-model-checker.cvt
SPDXID: SPDXRef-ebf42fd78480e95416680a831a4b8c7b
FileChecksum: SHA1: 0dcbb8f2f2cf5f12316fb405780fbf46802d1c87
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/remote_examples_tester.sh
SPDXID: SPDXRef-b4c84e157165d3538f43921263dc3ea7
FileChecksum: SHA1: faa1d4099dd532468d96cf653e7ae7941c0e766f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/remote_examples_verifier.sh
SPDXID: SPDXRef-98b80c651c5c7fe877a61ce800bd23c9
FileChecksum: SHA1: ac236e356bfead82d7122e2342666fdc8b8d1f38
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/run_examples.sh
SPDXID: SPDXRef-9158da26b0eba144ea7d96e60fb4b8bc
FileChecksum: SHA1: 4b8bf70884021a7a5c632ee2662c86300957073c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/tacas22_examples.sh
SPDXID: SPDXRef-4c72a6f16caffaa81da3239dbb3fb486
FileChecksum: SHA1: 70db7fc6f87f94da0a118e6f48d43c7708326f21
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/benchdefs/test-validator.xml
SPDXID: SPDXRef-9aa4742f5f29d812ad99503ff92ac00b
FileChecksum: SHA1: 64ebd65a41dda04e784655df75e6253b92f16703
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/benchdefs/test-verifier.xml
SPDXID: SPDXRef-19fa81f2acb33abbde37b4ef485937f3
FileChecksum: SHA1: 3565f766b016b0cc73a2ee38869aeab51f5c260e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/c/AdditionIntMax.i
SPDXID: SPDXRef-4cbc9584e31bcfe9c39cab0c04d9e231
FileChecksum: SHA1: 6fa08666820fd55bd3bbfb43f6605706b12c9bbd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: BSD-2-Clause
FileCopyrightText: SPDX-FileCopyrightText: 2013 University of Freiburg
FileName: ./examples/test-data/c/ConversionToSignedInt.i
SPDXID: SPDXRef-9aa16f684adbc21149855b44970aa19b
FileChecksum: SHA1: 79fed25faec95d6fe844cfce674b2399029c6edc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: BSD-2-Clause
FileCopyrightText: SPDX-FileCopyrightText: 2013 University of Freiburg
FileName: ./examples/test-data/c/CostasArray-10.c
SPDXID: SPDXRef-251fec8dfdac4f12829b95ceb1bcb619
FileChecksum: SHA1: fc7e5830b3bb09de60bcc770b6afee1d51a87ee8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: SPDX-FileCopyrightText: 2016 Gilles Audemard
SPDX-FileCopyrightText: 2020 Dirk Beyer
SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
FileName: ./examples/test-data/c/Madrid.c
SPDXID: SPDXRef-28a296aca959aeb14bdebda12ae81243
FileChecksum: SHA1: f900d9a7bac040d67292fa1dd5cb8d6da42c6712
LicenseConcluded: NOASSERTION
LicenseInfoInFile: BSD-2-Clause
FileCopyrightText: SPDX-FileCopyrightText: 2013 University of Freiburg
FileName: ./examples/test-data/c/Problem01_label00.c
SPDXID: SPDXRef-5f72b980aefbf934f90c95335c78115c
FileChecksum: SHA1: aa303202e206e0417727207f0e09817a035cbfbb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2012 The RERS Challenge
SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
FileName: ./examples/test-data/c/Problem01_label15.c
SPDXID: SPDXRef-01b978eb3a93923886637b1766da517a
FileChecksum: SHA1: 44aa0be93ec6e36f564137153184eff957643e1e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2012 The RERS Challenge
SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
FileName: ./examples/test-data/c/Problem02_label16.c
SPDXID: SPDXRef-19cf199c4f26a3744003ebaf8bb1471f
FileChecksum: SHA1: 7c295c4b11525bc49b762e22748ce84e03f9bb69
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2012 The RERS Challenge
SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
FileName: ./examples/test-data/c/cstrcat_unsafe.c
SPDXID: SPDXRef-49df36e1e71cbccf5cb341d76d8ba23e
FileChecksum: SHA1: 9e783492098b508095af20f856fcc24aa467e5b0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: BSD-2-Clause
FileCopyrightText: SPDX-FileCopyrightText: 2014 RWTH Aachen University
FileName: ./examples/test-data/c/error.c
SPDXID: SPDXRef-036bc3d8e898d42c6be933aa068a29a6
FileChecksum: SHA1: 265ff50840e5d9061fcecbb9d8575e1db5ac251e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/test-data/c/error.i
SPDXID: SPDXRef-2e07c1fa5ced335b48e4098308b76da5
FileChecksum: SHA1: 2f31da3d7e416527f463b32dd7411aca8994bf86
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/test-data/c/example-nonrand.c
SPDXID: SPDXRef-310d4dedc3378931e92be83790bd7d01
FileChecksum: SHA1: f0e0a9873069d41b52643c6337f94fcd8ef50109
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/c/gcnr2008.i
SPDXID: SPDXRef-1aef31bce6c8f2f6854d551033439014
FileChecksum: SHA1: b45f878d2adc6011fd722b5ba41fffa6aa20802e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2008-2020 SV-Benchmarks community
FileName: ./examples/test-data/c/jain_1-1.c
SPDXID: SPDXRef-63db44be2d297543722c9b06f04cce2d
FileChecksum: SHA1: cdca763e2568da83324b6e89f8bb7a37edcd2afa
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2012 FBK-ES
SPDX-FileCopyrightText: 2012-2021 The SV-Benchmarks Community
FileName: ./examples/test-data/c/rangesum.i
SPDXID: SPDXRef-21a5082975bc3f09a54f507ca277c6e2
FileChecksum: SHA1: 3fdfadd8a4bc306c72587ad6a5634ea560272927
LicenseConcluded: NOASSERTION
LicenseInfoInFile: BSD-2-Clause
FileCopyrightText: SPDX-FileCopyrightText: 2015 Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, and Bow-Yaw Wang
SPDX-FileCopyrightText: 2015-2021 The SV-Benchmarks Community
FileName: ./examples/test-data/c/sanfoundry_43_ground.i
SPDXID: SPDXRef-afcbdcff9c47fbf88833e4e5666f730d
FileChecksum: SHA1: 3f159e60e2eb9188b6418931696765f011cbf883
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: unknown
FileName: ./examples/test-data/c/slicingCondition.txt
SPDXID: SPDXRef-0838f5c94b83b62546800e63bcf98a5a
FileChecksum: SHA1: 0df635ee12ccea7645edbb6e3f83a8dafc74db19
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/c/slicingReducer-example.c
SPDXID: SPDXRef-6954da6a33b1eb062c5587e6f7f96930
FileChecksum: SHA1: fd569df149803ac698c50b00e7a8c8cb91b955eb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/c/test-repeat-condtest.c
SPDXID: SPDXRef-8fa363056228602dc6e6c4657356d4c2
FileChecksum: SHA1: e956506d6e75c24ff623389cf551aa6deed5e024
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/c/test.c
SPDXID: SPDXRef-edc5385e3b36aa624db47bdca03c3f50
FileChecksum: SHA1: f7f5daf40451795b0024e145b13884a10d3b0cec
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/c/test1.c
SPDXID: SPDXRef-c12c8c56ec6cf631496351a0369023e5
FileChecksum: SHA1: d5fc351838dcfb7a89a6f63be2ecd574d5a4b828
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/properties/coverage-branches.prp
SPDXID: SPDXRef-ab3040af0e5d530a2430ec4e59de0c66
FileChecksum: SHA1: 11f9d4323197cf29953128a28ba29680a3ebc56e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./examples/test-data/properties/coverage-error-call.prp
SPDXID: SPDXRef-673ba34434ea0c4b8408bd12607ebd12
FileChecksum: SHA1: 1e4da4b775ae1d405e791d1888e4a6d085a54782
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./examples/test-data/properties/coverage-statements.prp
SPDXID: SPDXRef-95dafa690327465353c05564996ab92d
FileChecksum: SHA1: 84650e713924d89c0645a2853de4b3dfd8e4569a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./examples/test-data/properties/no-overflow.prp
SPDXID: SPDXRef-971b3f4b92a0a759f2eafee2861976f3
FileChecksum: SHA1: 145c90369fac98d0bad0446f8d70047e97937b53
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./examples/test-data/properties/termination.prp
SPDXID: SPDXRef-1f98c8dbf19a5c536d7043bc4f68fd0d
FileChecksum: SHA1: 2ac76f0ec1405230a905272e71f3341432dafeab
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./examples/test-data/properties/unreach-call.prp
SPDXID: SPDXRef-b9979a7e80d14ad84c0107255b3687a7
FileChecksum: SHA1: bbe85ef43e88eba50537feeee0a41bc59562f5e0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./examples/test-data/properties/valid-memcleanup.prp
SPDXID: SPDXRef-02ba80468f6473df7e0eea0c20d476e8
FileChecksum: SHA1: c13c7644300ade463b4d846b34b89a6f43a229e7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./examples/test-data/properties/valid-memsafety.prp
SPDXID: SPDXRef-e54091cc6f29d195113938bb5ebbe96c
FileChecksum: SHA1: 4af2c8d661f09caa4f875bab85bb156d96da1498
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: 2013-2020 Dirk Beyer
FileName: ./examples/test-data/rename/broken.cvt
SPDXID: SPDXRef-966c6c58b0e97b071038092bad369cd2
FileChecksum: SHA1: fb504eafdbbe622410364480d324ce8576c60174
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/rename/renaming.yml
SPDXID: SPDXRef-12a88405daab944189ea897c2dddfed6
FileChecksum: SHA1: 8b950d30c9f2782581dd742301d632b0b050057b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2024 Dirk Beyer
FileName: ./examples/test-data/resources/default.yml
SPDXID: SPDXRef-9152cf03affa3e31993fe3170695eeab
FileChecksum: SHA1: 5af514c975ed16593061c50a723b9dbc06319bec
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/resources/slim.yml
SPDXID: SPDXRef-e7c78564a365f53c3dab8782c3d9cd7f
FileChecksum: SHA1: ba1fd0a44a08f473595302f38fdef2d4bf62aa4c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/tool-archives/dummy-verifier-false.zip
SPDXID: SPDXRef-13da4a99b43566806eb5d867a8dab476
FileChecksum: SHA1: 0e03013a02f04a80810e096962f796aea094ea41
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC0-1.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/test-data/witnesses/ConversionToSignedInt_nooverflow_witness.graphml
SPDXID: SPDXRef-b2b98506f54389fed264bd086a367113
FileChecksum: SHA1: b07d75399465b1dfad6fface328e7e1ce1752ab6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: BSD-2-Clause
FileCopyrightText: SPDX-FileCopyrightText: 2013-2020 University of Freiburg
FileName: ./examples/test-data/witnesses/Problem01_label15_reach_safety.graphml
SPDXID: SPDXRef-181cc08ab5712bbb922498c22a2fae9b
FileChecksum: SHA1: 0cdd7524581cd2f847d821eb15d4043796a03945
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2012-2020 The RERS Challenge organizers
FileName: ./examples/test-data/witnesses/gcnr2008_violation_witness.graphml
SPDXID: SPDXRef-53268ebcbe0685571e35f17dd571fb28
FileChecksum: SHA1: a00cc5cfd568932a284527270879c215c06c58b8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2008-2020 SV-Benchmarks community
FileName: ./examples/tester-specific-version.cvt
SPDXID: SPDXRef-408f5adab5a9377de3c075708da0afd9
FileChecksum: SHA1: 0001f95afc3ce350d6cb7d6f5b632ed1137ed59b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/tester.cvt
SPDXID: SPDXRef-f088247835fd11a729bbebf88c6fd6e1
FileChecksum: SHA1: 4417ed976bdbc38c00f341fbe369a0f9d548157c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/validating-portfolio.cvt
SPDXID: SPDXRef-0804b90155d4abfbf0428e8d030dc5ec
FileChecksum: SHA1: 8af81e861fd284d967bf055cd9e15da51f1d7d46
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/validating-verifier.cvt
SPDXID: SPDXRef-723e3a287c8ef7013d89b1b8116023fc
FileChecksum: SHA1: 74063379ecde98d7b852d2e561a3e008446518a1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/validator-C.cvt
SPDXID: SPDXRef-d4b5b539b08d0a421ccfc1ac5075130e
FileChecksum: SHA1: 36275db1fbd0fc3716b0ea9accc8b334339000fc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/verifier-C-resource.cvt
SPDXID: SPDXRef-742493f646b2e72bdd12b9ec163dc312
FileChecksum: SHA1: 845047db6828ade0dab845403b2880017b3b0e60
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/verifier-C-specific-version.cvt
SPDXID: SPDXRef-ea49786129356caf7a45c757e0217cfc
FileChecksum: SHA1: 8d11020e500e1aa436fe98c6b5c75266d2505bc2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/verifier-C.cvt
SPDXID: SPDXRef-431871e44f27c36bc3a742c219714284
FileChecksum: SHA1: fedda8a2532a5ea236f7d3412f6ee8e095c2a25c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/verifier-Java-specific-version.cvt
SPDXID: SPDXRef-0e19de9b2f4a4d29f1d9ffb163cdafd3
FileChecksum: SHA1: 4f117a3922e3263065623401d5495d147ccd04ad
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/verifier-Java.cvt
SPDXID: SPDXRef-cc4f63efbe6b63950f8051ad1f5bffa1
FileChecksum: SHA1: d780865a1a0bf85b6c7bfb19f5a77567e44e1db4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/verifier-algo-selection.cvt
SPDXID: SPDXRef-fbf0cda7b1ef8cf1378840485f9a8210
FileChecksum: SHA1: f6302254260367c114071a99941f0ee250bc6935
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/verifier-based-tester.cvt
SPDXID: SPDXRef-7988b8e2d86a71fa6d2fd76491f38802
FileChecksum: SHA1: d6c6d81179ee0198a30c3605d877c98a5f6718f2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/verifier-both-data-models.cvt
SPDXID: SPDXRef-b20975da227bd21993a00a74578b3886
FileChecksum: SHA1: ffbe668e5a8a3b16de8232b2d9647f497fcb6f72
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/verifier-monolith-algo-selection.cvt
SPDXID: SPDXRef-b77c35bff06ea41ac19c97363c7008ca
FileChecksum: SHA1: cc425d3e90157e684c64997d60f176cd9fb202f7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./examples/verifierHTML.cvt
SPDXID: SPDXRef-964c0bc9fa46ebb8d9d902981a3745a7
FileChecksum: SHA1: cc3d3c1808d4bd51ad823de42963d757a6d19aa5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./examples/version-picking.cvt
SPDXID: SPDXRef-1e76e246a8d3f475bcec39e1c5df73f4
FileChecksum: SHA1: a47a0e377740f2758ff2e24c1a7191229818a384
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./lib/BenchExec-3.17-py3-none-any.whl
SPDXID: SPDXRef-db2f82ddee22f8ef98a45c2556f9eb9f
FileChecksum: SHA1: 78d4d03c12374efb5a060c856b99c8ac487c690e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: BSD-3-Clause
LicenseInfoInFile: CC-BY-4.0
LicenseInfoInFile: ISC
LicenseInfoInFile: LicenseRef-BSD-3-Clause-CMU
LicenseInfoInFile: MIT
FileCopyrightText: SPDX-FileCopyrightText: The BenchExec authors
FileName: ./lib/PyYAML-6.0-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
SPDXID: SPDXRef-d228e48f748e710edfe0933e389c209f
FileChecksum: SHA1: e96c31e8858ea7b41d69ae0ff3db785e39b80ec1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: SPDX-FileCopyrightText: The PyYAML authors
FileName: ./lib/README.txt
SPDXID: SPDXRef-654927634972836b4ffe0246b012ffe7
FileChecksum: SHA1: fe592c546e6b5b6489567efe9d1bbd0a7bca2155
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./lib/Tempita-0.5.2-cp36-none-any.whl
SPDXID: SPDXRef-a3d67da0eff971347bccd36a6d277a6c
FileChecksum: SHA1: 4c8b9a62b11110abdf629bb99b91a1349ccd8bd5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: SPDX-FileCopyrightText: The tempita authors
FileName: ./lib/antlr4_python3_runtime-4.11.1-py3-none-any.whl
SPDXID: SPDXRef-d7f6f45cf6515c3c7682e7c4862a45a0
FileChecksum: SHA1: 2d73d17f87a8b94d04cc066c2fce8f6f4e5f2ef7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: BSD-3-Clause
FileCopyrightText: SPDX-FileCopyrightText: 2012-2017 The ANTLR Project
FileName: ./lib/certifi-2023.7.22-py3-none-any.whl
SPDXID: SPDXRef-15c832549697e1e39cd2e89b77a1bf10
FileChecksum: SHA1: de0c66405de0f4cf1af76446e7acaad184740d09
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MPL-2.0
FileCopyrightText: SPDX-FileCopyrightText: Kenneth Reitz
FileName: ./lib/chardet-3.0.4-py2.py3-none-any.whl
SPDXID: SPDXRef-73f3006c6fd7c58e23b77c9036ac7e4a
FileChecksum: SHA1: 96faab7de7e9a71b37f22adb64daf2898e967e3e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: LGPL-2.1-only
FileCopyrightText: SPDX-FileCopyrightText: Daniel Blanchard
FileName: ./lib/charset_normalizer-3.3.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
SPDXID: SPDXRef-c151ab8a8470f6fa30814d4ce804f4e7
FileChecksum: SHA1: c1e9b5aaf7c571a862967c3dcc42aafd67c5863f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: SPDX-FileCopyrightText: Ahmed Tahri
FileName: ./lib/coloredlogs-15.0.1-py2.py3-none-any.whl
SPDXID: SPDXRef-a034b5545ec61bb759a2714f81f1c159
FileChecksum: SHA1: b34d286e9701964ccb7de8bf2f58b01d80d72808
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: SPDX-FileCopyrightText: Peter Odding
FileName: ./lib/docker-6.1.3-py3-none-any.whl
SPDXID: SPDXRef-3e7cc0e51b4ab227ff5bc12b6fc9a1f0
FileChecksum: SHA1: 3c2730e8ac472612f50e895735de5e074f8cecc9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: Ulysses Souza
FileName: ./lib/humanfriendly-10.0-py2.py3-none-any.whl
SPDXID: SPDXRef-97e771e939b542f082736581f4d4d1b3
FileChecksum: SHA1: 126b2bbed3776944ef3b380c3eede1548febe474
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: SPDX-FileCopyrightText: Peter Odding
FileName: ./lib/idna-3.4-py3-none-any.whl
SPDXID: SPDXRef-8868929aaeea095dc6de4ad25bf46147
FileChecksum: SHA1: 4460f34853efc88e4b14ea5e0e3fa7959b3f0c29
LicenseConcluded: NOASSERTION
LicenseInfoInFile: BSD-3-Clause
FileCopyrightText: SPDX-FileCopyrightText: Kim Davies
FileName: ./lib/packaging-23.0-py3-none-any.whl
SPDXID: SPDXRef-9a467dea078ea7526135855a20987e5c
FileChecksum: SHA1: a09b54d249a7dd30e07b81a3e053a975acdd0a1d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: BSD-3-Clause
FileCopyrightText: SPDX-FileCopyrightText: Donald Stufft
FileName: ./lib/pyrate_limiter-2.10.0-py3-none-any.whl
SPDXID: SPDXRef-33ba69bb39d1c5e0226aea798f87c9a9
FileChecksum: SHA1: 27e351ba94c3832a458c37084389c5e83278bd70
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: SPDX-FileCopyrightText: vutran1710
FileName: ./lib/requests-2.31.0-py3-none-any.whl
SPDXID: SPDXRef-7a52bbee3d2c6c05c8c1bcc44dd429c9
FileChecksum: SHA1: 60b928b15e05d04a33b880a0232e44258c777740
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: Kenneth Reitz
FileName: ./lib/requests_ratelimiter-0.4.2-py3-none-any.whl
SPDXID: SPDXRef-6755508fa71487eaa553c994784fb454
FileChecksum: SHA1: 9acb0dab8231371429221700faf307f63778207c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: SPDX-FileCopyrightText: Jordan Cook
FileName: ./lib/requirements.txt
SPDXID: SPDXRef-b639dda5c601196205664161eefa46ee
FileChecksum: SHA1: 7d0097d08778744ee3d12b1dd0b007d5c743108a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./lib/tqdm-4.64.1-py2.py3-none-any.whl
SPDXID: SPDXRef-59af8eccb30812e4a465c25c34607d52
FileChecksum: SHA1: fd6ba9357618cce524c4fce12f93f1fc0f04397e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MPL-2.0
FileCopyrightText: SPDX-FileCopyrightText: Casper da Costa-Luis
FileName: ./lib/urllib3-2.0.7-py3-none-any.whl
SPDXID: SPDXRef-3b7e3aeb0c52d7789747783d3692cb1f
FileChecksum: SHA1: e71086ed40e46dbc6920eba4f050bc573d247843
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: SPDX-FileCopyrightText: Andrey Petrov
FileName: ./lib/websocket_client-1.5.1-py3-none-any.whl
SPDXID: SPDXRef-275d9d2c693dc8fc808f16aafea9bb36
FileChecksum: SHA1: f5e89f5af4435120a1eff23ca972ac5e1bd23647
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: liris
FileName: ./minor_release.sh
SPDXID: SPDXRef-003f555db774f93f627c91165b4c6a51
FileChecksum: SHA1: bc98f7a4c8ffc1baed7d0cbd68b6aa2eda9bbbd6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./release.sh
SPDXID: SPDXRef-b6163056109f823edbbe99dd5a2b3c73
FileChecksum: SHA1: 448404ca07c5467f4834b9a5aa16e1d8075ed29c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./setup.py
SPDXID: SPDXRef-b93d4916742f0c95b52de52ab318fa66
FileChecksum: SHA1: fac3b1bc0783a51c7e765b7c41ba1470aea0e756
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./smoke_test_all_tools.sh
SPDXID: SPDXRef-a6cea3cd941e6ed7b91b72302a0bae9a
FileChecksum: SHA1: 8d85d8d66342e6116d7f7a998d607f416870b9af
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./test/Dockerfile.python-3.10
SPDXID: SPDXRef-f0950371dd3422464e4f4fd34e1b48ab
FileChecksum: SHA1: 984adf94444444c00a273cf1a89f95ddba829566
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2019-2020 Dirk Beyer
FileName: ./test/Dockerfile.python-3.12
SPDXID: SPDXRef-db5f86405677c0ec1a46ad7e1a2dbec1
FileChecksum: SHA1: 5ff15808416c6bdd9331c506a1ff15195fb1adbf
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2019-2020 Dirk Beyer
FileName: ./test/Dockerfile.python-3.8
SPDXID: SPDXRef-a5cd7c09bf0e050a2302ce7e4cf65807
FileChecksum: SHA1: ec6b7c394688a37f55eed84ed9e09ea9f03bcdeb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2019-2020 Dirk Beyer
FileName: ./test/for_each_of_my_cgroups.sh
SPDXID: SPDXRef-1eecb10d5c930341559ac8fbefaaa3ee
FileChecksum: SHA1: 72876a63af5f41617dbe61426cb896f0ff11e492
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2007-2020 Dirk Beyer
FileName: ./test/test_actor_config.py
SPDXID: SPDXRef-e09e466384fa2b05f7f4e376e29228a5
FileChecksum: SHA1: e6c46c7515449d430c02bb176d62f7e97cfd443d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./test/test_cCegar.py
SPDXID: SPDXRef-0605a875eaf4b8c6c43dbc6f0c98018c
FileChecksum: SHA1: 2d7f1f98ca68d08fdd0eb60988d6515d3a32bcdc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./test/test_download_url.py
SPDXID: SPDXRef-4b2a7acd5d8987f80f6bc8d89d062dcb
FileChecksum: SHA1: 1e3b1ecbda7b7324169e24193701d740890ab68d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2021 Dirk Beyer
FileName: ./test/test_file_renaming.py
SPDXID: SPDXRef-47cacddf0b4aeee55521651b8cb05228
FileChecksum: SHA1: 26033bdcbca441dd5d4e9b12c9640bad94f24229
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2024 Dirk Beyer
FileName: ./test/test_portfolio.py
SPDXID: SPDXRef-9044811865c3c5a2fb0c4efdd6a449f9
FileChecksum: SHA1: f950b92f4a12703165300cdc41afbd4b51494e3d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./test/test_tutorial.py
SPDXID: SPDXRef-f97de341d8ba64238914d09e98bd4dac
FileChecksum: SHA1: 9dbf0d1fa8ea367f5ef4efdb68e849fb5c41bbe8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./test/test_util.py
SPDXID: SPDXRef-46127c0be091d46507be944da7fe438c
FileChecksum: SHA1: 3b92e6addbb198bd9e15d33e30a7dfbef9463b73
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./test/test_util_functions.py
SPDXID: SPDXRef-8f3156aed42c1165fe27114c718751db
FileChecksum: SHA1: e01655db24cd5e3dee43b6a33b5ee19311203126
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2023 Dirk Beyer
FileName: ./test/tests.py
SPDXID: SPDXRef-39925f8bfad5c59c8cb5d7233d9461a5
FileChecksum: SHA1: 03b9851f510492ae5ec3032faf39a63f30e068aa
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
FileName: ./utils/antlr-4.11.1-complete.jar
SPDXID: SPDXRef-f862e055b6a495e4fbb81f2fc85db79b
FileChecksum: SHA1: 3ed3b2fcdebbbd578a3dc17bf597e500dbdda412
LicenseConcluded: NOASSERTION
LicenseInfoInFile: BSD-3-Clause
FileCopyrightText: SPDX-FileCopyrightText: 2012 Terence Parr and Sam Harwell
FileName: ./utils/cvt-inner-time
SPDXID: SPDXRef-46e5b4bed0bff1cfe5c73fd483cddf0a
FileChecksum: SHA1: 12f92b4da1c87eee736d2f17cbe0e07dcd9c629c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: SPDX-FileCopyrightText: 2020 Dirk Beyer
LicenseID: LicenseRef-BSD-3-Clause-CMU
LicenseName: NOASSERTION
ExtractedText: Copyright (c) 2015 Carnegie Mellon University.
All Rights Reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are
met:
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following acknowledgments and
disclaimers.
2. Redistributions in binary form must reproduce the
above copyright notice, this list of conditions and the following
acknowledgments and disclaimers in the documentation and/or other
materials provided with the distribution.
3. Products derived from this software may not include “Carnegie
Mellon University,” "SEI” and/or “Software Engineering Institute" in
the name of such derived product, nor shall “Carnegie Mellon
University,” "SEI” and/or “Software Engineering Institute" be used to
endorse or promote products derived from this software without prior
written permission. For written permission, please contact
permission@sei.cmu.edu.
ACKNOWLEDGMENTS AND DISCLAIMERS:
Copyright 2015 Carnegie Mellon University
This material is based upon work funded and supported by the
Department of Defense under Contract No. FA8721-05-C-0003 with
Carnegie Mellon University for the operation of the Software
Engineering Institute, a federally funded research and development
center. Moreover, this work is funded by NASA NRA Contract No. NNX14AI09G
and NSF Award No. 1422705
Any opinions, findings and conclusions or recommendations expressed in
this material are those of the author(s) and do not necessarily
reflect the views of the United States Department of Defense, NASA or NSF.
NO WARRANTY. THIS CARNEGIE MELLON UNIVERSITY AND SOFTWARE ENGINEERING
INSTITUTE MATERIAL IS FURNISHED ON AN “AS-IS” BASIS. CARNEGIE MELLON
UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER EXPRESSED OR
IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO, WARRANTY OF
FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS
OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT
MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT,
TRADEMARK, OR COPYRIGHT INFRINGEMENT.
This material has been approved for public release and unlimited
distribution.