From 855b7835f6ba8c52475cb41bd8552aa143609b9c Mon Sep 17 00:00:00 2001 From: Massimo Zaniboni Date: Tue, 1 Jun 2021 17:19:24 +0200 Subject: [PATCH 1/5] Added license header to each source code file --- COPYING | 674 ++++++++++++++++++ LICENSE => COPYING.LESSER | 4 +- README.md | 41 +- historical/prototype.rkt | 3 + syndicate-examples/box-and-client.rkt | 3 + syndicate-examples/chat-client.rkt | 3 + .../chat-server-nested-dataspace.rkt | 3 + syndicate-examples/chat-server.rkt | 3 + syndicate-examples/echo.rkt | 3 + syndicate-examples/filesystem.rkt | 3 + syndicate-examples/gl-2d-basic.rkt | 3 + syndicate-examples/gl-2d-clock-face.rkt | 3 + syndicate-examples/gl-2d-many.rkt | 3 + syndicate-examples/gl-2d-platformer.rkt | 3 + syndicate-examples/gui/gui.rkt | 3 + syndicate-examples/gui/hsv.rkt | 3 + syndicate-examples/gui/layout/layout.rkt | 3 + syndicate-examples/gui/layout/main.rkt | 3 + syndicate-examples/gui/layout/sizing.rkt | 3 + syndicate-examples/info.rkt | 3 + syndicate-examples/ircd/channel.rkt | 3 + syndicate-examples/ircd/config.rkt | 3 + syndicate-examples/ircd/dynamic-main.rkt | 3 + syndicate-examples/ircd/greeter.rkt | 3 + syndicate-examples/ircd/main.rkt | 3 + syndicate-examples/ircd/message.rkt | 3 + syndicate-examples/ircd/protocol.rkt | 3 + syndicate-examples/ircd/session.rkt | 3 + syndicate-examples/netstack/arp.rkt | 3 + syndicate-examples/netstack/checksum.rkt | 3 + syndicate-examples/netstack/configuration.rkt | 3 + syndicate-examples/netstack/demo-config.rkt | 3 + syndicate-examples/netstack/dump-bytes.rkt | 3 + syndicate-examples/netstack/ethernet.rkt | 3 + syndicate-examples/netstack/fetchurl.rkt | 3 + syndicate-examples/netstack/ip.rkt | 3 + syndicate-examples/netstack/main.rkt | 3 + .../netstack/port-allocator.rkt | 3 + syndicate-examples/netstack/tcp.rkt | 3 + syndicate-examples/netstack/udp.rkt | 3 + syndicate-examples/santa.rkt | 3 + syndicate-examples/server-chat-client.rkt | 3 + syndicate-examples/simple-cross-layer.rkt | 3 + syndicate-examples/sqlite.rkt | 3 + syndicate-examples/stdin-echo.rkt | 3 + syndicate-examples/time.rkt | 3 + syndicate-examples/udp-echo.rkt | 3 + syndicate-examples/udp-multicast.rkt | 3 + syndicate-examples/web-core.rkt | 3 + syndicate/assertions.rkt | 3 + syndicate/bag.rkt | 3 + syndicate/bin/syndicate-server-debug.rkt | 3 + syndicate/bin/syndicate-server.rkt | 3 + syndicate/dataflow.rkt | 3 + syndicate/dataspace.rkt | 3 + syndicate/distributed.rkt | 3 + syndicate/distributed/buffer.rkt | 3 + syndicate/distributed/client.rkt | 3 + syndicate/distributed/client/loopback.rkt | 3 + syndicate/distributed/client/tcp.rkt | 3 + syndicate/distributed/federation.rkt | 3 + syndicate/distributed/heartbeat.rkt | 3 + syndicate/distributed/internal-protocol.rkt | 3 + syndicate/distributed/main.rkt | 3 + syndicate/distributed/protocol.rkt | 3 + syndicate/distributed/server.rkt | 3 + syndicate/distributed/server/tcp.rkt | 3 + syndicate/distributed/server/websocket.rkt | 3 + syndicate/distributed/turn.rkt | 3 + syndicate/distributed/wire-protocol.rkt | 3 + syndicate/drivers/config.rkt | 3 + syndicate/drivers/external-event.rkt | 3 + syndicate/drivers/filesystem.rkt | 3 + syndicate/drivers/gl-2d.rkt | 3 + syndicate/drivers/gl-2d/affine.rkt | 3 + syndicate/drivers/gl-2d/texture.rkt | 3 + syndicate/drivers/sqlite.rkt | 3 + syndicate/drivers/tcp.rkt | 3 + syndicate/drivers/timer.rkt | 3 + syndicate/drivers/udp.rkt | 3 + syndicate/drivers/web.rkt | 3 + syndicate/event-expander.rkt | 3 + syndicate/functional-queue.rkt | 3 + syndicate/ground.rkt | 3 + syndicate/info.rkt | 3 + syndicate/lang.rkt | 3 + syndicate/main.rkt | 3 + syndicate/mc/mc-chat-client.rkt | 3 + syndicate/mc/udp-dataspace.rkt | 3 + syndicate/pattern-expander.rkt | 3 + syndicate/pattern.rkt | 3 + syndicate/protocol/credit.rkt | 3 + syndicate/protocol/instance.rkt | 3 + syndicate/reassert.rkt | 3 + syndicate/reflection.rkt | 3 + syndicate/relay.rkt | 3 + syndicate/reload.rkt | 3 + syndicate/skeleton.rkt | 3 + syndicate/supervise.rkt | 3 + syndicate/support/bytes.rkt | 3 + syndicate/support/hash.rkt | 3 + syndicate/support/struct.rkt | 3 + syndicate/syntax-classes.rkt | 3 + syndicate/syntax.rkt | 3 + syndicate/term.rkt | 3 + syndicate/test-implementation.rkt | 3 + .../test/core/abandon-actions-on-exn.rkt | 3 + .../test/core/clean-adhoc-on-termination.rkt | 3 + syndicate/test/core/complex-pattern.rkt | 3 + .../test/core/correct-retraction-on-exn.rkt | 3 + syndicate/test/core/death-during-startup.rkt | 3 + syndicate/test/core/death-during-turn.rkt | 3 + syndicate/test/core/double-cross-layer.rkt | 3 + .../core/during-criterion-snapshotting.rkt | 3 + syndicate/test/core/nesting-confusion-2.rkt | 3 + syndicate/test/core/nesting-confusion.rkt | 3 + syndicate/test/core/partial-retraction.rkt | 3 + syndicate/test/core/pending-changes.rkt | 3 + .../test/core/responsibility-transfer-1.rkt | 3 + .../test/core/responsibility-transfer-2.rkt | 3 + syndicate/test/core/simple-addition.rkt | 3 + syndicate/test/core/simple-box-and-client.rkt | 3 + syndicate/test/core/simple-cross-layer.rkt | 3 + syndicate/test/core/spawn-and-send.rkt | 3 + syndicate/test/core/state-machine.rkt | 3 + syndicate/test/core/supervise.rkt | 3 + .../test/distributed/nesting-confusion.rkt | 3 + .../distributed/observation-visibility.rkt | 3 + syndicate/test/pattern-test.rkt | 3 + syndicate/test/raw-dataspace.rkt | 3 + syndicate/test/speed/speed-box-and-client.rkt | 3 + .../test/speed/speed-message-sending.rkt | 3 + 132 files changed, 1092 insertions(+), 14 deletions(-) create mode 100644 COPYING rename LICENSE => COPYING.LESSER (98%) diff --git a/COPYING b/COPYING new file mode 100644 index 0000000..f288702 --- /dev/null +++ b/COPYING @@ -0,0 +1,674 @@ + GNU GENERAL PUBLIC LICENSE + Version 3, 29 June 2007 + + Copyright (C) 2007 Free Software Foundation, Inc. + Everyone is permitted to copy and distribute verbatim copies + of this license document, but changing it is not allowed. + + Preamble + + The GNU General Public License is a free, copyleft license for +software and other kinds of works. + + The licenses for most software and other practical works are designed +to take away your freedom to share and change the works. By contrast, +the GNU General Public License is intended to guarantee your freedom to +share and change all versions of a program--to make sure it remains free +software for all its users. We, the Free Software Foundation, use the +GNU General Public License for most of our software; it applies also to +any other work released this way by its authors. You can apply it to +your programs, too. + + When we speak of free software, we are referring to freedom, not +price. Our General Public Licenses are designed to make sure that you +have the freedom to distribute copies of free software (and charge for +them if you wish), that you receive source code or can get it if you +want it, that you can change the software or use pieces of it in new +free programs, and that you know you can do these things. + + To protect your rights, we need to prevent others from denying you +these rights or asking you to surrender the rights. Therefore, you have +certain responsibilities if you distribute copies of the software, or if +you modify it: responsibilities to respect the freedom of others. + + For example, if you distribute copies of such a program, whether +gratis or for a fee, you must pass on to the recipients the same +freedoms that you received. You must make sure that they, too, receive +or can get the source code. And you must show them these terms so they +know their rights. + + Developers that use the GNU GPL protect your rights with two steps: +(1) assert copyright on the software, and (2) offer you this License +giving you legal permission to copy, distribute and/or modify it. + + For the developers' and authors' protection, the GPL clearly explains +that there is no warranty for this free software. For both users' and +authors' sake, the GPL requires that modified versions be marked as +changed, so that their problems will not be attributed erroneously to +authors of previous versions. + + Some devices are designed to deny users access to install or run +modified versions of the software inside them, although the manufacturer +can do so. This is fundamentally incompatible with the aim of +protecting users' freedom to change the software. The systematic +pattern of such abuse occurs in the area of products for individuals to +use, which is precisely where it is most unacceptable. Therefore, we +have designed this version of the GPL to prohibit the practice for those +products. If such problems arise substantially in other domains, we +stand ready to extend this provision to those domains in future versions +of the GPL, as needed to protect the freedom of users. + + Finally, every program is threatened constantly by software patents. +States should not allow patents to restrict development and use of +software on general-purpose computers, but in those that do, we wish to +avoid the special danger that patents applied to a free program could +make it effectively proprietary. To prevent this, the GPL assures that +patents cannot be used to render the program non-free. + + The precise terms and conditions for copying, distribution and +modification follow. + + TERMS AND CONDITIONS + + 0. Definitions. + + "This License" refers to version 3 of the GNU General Public License. + + "Copyright" also means copyright-like laws that apply to other kinds of +works, such as semiconductor masks. + + "The Program" refers to any copyrightable work licensed under this +License. Each licensee is addressed as "you". "Licensees" and +"recipients" may be individuals or organizations. + + To "modify" a work means to copy from or adapt all or part of the work +in a fashion requiring copyright permission, other than the making of an +exact copy. The resulting work is called a "modified version" of the +earlier work or a work "based on" the earlier work. + + A "covered work" means either the unmodified Program or a work based +on the Program. + + To "propagate" a work means to do anything with it that, without +permission, would make you directly or secondarily liable for +infringement under applicable copyright law, except executing it on a +computer or modifying a private copy. Propagation includes copying, +distribution (with or without modification), making available to the +public, and in some countries other activities as well. + + To "convey" a work means any kind of propagation that enables other +parties to make or receive copies. Mere interaction with a user through +a computer network, with no transfer of a copy, is not conveying. + + An interactive user interface displays "Appropriate Legal Notices" +to the extent that it includes a convenient and prominently visible +feature that (1) displays an appropriate copyright notice, and (2) +tells the user that there is no warranty for the work (except to the +extent that warranties are provided), that licensees may convey the +work under this License, and how to view a copy of this License. If +the interface presents a list of user commands or options, such as a +menu, a prominent item in the list meets this criterion. + + 1. Source Code. + + The "source code" for a work means the preferred form of the work +for making modifications to it. "Object code" means any non-source +form of a work. + + A "Standard Interface" means an interface that either is an official +standard defined by a recognized standards body, or, in the case of +interfaces specified for a particular programming language, one that +is widely used among developers working in that language. + + The "System Libraries" of an executable work include anything, other +than the work as a whole, that (a) is included in the normal form of +packaging a Major Component, but which is not part of that Major +Component, and (b) serves only to enable use of the work with that +Major Component, or to implement a Standard Interface for which an +implementation is available to the public in source code form. A +"Major Component", in this context, means a major essential component +(kernel, window system, and so on) of the specific operating system +(if any) on which the executable work runs, or a compiler used to +produce the work, or an object code interpreter used to run it. + + The "Corresponding Source" for a work in object code form means all +the source code needed to generate, install, and (for an executable +work) run the object code and to modify the work, including scripts to +control those activities. However, it does not include the work's +System Libraries, or general-purpose tools or generally available free +programs which are used unmodified in performing those activities but +which are not part of the work. For example, Corresponding Source +includes interface definition files associated with source files for +the work, and the source code for shared libraries and dynamically +linked subprograms that the work is specifically designed to require, +such as by intimate data communication or control flow between those +subprograms and other parts of the work. + + The Corresponding Source need not include anything that users +can regenerate automatically from other parts of the Corresponding +Source. + + The Corresponding Source for a work in source code form is that +same work. + + 2. Basic Permissions. + + All rights granted under this License are granted for the term of +copyright on the Program, and are irrevocable provided the stated +conditions are met. This License explicitly affirms your unlimited +permission to run the unmodified Program. The output from running a +covered work is covered by this License only if the output, given its +content, constitutes a covered work. This License acknowledges your +rights of fair use or other equivalent, as provided by copyright law. + + You may make, run and propagate covered works that you do not +convey, without conditions so long as your license otherwise remains +in force. You may convey covered works to others for the sole purpose +of having them make modifications exclusively for you, or provide you +with facilities for running those works, provided that you comply with +the terms of this License in conveying all material for which you do +not control copyright. Those thus making or running the covered works +for you must do so exclusively on your behalf, under your direction +and control, on terms that prohibit them from making any copies of +your copyrighted material outside their relationship with you. + + Conveying under any other circumstances is permitted solely under +the conditions stated below. Sublicensing is not allowed; section 10 +makes it unnecessary. + + 3. Protecting Users' Legal Rights From Anti-Circumvention Law. + + No covered work shall be deemed part of an effective technological +measure under any applicable law fulfilling obligations under article +11 of the WIPO copyright treaty adopted on 20 December 1996, or +similar laws prohibiting or restricting circumvention of such +measures. + + When you convey a covered work, you waive any legal power to forbid +circumvention of technological measures to the extent such circumvention +is effected by exercising rights under this License with respect to +the covered work, and you disclaim any intention to limit operation or +modification of the work as a means of enforcing, against the work's +users, your or third parties' legal rights to forbid circumvention of +technological measures. + + 4. Conveying Verbatim Copies. + + You may convey verbatim copies of the Program's source code as you +receive it, in any medium, provided that you conspicuously and +appropriately publish on each copy an appropriate copyright notice; +keep intact all notices stating that this License and any +non-permissive terms added in accord with section 7 apply to the code; +keep intact all notices of the absence of any warranty; and give all +recipients a copy of this License along with the Program. + + You may charge any price or no price for each copy that you convey, +and you may offer support or warranty protection for a fee. + + 5. Conveying Modified Source Versions. + + You may convey a work based on the Program, or the modifications to +produce it from the Program, in the form of source code under the +terms of section 4, provided that you also meet all of these conditions: + + a) The work must carry prominent notices stating that you modified + it, and giving a relevant date. + + b) The work must carry prominent notices stating that it is + released under this License and any conditions added under section + 7. This requirement modifies the requirement in section 4 to + "keep intact all notices". + + c) You must license the entire work, as a whole, under this + License to anyone who comes into possession of a copy. This + License will therefore apply, along with any applicable section 7 + additional terms, to the whole of the work, and all its parts, + regardless of how they are packaged. This License gives no + permission to license the work in any other way, but it does not + invalidate such permission if you have separately received it. + + d) If the work has interactive user interfaces, each must display + Appropriate Legal Notices; however, if the Program has interactive + interfaces that do not display Appropriate Legal Notices, your + work need not make them do so. + + A compilation of a covered work with other separate and independent +works, which are not by their nature extensions of the covered work, +and which are not combined with it such as to form a larger program, +in or on a volume of a storage or distribution medium, is called an +"aggregate" if the compilation and its resulting copyright are not +used to limit the access or legal rights of the compilation's users +beyond what the individual works permit. Inclusion of a covered work +in an aggregate does not cause this License to apply to the other +parts of the aggregate. + + 6. Conveying Non-Source Forms. + + You may convey a covered work in object code form under the terms +of sections 4 and 5, provided that you also convey the +machine-readable Corresponding Source under the terms of this License, +in one of these ways: + + a) Convey the object code in, or embodied in, a physical product + (including a physical distribution medium), accompanied by the + Corresponding Source fixed on a durable physical medium + customarily used for software interchange. + + b) Convey the object code in, or embodied in, a physical product + (including a physical distribution medium), accompanied by a + written offer, valid for at least three years and valid for as + long as you offer spare parts or customer support for that product + model, to give anyone who possesses the object code either (1) a + copy of the Corresponding Source for all the software in the + product that is covered by this License, on a durable physical + medium customarily used for software interchange, for a price no + more than your reasonable cost of physically performing this + conveying of source, or (2) access to copy the + Corresponding Source from a network server at no charge. + + c) Convey individual copies of the object code with a copy of the + written offer to provide the Corresponding Source. This + alternative is allowed only occasionally and noncommercially, and + only if you received the object code with such an offer, in accord + with subsection 6b. + + d) Convey the object code by offering access from a designated + place (gratis or for a charge), and offer equivalent access to the + Corresponding Source in the same way through the same place at no + further charge. You need not require recipients to copy the + Corresponding Source along with the object code. If the place to + copy the object code is a network server, the Corresponding Source + may be on a different server (operated by you or a third party) + that supports equivalent copying facilities, provided you maintain + clear directions next to the object code saying where to find the + Corresponding Source. Regardless of what server hosts the + Corresponding Source, you remain obligated to ensure that it is + available for as long as needed to satisfy these requirements. + + e) Convey the object code using peer-to-peer transmission, provided + you inform other peers where the object code and Corresponding + Source of the work are being offered to the general public at no + charge under subsection 6d. + + A separable portion of the object code, whose source code is excluded +from the Corresponding Source as a System Library, need not be +included in conveying the object code work. + + A "User Product" is either (1) a "consumer product", which means any +tangible personal property which is normally used for personal, family, +or household purposes, or (2) anything designed or sold for incorporation +into a dwelling. In determining whether a product is a consumer product, +doubtful cases shall be resolved in favor of coverage. For a particular +product received by a particular user, "normally used" refers to a +typical or common use of that class of product, regardless of the status +of the particular user or of the way in which the particular user +actually uses, or expects or is expected to use, the product. A product +is a consumer product regardless of whether the product has substantial +commercial, industrial or non-consumer uses, unless such uses represent +the only significant mode of use of the product. + + "Installation Information" for a User Product means any methods, +procedures, authorization keys, or other information required to install +and execute modified versions of a covered work in that User Product from +a modified version of its Corresponding Source. The information must +suffice to ensure that the continued functioning of the modified object +code is in no case prevented or interfered with solely because +modification has been made. + + If you convey an object code work under this section in, or with, or +specifically for use in, a User Product, and the conveying occurs as +part of a transaction in which the right of possession and use of the +User Product is transferred to the recipient in perpetuity or for a +fixed term (regardless of how the transaction is characterized), the +Corresponding Source conveyed under this section must be accompanied +by the Installation Information. But this requirement does not apply +if neither you nor any third party retains the ability to install +modified object code on the User Product (for example, the work has +been installed in ROM). + + The requirement to provide Installation Information does not include a +requirement to continue to provide support service, warranty, or updates +for a work that has been modified or installed by the recipient, or for +the User Product in which it has been modified or installed. Access to a +network may be denied when the modification itself materially and +adversely affects the operation of the network or violates the rules and +protocols for communication across the network. + + Corresponding Source conveyed, and Installation Information provided, +in accord with this section must be in a format that is publicly +documented (and with an implementation available to the public in +source code form), and must require no special password or key for +unpacking, reading or copying. + + 7. Additional Terms. + + "Additional permissions" are terms that supplement the terms of this +License by making exceptions from one or more of its conditions. +Additional permissions that are applicable to the entire Program shall +be treated as though they were included in this License, to the extent +that they are valid under applicable law. If additional permissions +apply only to part of the Program, that part may be used separately +under those permissions, but the entire Program remains governed by +this License without regard to the additional permissions. + + When you convey a copy of a covered work, you may at your option +remove any additional permissions from that copy, or from any part of +it. (Additional permissions may be written to require their own +removal in certain cases when you modify the work.) You may place +additional permissions on material, added by you to a covered work, +for which you have or can give appropriate copyright permission. + + Notwithstanding any other provision of this License, for material you +add to a covered work, you may (if authorized by the copyright holders of +that material) supplement the terms of this License with terms: + + a) Disclaiming warranty or limiting liability differently from the + terms of sections 15 and 16 of this License; or + + b) Requiring preservation of specified reasonable legal notices or + author attributions in that material or in the Appropriate Legal + Notices displayed by works containing it; or + + c) Prohibiting misrepresentation of the origin of that material, or + requiring that modified versions of such material be marked in + reasonable ways as different from the original version; or + + d) Limiting the use for publicity purposes of names of licensors or + authors of the material; or + + e) Declining to grant rights under trademark law for use of some + trade names, trademarks, or service marks; or + + f) Requiring indemnification of licensors and authors of that + material by anyone who conveys the material (or modified versions of + it) with contractual assumptions of liability to the recipient, for + any liability that these contractual assumptions directly impose on + those licensors and authors. + + All other non-permissive additional terms are considered "further +restrictions" within the meaning of section 10. If the Program as you +received it, or any part of it, contains a notice stating that it is +governed by this License along with a term that is a further +restriction, you may remove that term. If a license document contains +a further restriction but permits relicensing or conveying under this +License, you may add to a covered work material governed by the terms +of that license document, provided that the further restriction does +not survive such relicensing or conveying. + + If you add terms to a covered work in accord with this section, you +must place, in the relevant source files, a statement of the +additional terms that apply to those files, or a notice indicating +where to find the applicable terms. + + Additional terms, permissive or non-permissive, may be stated in the +form of a separately written license, or stated as exceptions; +the above requirements apply either way. + + 8. Termination. + + You may not propagate or modify a covered work except as expressly +provided under this License. Any attempt otherwise to propagate or +modify it is void, and will automatically terminate your rights under +this License (including any patent licenses granted under the third +paragraph of section 11). + + However, if you cease all violation of this License, then your +license from a particular copyright holder is reinstated (a) +provisionally, unless and until the copyright holder explicitly and +finally terminates your license, and (b) permanently, if the copyright +holder fails to notify you of the violation by some reasonable means +prior to 60 days after the cessation. + + Moreover, your license from a particular copyright holder is +reinstated permanently if the copyright holder notifies you of the +violation by some reasonable means, this is the first time you have +received notice of violation of this License (for any work) from that +copyright holder, and you cure the violation prior to 30 days after +your receipt of the notice. + + Termination of your rights under this section does not terminate the +licenses of parties who have received copies or rights from you under +this License. If your rights have been terminated and not permanently +reinstated, you do not qualify to receive new licenses for the same +material under section 10. + + 9. Acceptance Not Required for Having Copies. + + You are not required to accept this License in order to receive or +run a copy of the Program. Ancillary propagation of a covered work +occurring solely as a consequence of using peer-to-peer transmission +to receive a copy likewise does not require acceptance. However, +nothing other than this License grants you permission to propagate or +modify any covered work. These actions infringe copyright if you do +not accept this License. Therefore, by modifying or propagating a +covered work, you indicate your acceptance of this License to do so. + + 10. Automatic Licensing of Downstream Recipients. + + Each time you convey a covered work, the recipient automatically +receives a license from the original licensors, to run, modify and +propagate that work, subject to this License. You are not responsible +for enforcing compliance by third parties with this License. + + An "entity transaction" is a transaction transferring control of an +organization, or substantially all assets of one, or subdividing an +organization, or merging organizations. If propagation of a covered +work results from an entity transaction, each party to that +transaction who receives a copy of the work also receives whatever +licenses to the work the party's predecessor in interest had or could +give under the previous paragraph, plus a right to possession of the +Corresponding Source of the work from the predecessor in interest, if +the predecessor has it or can get it with reasonable efforts. + + You may not impose any further restrictions on the exercise of the +rights granted or affirmed under this License. For example, you may +not impose a license fee, royalty, or other charge for exercise of +rights granted under this License, and you may not initiate litigation +(including a cross-claim or counterclaim in a lawsuit) alleging that +any patent claim is infringed by making, using, selling, offering for +sale, or importing the Program or any portion of it. + + 11. Patents. + + A "contributor" is a copyright holder who authorizes use under this +License of the Program or a work on which the Program is based. The +work thus licensed is called the contributor's "contributor version". + + A contributor's "essential patent claims" are all patent claims +owned or controlled by the contributor, whether already acquired or +hereafter acquired, that would be infringed by some manner, permitted +by this License, of making, using, or selling its contributor version, +but do not include claims that would be infringed only as a +consequence of further modification of the contributor version. For +purposes of this definition, "control" includes the right to grant +patent sublicenses in a manner consistent with the requirements of +this License. + + Each contributor grants you a non-exclusive, worldwide, royalty-free +patent license under the contributor's essential patent claims, to +make, use, sell, offer for sale, import and otherwise run, modify and +propagate the contents of its contributor version. + + In the following three paragraphs, a "patent license" is any express +agreement or commitment, however denominated, not to enforce a patent +(such as an express permission to practice a patent or covenant not to +sue for patent infringement). To "grant" such a patent license to a +party means to make such an agreement or commitment not to enforce a +patent against the party. + + If you convey a covered work, knowingly relying on a patent license, +and the Corresponding Source of the work is not available for anyone +to copy, free of charge and under the terms of this License, through a +publicly available network server or other readily accessible means, +then you must either (1) cause the Corresponding Source to be so +available, or (2) arrange to deprive yourself of the benefit of the +patent license for this particular work, or (3) arrange, in a manner +consistent with the requirements of this License, to extend the patent +license to downstream recipients. "Knowingly relying" means you have +actual knowledge that, but for the patent license, your conveying the +covered work in a country, or your recipient's use of the covered work +in a country, would infringe one or more identifiable patents in that +country that you have reason to believe are valid. + + If, pursuant to or in connection with a single transaction or +arrangement, you convey, or propagate by procuring conveyance of, a +covered work, and grant a patent license to some of the parties +receiving the covered work authorizing them to use, propagate, modify +or convey a specific copy of the covered work, then the patent license +you grant is automatically extended to all recipients of the covered +work and works based on it. + + A patent license is "discriminatory" if it does not include within +the scope of its coverage, prohibits the exercise of, or is +conditioned on the non-exercise of one or more of the rights that are +specifically granted under this License. You may not convey a covered +work if you are a party to an arrangement with a third party that is +in the business of distributing software, under which you make payment +to the third party based on the extent of your activity of conveying +the work, and under which the third party grants, to any of the +parties who would receive the covered work from you, a discriminatory +patent license (a) in connection with copies of the covered work +conveyed by you (or copies made from those copies), or (b) primarily +for and in connection with specific products or compilations that +contain the covered work, unless you entered into that arrangement, +or that patent license was granted, prior to 28 March 2007. + + Nothing in this License shall be construed as excluding or limiting +any implied license or other defenses to infringement that may +otherwise be available to you under applicable patent law. + + 12. No Surrender of Others' Freedom. + + If conditions are imposed on you (whether by court order, agreement or +otherwise) that contradict the conditions of this License, they do not +excuse you from the conditions of this License. If you cannot convey a +covered work so as to satisfy simultaneously your obligations under this +License and any other pertinent obligations, then as a consequence you may +not convey it at all. For example, if you agree to terms that obligate you +to collect a royalty for further conveying from those to whom you convey +the Program, the only way you could satisfy both those terms and this +License would be to refrain entirely from conveying the Program. + + 13. Use with the GNU Affero General Public License. + + Notwithstanding any other provision of this License, you have +permission to link or combine any covered work with a work licensed +under version 3 of the GNU Affero General Public License into a single +combined work, and to convey the resulting work. The terms of this +License will continue to apply to the part which is the covered work, +but the special requirements of the GNU Affero General Public License, +section 13, concerning interaction through a network will apply to the +combination as such. + + 14. Revised Versions of this License. + + The Free Software Foundation may publish revised and/or new versions of +the GNU General Public License from time to time. Such new versions will +be similar in spirit to the present version, but may differ in detail to +address new problems or concerns. + + Each version is given a distinguishing version number. If the +Program specifies that a certain numbered version of the GNU General +Public License "or any later version" applies to it, you have the +option of following the terms and conditions either of that numbered +version or of any later version published by the Free Software +Foundation. If the Program does not specify a version number of the +GNU General Public License, you may choose any version ever published +by the Free Software Foundation. + + If the Program specifies that a proxy can decide which future +versions of the GNU General Public License can be used, that proxy's +public statement of acceptance of a version permanently authorizes you +to choose that version for the Program. + + Later license versions may give you additional or different +permissions. However, no additional obligations are imposed on any +author or copyright holder as a result of your choosing to follow a +later version. + + 15. Disclaimer of Warranty. + + THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY +APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT +HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY +OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, +THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR +PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM +IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF +ALL NECESSARY SERVICING, REPAIR OR CORRECTION. + + 16. Limitation of Liability. + + IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING +WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS +THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY +GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE +USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF +DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD +PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), +EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF +SUCH DAMAGES. + + 17. Interpretation of Sections 15 and 16. + + If the disclaimer of warranty and limitation of liability provided +above cannot be given local legal effect according to their terms, +reviewing courts shall apply local law that most closely approximates +an absolute waiver of all civil liability in connection with the +Program, unless a warranty or assumption of liability accompanies a +copy of the Program in return for a fee. + + END OF TERMS AND CONDITIONS + + How to Apply These Terms to Your New Programs + + If you develop a new program, and you want it to be of the greatest +possible use to the public, the best way to achieve this is to make it +free software which everyone can redistribute and change under these terms. + + To do so, attach the following notices to the program. It is safest +to attach them to the start of each source file to most effectively +state the exclusion of warranty; and each file should have at least +the "copyright" line and a pointer to where the full notice is found. + + + Copyright (C) + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . + +Also add information on how to contact you by electronic and paper mail. + + If the program does terminal interaction, make it output a short +notice like this when it starts in an interactive mode: + + Copyright (C) + This program comes with ABSOLUTELY NO WARRANTY; for details type `show w'. + This is free software, and you are welcome to redistribute it + under certain conditions; type `show c' for details. + +The hypothetical commands `show w' and `show c' should show the appropriate +parts of the General Public License. Of course, your program's commands +might be different; for a GUI interface, you would use an "about box". + + You should also get your employer (if you work as a programmer) or school, +if any, to sign a "copyright disclaimer" for the program, if necessary. +For more information on this, and how to apply and follow the GNU GPL, see +. + + The GNU General Public License does not permit incorporating your program +into proprietary programs. If your program is a subroutine library, you +may consider it more useful to permit linking proprietary applications with +the library. If this is what you want to do, use the GNU Lesser General +Public License instead of this License. But first, please read +. diff --git a/LICENSE b/COPYING.LESSER similarity index 98% rename from LICENSE rename to COPYING.LESSER index 31afd6d..0a04128 100644 --- a/LICENSE +++ b/COPYING.LESSER @@ -1,7 +1,7 @@ - GNU LESSER GENERAL PUBLIC LICENSE + GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 - Copyright (C) 2007 Free Software Foundation, Inc. + Copyright (C) 2007 Free Software Foundation, Inc. Everyone is permitted to copy and distribute verbatim copies of this license document, but changing it is not allowed. diff --git a/README.md b/README.md index d28dfde..4ef20f6 100644 --- a/README.md +++ b/README.md @@ -93,19 +93,36 @@ The implementation test suite lives in [syndicate/test/](syndicate/test/). Run i raco setup syndicate; raco test -p syndicate -## Copyright and License +## Distribution -Copyright © Tony Garnock-Jones 2010–2021. +### License - This program is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. +This program is distributed under the terms of the [LGPLv3 +license](https://opensource.org/licenses/lgpl-3.0.html) or any later version. - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. +Documentation is distributed under the terms of the [CC BY 4.0 +license](https://creativecommons.org/licenses/by/4.0/). - You should have received a copy of the GNU Lesser General Public License - along with this program. If not, see . +### Authors + +* Tony Garnock-Jones + +### Contributors + +Contributors can be found inspecting the history of the source control +repository. + +### How to contribute + +As contributor, you retain the copyright of your work, but it must be +distributed using the same license of this software. For minor patches like bug +fixes, typos corrections, improvements in the documentation, this will be +implicit, and it will be documented in the history of the source control +repository. In case of major contributions, you must also update the header of the +modified source code files, specifying something like this: + +``` +SPDX-License-Identifier: LGPL-3.0-or-later +Copyright (C) 2019-2021 Previous Author +Copyright (C) YYYY-YYYY New Contributor +``` diff --git a/historical/prototype.rkt b/historical/prototype.rkt index 6a5f111..059cd7d 100644 --- a/historical/prototype.rkt +++ b/historical/prototype.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide (all-defined-out)) diff --git a/syndicate-examples/box-and-client.rkt b/syndicate-examples/box-and-client.rkt index d5c18bd..c3481db 100644 --- a/syndicate-examples/box-and-client.rkt +++ b/syndicate-examples/box-and-client.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Simple mutable box and count-to-infinity box client. diff --git a/syndicate-examples/chat-client.rkt b/syndicate-examples/chat-client.rkt index eb8a3a4..e25aca4 100644 --- a/syndicate-examples/chat-client.rkt +++ b/syndicate-examples/chat-client.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/tcp) diff --git a/syndicate-examples/chat-server-nested-dataspace.rkt b/syndicate-examples/chat-server-nested-dataspace.rkt index ceb24d3..2d7b862 100644 --- a/syndicate-examples/chat-server-nested-dataspace.rkt +++ b/syndicate-examples/chat-server-nested-dataspace.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/tcp) diff --git a/syndicate-examples/chat-server.rkt b/syndicate-examples/chat-server.rkt index cfd8ec1..5736e3d 100644 --- a/syndicate-examples/chat-server.rkt +++ b/syndicate-examples/chat-server.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/tcp) diff --git a/syndicate-examples/echo.rkt b/syndicate-examples/echo.rkt index 7d571cc..d74b1b0 100644 --- a/syndicate-examples/echo.rkt +++ b/syndicate-examples/echo.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/tcp) diff --git a/syndicate-examples/filesystem.rkt b/syndicate-examples/filesystem.rkt index 6baecc9..21aea16 100644 --- a/syndicate-examples/filesystem.rkt +++ b/syndicate-examples/filesystem.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/external-event) diff --git a/syndicate-examples/gl-2d-basic.rkt b/syndicate-examples/gl-2d-basic.rkt index d9d53b3..e390199 100644 --- a/syndicate-examples/gl-2d-basic.rkt +++ b/syndicate-examples/gl-2d-basic.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require racket/set) diff --git a/syndicate-examples/gl-2d-clock-face.rkt b/syndicate-examples/gl-2d-clock-face.rkt index 3ba28e3..43f46fc 100644 --- a/syndicate-examples/gl-2d-clock-face.rkt +++ b/syndicate-examples/gl-2d-clock-face.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Compare to "ezd" clock-face example from: J. F. Bartlett, “Don’t ;; Fidget with Widgets, Draw!,” Palo Alto, California, DEC WRL diff --git a/syndicate-examples/gl-2d-many.rkt b/syndicate-examples/gl-2d-many.rkt index 462dec7..9d3da1d 100644 --- a/syndicate-examples/gl-2d-many.rkt +++ b/syndicate-examples/gl-2d-many.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Multiple animated sprites. ;; diff --git a/syndicate-examples/gl-2d-platformer.rkt b/syndicate-examples/gl-2d-platformer.rkt index d28a9e3..55bfd91 100644 --- a/syndicate-examples/gl-2d-platformer.rkt +++ b/syndicate-examples/gl-2d-platformer.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require 2htdp/image) diff --git a/syndicate-examples/gui/gui.rkt b/syndicate-examples/gui/gui.rkt index 15eedee..b62c9e8 100644 --- a/syndicate-examples/gui/gui.rkt +++ b/syndicate-examples/gui/gui.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require racket/set) diff --git a/syndicate-examples/gui/hsv.rkt b/syndicate-examples/gui/hsv.rkt index ba915a6..08ce4b1 100644 --- a/syndicate-examples/gui/hsv.rkt +++ b/syndicate-examples/gui/hsv.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide fmod diff --git a/syndicate-examples/gui/layout/layout.rkt b/syndicate-examples/gui/layout/layout.rkt index 2f2e726..4565032 100644 --- a/syndicate-examples/gui/layout/layout.rkt +++ b/syndicate-examples/gui/layout/layout.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Tabular layout diff --git a/syndicate-examples/gui/layout/main.rkt b/syndicate-examples/gui/layout/main.rkt index 55fae0f..b37e50e 100644 --- a/syndicate-examples/gui/layout/main.rkt +++ b/syndicate-examples/gui/layout/main.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Layout, based loosely on TeX's boxes-and-glue model. diff --git a/syndicate-examples/gui/layout/sizing.rkt b/syndicate-examples/gui/layout/sizing.rkt index 283c542..f520fd7 100644 --- a/syndicate-examples/gui/layout/sizing.rkt +++ b/syndicate-examples/gui/layout/sizing.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Dimension sizing, based loosely on TeX's boxes-and-glue model. diff --git a/syndicate-examples/info.rkt b/syndicate-examples/info.rkt index 476c0a1..7a15ee4 100644 --- a/syndicate-examples/info.rkt +++ b/syndicate-examples/info.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang setup/infotab (define collection "syndicate-examples") diff --git a/syndicate-examples/ircd/channel.rkt b/syndicate-examples/ircd/channel.rkt index e145738..21da6de 100644 --- a/syndicate-examples/ircd/channel.rkt +++ b/syndicate-examples/ircd/channel.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require "protocol.rkt") diff --git a/syndicate-examples/ircd/config.rkt b/syndicate-examples/ircd/config.rkt index be3784f..10225b9 100644 --- a/syndicate-examples/ircd/config.rkt +++ b/syndicate-examples/ircd/config.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/reload) diff --git a/syndicate-examples/ircd/dynamic-main.rkt b/syndicate-examples/ircd/dynamic-main.rkt index b58e24c..dac303d 100644 --- a/syndicate-examples/ircd/dynamic-main.rkt +++ b/syndicate-examples/ircd/dynamic-main.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/reload) (spawn-reloader "config.rkt") diff --git a/syndicate-examples/ircd/greeter.rkt b/syndicate-examples/ircd/greeter.rkt index a38722c..640105d 100644 --- a/syndicate-examples/ircd/greeter.rkt +++ b/syndicate-examples/ircd/greeter.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require "protocol.rkt") diff --git a/syndicate-examples/ircd/main.rkt b/syndicate-examples/ircd/main.rkt index 579f35d..be262dc 100644 --- a/syndicate-examples/ircd/main.rkt +++ b/syndicate-examples/ircd/main.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/reload) (spawn-reloader "dynamic-main.rkt") diff --git a/syndicate-examples/ircd/message.rkt b/syndicate-examples/ircd/message.rkt index 0d02e1e..1fcac76 100644 --- a/syndicate-examples/ircd/message.rkt +++ b/syndicate-examples/ircd/message.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide (struct-out irc-message) diff --git a/syndicate-examples/ircd/protocol.rkt b/syndicate-examples/ircd/protocol.rkt index 32f8f2a..2731a34 100644 --- a/syndicate-examples/ircd/protocol.rkt +++ b/syndicate-examples/ircd/protocol.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (struct-out ircd-listener) diff --git a/syndicate-examples/ircd/session.rkt b/syndicate-examples/ircd/session.rkt index 0811cdd..0ee4030 100644 --- a/syndicate-examples/ircd/session.rkt +++ b/syndicate-examples/ircd/session.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require racket/set) diff --git a/syndicate-examples/netstack/arp.rkt b/syndicate-examples/netstack/arp.rkt index 5855f4b..1abf395 100644 --- a/syndicate-examples/netstack/arp.rkt +++ b/syndicate-examples/netstack/arp.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; ARP protocol, http://tools.ietf.org/html/rfc826 ;; Only does ARP-over-ethernet. diff --git a/syndicate-examples/netstack/checksum.rkt b/syndicate-examples/netstack/checksum.rkt index e34fc13..6623abc 100644 --- a/syndicate-examples/netstack/checksum.rkt +++ b/syndicate-examples/netstack/checksum.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide ones-complement-sum16 ip-checksum) diff --git a/syndicate-examples/netstack/configuration.rkt b/syndicate-examples/netstack/configuration.rkt index 9759e18..9230e3d 100644 --- a/syndicate-examples/netstack/configuration.rkt +++ b/syndicate-examples/netstack/configuration.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide (struct-out host-route) diff --git a/syndicate-examples/netstack/demo-config.rkt b/syndicate-examples/netstack/demo-config.rkt index 281a0dd..d2ddf66 100644 --- a/syndicate-examples/netstack/demo-config.rkt +++ b/syndicate-examples/netstack/demo-config.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Demonstration stack configuration for various hosts. diff --git a/syndicate-examples/netstack/dump-bytes.rkt b/syndicate-examples/netstack/dump-bytes.rkt index 365e59d..c61f517 100644 --- a/syndicate-examples/netstack/dump-bytes.rkt +++ b/syndicate-examples/netstack/dump-bytes.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Copyright (C) 2012 Tony Garnock-Jones ;; diff --git a/syndicate-examples/netstack/ethernet.rkt b/syndicate-examples/netstack/ethernet.rkt index b753347..8b4d981 100644 --- a/syndicate-examples/netstack/ethernet.rkt +++ b/syndicate-examples/netstack/ethernet.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Ethernet driver diff --git a/syndicate-examples/netstack/fetchurl.rkt b/syndicate-examples/netstack/fetchurl.rkt index f5daedd..1ee95c0 100644 --- a/syndicate-examples/netstack/fetchurl.rkt +++ b/syndicate-examples/netstack/fetchurl.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate "ethernet.rkt") diff --git a/syndicate-examples/netstack/ip.rkt b/syndicate-examples/netstack/ip.rkt index e8c9cd4..729e9a7 100644 --- a/syndicate-examples/netstack/ip.rkt +++ b/syndicate-examples/netstack/ip.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (struct-out ip-packet) diff --git a/syndicate-examples/netstack/main.rkt b/syndicate-examples/netstack/main.rkt index 5f14480..37f424d 100644 --- a/syndicate-examples/netstack/main.rkt +++ b/syndicate-examples/netstack/main.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/timer) diff --git a/syndicate-examples/netstack/port-allocator.rkt b/syndicate-examples/netstack/port-allocator.rkt index e1bede8..985b44c 100644 --- a/syndicate-examples/netstack/port-allocator.rkt +++ b/syndicate-examples/netstack/port-allocator.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; UDP/TCP port allocator diff --git a/syndicate-examples/netstack/tcp.rkt b/syndicate-examples/netstack/tcp.rkt index 3423e78..8471d42 100644 --- a/syndicate-examples/netstack/tcp.rkt +++ b/syndicate-examples/netstack/tcp.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (struct-out tcp-connection) diff --git a/syndicate-examples/netstack/udp.rkt b/syndicate-examples/netstack/udp.rkt index 005ed92..1cd91da 100644 --- a/syndicate-examples/netstack/udp.rkt +++ b/syndicate-examples/netstack/udp.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (struct-out udp-remote-address) diff --git a/syndicate-examples/santa.rkt b/syndicate-examples/santa.rkt index eec7fee..e6f222d 100644 --- a/syndicate-examples/santa.rkt +++ b/syndicate-examples/santa.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Santa Claus Problem ;; https://www.schoolofhaskell.com/school/advanced-haskell/beautiful-concurrency/4-the-santa-claus-problem diff --git a/syndicate-examples/server-chat-client.rkt b/syndicate-examples/server-chat-client.rkt index 286d9a8..9c19893 100644 --- a/syndicate-examples/server-chat-client.rkt +++ b/syndicate-examples/server-chat-client.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/distributed) diff --git a/syndicate-examples/simple-cross-layer.rkt b/syndicate-examples/simple-cross-layer.rkt index 4399bd2..89bc0e8 100644 --- a/syndicate-examples/simple-cross-layer.rkt +++ b/syndicate-examples/simple-cross-layer.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (assertion-struct greeting (text)) diff --git a/syndicate-examples/sqlite.rkt b/syndicate-examples/sqlite.rkt index 200b3c1..d73827d 100644 --- a/syndicate-examples/sqlite.rkt +++ b/syndicate-examples/sqlite.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/sqlite) diff --git a/syndicate-examples/stdin-echo.rkt b/syndicate-examples/stdin-echo.rkt index 480f20b..123cdaf 100644 --- a/syndicate-examples/stdin-echo.rkt +++ b/syndicate-examples/stdin-echo.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/external-event) diff --git a/syndicate-examples/time.rkt b/syndicate-examples/time.rkt index 73fada7..0dd78f0 100644 --- a/syndicate-examples/time.rkt +++ b/syndicate-examples/time.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/timer) diff --git a/syndicate-examples/udp-echo.rkt b/syndicate-examples/udp-echo.rkt index 6091258..b97423a 100644 --- a/syndicate-examples/udp-echo.rkt +++ b/syndicate-examples/udp-echo.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/udp) diff --git a/syndicate-examples/udp-multicast.rkt b/syndicate-examples/udp-multicast.rkt index f21f768..e00b235 100644 --- a/syndicate-examples/udp-multicast.rkt +++ b/syndicate-examples/udp-multicast.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/timer) diff --git a/syndicate-examples/web-core.rkt b/syndicate-examples/web-core.rkt index 8726b9d..5970569 100644 --- a/syndicate-examples/web-core.rkt +++ b/syndicate-examples/web-core.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate syndicate/drivers/web) diff --git a/syndicate/assertions.rkt b/syndicate/assertions.rkt index 6719a57..ac8b903 100644 --- a/syndicate/assertions.rkt +++ b/syndicate/assertions.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide message-struct diff --git a/syndicate/bag.rkt b/syndicate/bag.rkt index 451b13a..bed5c11 100644 --- a/syndicate/bag.rkt +++ b/syndicate/bag.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Bags and Deltas (which are Bags where item-counts can be negative). diff --git a/syndicate/bin/syndicate-server-debug.rkt b/syndicate/bin/syndicate-server-debug.rkt index 5af8120..5857533 100644 --- a/syndicate/bin/syndicate-server-debug.rkt +++ b/syndicate/bin/syndicate-server-debug.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket (module+ main (require racket/logging) diff --git a/syndicate/bin/syndicate-server.rkt b/syndicate/bin/syndicate-server.rkt index a71310f..d286aff 100644 --- a/syndicate/bin/syndicate-server.rkt +++ b/syndicate/bin/syndicate-server.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket (module+ main (dynamic-require '(submod syndicate/distributed main) #f)) diff --git a/syndicate/dataflow.rkt b/syndicate/dataflow.rkt index 96a0215..a99ebf4 100644 --- a/syndicate/dataflow.rkt +++ b/syndicate/dataflow.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Simple lazy dataflow. diff --git a/syndicate/dataspace.rkt b/syndicate/dataspace.rkt index e01deb0..7717e18 100644 --- a/syndicate/dataspace.rkt +++ b/syndicate/dataspace.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide make-dataspace ;; TODO: how to cleanly provide this? diff --git a/syndicate/distributed.rkt b/syndicate/distributed.rkt index 33e0095..c9b26dc 100644 --- a/syndicate/distributed.rkt +++ b/syndicate/distributed.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (all-from-out "distributed/main.rkt")) diff --git a/syndicate/distributed/buffer.rkt b/syndicate/distributed/buffer.rkt index cb13797..468e945 100644 --- a/syndicate/distributed/buffer.rkt +++ b/syndicate/distributed/buffer.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide make-buffer) diff --git a/syndicate/distributed/client.rkt b/syndicate/distributed/client.rkt index f8c0ec9..af86a5e 100644 --- a/syndicate/distributed/client.rkt +++ b/syndicate/distributed/client.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide generic-client-session-facet) diff --git a/syndicate/distributed/client/loopback.rkt b/syndicate/distributed/client/loopback.rkt index c95e4f6..f5d9659 100644 --- a/syndicate/distributed/client/loopback.rkt +++ b/syndicate/distributed/client/loopback.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require "../client.rkt") diff --git a/syndicate/distributed/client/tcp.rkt b/syndicate/distributed/client/tcp.rkt index 563651f..99330f0 100644 --- a/syndicate/distributed/client/tcp.rkt +++ b/syndicate/distributed/client/tcp.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require "../client.rkt") diff --git a/syndicate/distributed/federation.rkt b/syndicate/distributed/federation.rkt index b47d6b9..004dd07 100644 --- a/syndicate/distributed/federation.rkt +++ b/syndicate/distributed/federation.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Relays for federation, both "client" (outbound) and "server" (inbound) ends. diff --git a/syndicate/distributed/heartbeat.rkt b/syndicate/distributed/heartbeat.rkt index 124ba49..d42e0b2 100644 --- a/syndicate/distributed/heartbeat.rkt +++ b/syndicate/distributed/heartbeat.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide heartbeat) diff --git a/syndicate/distributed/internal-protocol.rkt b/syndicate/distributed/internal-protocol.rkt index f3709e7..823de39 100644 --- a/syndicate/distributed/internal-protocol.rkt +++ b/syndicate/distributed/internal-protocol.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Internal server and federation protocol diff --git a/syndicate/distributed/main.rkt b/syndicate/distributed/main.rkt index 4ac427f..1be0bce 100644 --- a/syndicate/distributed/main.rkt +++ b/syndicate/distributed/main.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (all-from-out "protocol.rkt") diff --git a/syndicate/distributed/protocol.rkt b/syndicate/distributed/protocol.rkt index cadcb2e..f3c438c 100644 --- a/syndicate/distributed/protocol.rkt +++ b/syndicate/distributed/protocol.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (all-defined-out)) diff --git a/syndicate/distributed/server.rkt b/syndicate/distributed/server.rkt index dd1f7f0..f5dc295 100644 --- a/syndicate/distributed/server.rkt +++ b/syndicate/distributed/server.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require "wire-protocol.rkt") diff --git a/syndicate/distributed/server/tcp.rkt b/syndicate/distributed/server/tcp.rkt index 6adfca4..a2d799f 100644 --- a/syndicate/distributed/server/tcp.rkt +++ b/syndicate/distributed/server/tcp.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide server-facet/tcp diff --git a/syndicate/distributed/server/websocket.rkt b/syndicate/distributed/server/websocket.rkt index bd7c818..daf4293 100644 --- a/syndicate/distributed/server/websocket.rkt +++ b/syndicate/distributed/server/websocket.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide server-facet/websocket diff --git a/syndicate/distributed/turn.rkt b/syndicate/distributed/turn.rkt index 8bbe06c..66d9b4f 100644 --- a/syndicate/distributed/turn.rkt +++ b/syndicate/distributed/turn.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide turn-recorder diff --git a/syndicate/distributed/wire-protocol.rkt b/syndicate/distributed/wire-protocol.rkt index bfbb973..d4bd477 100644 --- a/syndicate/distributed/wire-protocol.rkt +++ b/syndicate/distributed/wire-protocol.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (all-defined-out)) diff --git a/syndicate/drivers/config.rkt b/syndicate/drivers/config.rkt index 22035ae..cdb8cd8 100644 --- a/syndicate/drivers/config.rkt +++ b/syndicate/drivers/config.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Monitor configuration files. diff --git a/syndicate/drivers/external-event.rkt b/syndicate/drivers/external-event.rkt index 01b4484..7355bef 100644 --- a/syndicate/drivers/external-event.rkt +++ b/syndicate/drivers/external-event.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (struct-out external-event)) diff --git a/syndicate/drivers/filesystem.rkt b/syndicate/drivers/filesystem.rkt index 2de94ce..9ff65a6 100644 --- a/syndicate/drivers/filesystem.rkt +++ b/syndicate/drivers/filesystem.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Filesystem change monitor driver diff --git a/syndicate/drivers/gl-2d.rkt b/syndicate/drivers/gl-2d.rkt index d438396..d69ede6 100644 --- a/syndicate/drivers/gl-2d.rkt +++ b/syndicate/drivers/gl-2d.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (struct-out window) diff --git a/syndicate/drivers/gl-2d/affine.rkt b/syndicate/drivers/gl-2d/affine.rkt index f27ef7a..75241f8 100644 --- a/syndicate/drivers/gl-2d/affine.rkt +++ b/syndicate/drivers/gl-2d/affine.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; 2D affine transformation matrices. diff --git a/syndicate/drivers/gl-2d/texture.rkt b/syndicate/drivers/gl-2d/texture.rkt index 451a7a7..f337351 100644 --- a/syndicate/drivers/gl-2d/texture.rkt +++ b/syndicate/drivers/gl-2d/texture.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/gui (provide texture% diff --git a/syndicate/drivers/sqlite.rkt b/syndicate/drivers/sqlite.rkt index 33b1497..f94eeee 100644 --- a/syndicate/drivers/sqlite.rkt +++ b/syndicate/drivers/sqlite.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; SQLite driver diff --git a/syndicate/drivers/tcp.rkt b/syndicate/drivers/tcp.rkt index 3ecc6da..e86266f 100644 --- a/syndicate/drivers/tcp.rkt +++ b/syndicate/drivers/tcp.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; TCP/IP driver interface. ;; diff --git a/syndicate/drivers/timer.rkt b/syndicate/drivers/timer.rkt index 20c4256..f4fa52d 100644 --- a/syndicate/drivers/timer.rkt +++ b/syndicate/drivers/timer.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Timer driver. diff --git a/syndicate/drivers/udp.rkt b/syndicate/drivers/udp.rkt index bbeb18c..8b97e2b 100644 --- a/syndicate/drivers/udp.rkt +++ b/syndicate/drivers/udp.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (struct-out udp-remote-address) diff --git a/syndicate/drivers/web.rkt b/syndicate/drivers/web.rkt index 1be322a..1c436ab 100644 --- a/syndicate/drivers/web.rkt +++ b/syndicate/drivers/web.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (struct-out http-server) diff --git a/syndicate/event-expander.rkt b/syndicate/event-expander.rkt index 1113869..d70219c 100644 --- a/syndicate/event-expander.rkt +++ b/syndicate/event-expander.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (require auxiliary-macro-context) diff --git a/syndicate/functional-queue.rkt b/syndicate/functional-queue.rkt index aacb7dd..1a58390 100644 --- a/syndicate/functional-queue.rkt +++ b/syndicate/functional-queue.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide make-queue diff --git a/syndicate/ground.rkt b/syndicate/ground.rkt index 6dde3f2..be1c314 100644 --- a/syndicate/ground.rkt +++ b/syndicate/ground.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Breaking the infinite tower of nested dataspaces, connecting to Racket at the fracture line. diff --git a/syndicate/info.rkt b/syndicate/info.rkt index 01f06ce..3dae772 100644 --- a/syndicate/info.rkt +++ b/syndicate/info.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang setup/infotab (define collection "syndicate") (define racket-launcher-names diff --git a/syndicate/lang.rkt b/syndicate/lang.rkt index 6bd003c..dcb8848 100644 --- a/syndicate/lang.rkt +++ b/syndicate/lang.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide (rename-out [module-begin #%module-begin]) diff --git a/syndicate/main.rkt b/syndicate/main.rkt index 78dc0af..0bc903c 100644 --- a/syndicate/main.rkt +++ b/syndicate/main.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide (all-from-out "dataspace.rkt") diff --git a/syndicate/mc/mc-chat-client.rkt b/syndicate/mc/mc-chat-client.rkt index 1049061..ce482b7 100644 --- a/syndicate/mc/mc-chat-client.rkt +++ b/syndicate/mc/mc-chat-client.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (require/activate "udp-dataspace.rkt") diff --git a/syndicate/mc/udp-dataspace.rkt b/syndicate/mc/udp-dataspace.rkt index eb40604..5f3f9f6 100644 --- a/syndicate/mc/udp-dataspace.rkt +++ b/syndicate/mc/udp-dataspace.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (struct-out mcds-inbound) diff --git a/syndicate/pattern-expander.rkt b/syndicate/pattern-expander.rkt index dfd1c4d..5d403b3 100644 --- a/syndicate/pattern-expander.rkt +++ b/syndicate/pattern-expander.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (require auxiliary-macro-context) diff --git a/syndicate/pattern.rkt b/syndicate/pattern.rkt index 87eee22..7d9bd33 100644 --- a/syndicate/pattern.rkt +++ b/syndicate/pattern.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide (struct-out discard) diff --git a/syndicate/protocol/credit.rkt b/syndicate/protocol/credit.rkt index 67b8dce..a0873b2 100644 --- a/syndicate/protocol/credit.rkt +++ b/syndicate/protocol/credit.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate (provide (all-defined-out)) diff --git a/syndicate/protocol/instance.rkt b/syndicate/protocol/instance.rkt index 91e815e..0ce2c69 100644 --- a/syndicate/protocol/instance.rkt +++ b/syndicate/protocol/instance.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; "Instance" protocol for discriminating among ;; otherwise-indistinguishable entities. diff --git a/syndicate/reassert.rkt b/syndicate/reassert.rkt index 7cb02ee..455194e 100644 --- a/syndicate/reassert.rkt +++ b/syndicate/reassert.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Re-assert an assertion when one of a set of triggering events is seen, after a delay. ;; Building block for building reconnection strategies. diff --git a/syndicate/reflection.rkt b/syndicate/reflection.rkt index d5bfcd0..7c2b719 100644 --- a/syndicate/reflection.rkt +++ b/syndicate/reflection.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Reflective protocols diff --git a/syndicate/relay.rkt b/syndicate/relay.rkt index 913b691..cab72b4 100644 --- a/syndicate/relay.rkt +++ b/syndicate/relay.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Cross-layer relaying between adjacent dataspaces ;; TODO: protocol for *clean* shutdown of a dataspace diff --git a/syndicate/reload.rkt b/syndicate/reload.rkt index a13efc2..b086eb4 100644 --- a/syndicate/reload.rkt +++ b/syndicate/reload.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Crude steps toward reloadable Syndicate modules diff --git a/syndicate/skeleton.rkt b/syndicate/skeleton.rkt index e9499c0..10c9291 100644 --- a/syndicate/skeleton.rkt +++ b/syndicate/skeleton.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; "Skeletons" describe the indexed structure of a dataspace. ;; In particular, they efficiently connect assertions to matching interests. diff --git a/syndicate/supervise.rkt b/syndicate/supervise.rkt index 39ff6d3..d37cc40 100644 --- a/syndicate/supervise.rkt +++ b/syndicate/supervise.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate ;; Extremely simple single-actor supervision ;; Vastly simplified compared to the available options in OTP diff --git a/syndicate/support/bytes.rkt b/syndicate/support/bytes.rkt index 0e3eaf5..151f2e5 100644 --- a/syndicate/support/bytes.rkt +++ b/syndicate/support/bytes.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (provide bytes-index) diff --git a/syndicate/support/hash.rkt b/syndicate/support/hash.rkt index d9bdd48..e550b1e 100644 --- a/syndicate/support/hash.rkt +++ b/syndicate/support/hash.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Hash-table utilities that are not (yet) part of Racket diff --git a/syndicate/support/struct.rkt b/syndicate/support/struct.rkt index bc9694c..fd20ba7 100644 --- a/syndicate/support/struct.rkt +++ b/syndicate/support/struct.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Misc support routines not (yet) provided by racket itself diff --git a/syndicate/syntax-classes.rkt b/syndicate/syntax-classes.rkt index 31c0255..9595e52 100644 --- a/syndicate/syntax-classes.rkt +++ b/syndicate/syntax-classes.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Common syntax classes. diff --git a/syndicate/syntax.rkt b/syndicate/syntax.rkt index 5a757e2..b593539 100644 --- a/syndicate/syntax.rkt +++ b/syndicate/syntax.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; DSL syntax over the API of dataspace.rkt diff --git a/syndicate/term.rkt b/syndicate/term.rkt index e62b7c7..42f5213 100644 --- a/syndicate/term.rkt +++ b/syndicate/term.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base ;; Like pattern.rkt, but for dynamic use rather than compile-time use. diff --git a/syndicate/test-implementation.rkt b/syndicate/test-implementation.rkt index f2dbe51..2bcaed7 100644 --- a/syndicate/test-implementation.rkt +++ b/syndicate/test-implementation.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket ;; Test drivers for Syndicate implementation. diff --git a/syndicate/test/core/abandon-actions-on-exn.rkt b/syndicate/test/core/abandon-actions-on-exn.rkt index 7513d88..989ad19 100644 --- a/syndicate/test/core/abandon-actions-on-exn.rkt +++ b/syndicate/test/core/abandon-actions-on-exn.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; Tests that pending actions are abandoned during a turn in which there is an exception diff --git a/syndicate/test/core/clean-adhoc-on-termination.rkt b/syndicate/test/core/clean-adhoc-on-termination.rkt index cf6c5ff..9a03223 100644 --- a/syndicate/test/core/clean-adhoc-on-termination.rkt +++ b/syndicate/test/core/clean-adhoc-on-termination.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; Tests that adhoc assertions are always removed on termination, even ;; when being relayed across a dataspace boundary. diff --git a/syndicate/test/core/complex-pattern.rkt b/syndicate/test/core/complex-pattern.rkt index d85797a..4f619bd 100644 --- a/syndicate/test/core/complex-pattern.rkt +++ b/syndicate/test/core/complex-pattern.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation (test-case diff --git a/syndicate/test/core/correct-retraction-on-exn.rkt b/syndicate/test/core/correct-retraction-on-exn.rkt index 91ba4cf..b007e17 100644 --- a/syndicate/test/core/correct-retraction-on-exn.rkt +++ b/syndicate/test/core/correct-retraction-on-exn.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; Goal: no matter the circumstances (e.g. exception in a stop ;; script), we will never retract an assertion more or fewer than the diff --git a/syndicate/test/core/death-during-startup.rkt b/syndicate/test/core/death-during-startup.rkt index d01f86d..53a6525 100644 --- a/syndicate/test/core/death-during-startup.rkt +++ b/syndicate/test/core/death-during-startup.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; An error signalled during setup of a new actor's root facet must ;; cause previous actions to be discarded, but must also cause any diff --git a/syndicate/test/core/death-during-turn.rkt b/syndicate/test/core/death-during-turn.rkt index a6c4b47..6f39ccb 100644 --- a/syndicate/test/core/death-during-turn.rkt +++ b/syndicate/test/core/death-during-turn.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; An error signalled mid-turn must cause previous actions to be ;; discarded; discarded actions must not be observed by peers. diff --git a/syndicate/test/core/double-cross-layer.rkt b/syndicate/test/core/double-cross-layer.rkt index 9ccc6ea..6728da5 100644 --- a/syndicate/test/core/double-cross-layer.rkt +++ b/syndicate/test/core/double-cross-layer.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation (test-case diff --git a/syndicate/test/core/during-criterion-snapshotting.rkt b/syndicate/test/core/during-criterion-snapshotting.rkt index 792ace6..adf38d7 100644 --- a/syndicate/test/core/during-criterion-snapshotting.rkt +++ b/syndicate/test/core/during-criterion-snapshotting.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; See .../syndicate/examples/actor/example-during-criterion-shapshotting.rkt diff --git a/syndicate/test/core/nesting-confusion-2.rkt b/syndicate/test/core/nesting-confusion-2.rkt index b526ada..ae124c9 100644 --- a/syndicate/test/core/nesting-confusion-2.rkt +++ b/syndicate/test/core/nesting-confusion-2.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; 2018-11-20 Prior to the commit that introduced this test case (and ;; fixed the bug it exposed), matching a constant/literal `(discard)` diff --git a/syndicate/test/core/nesting-confusion.rkt b/syndicate/test/core/nesting-confusion.rkt index 2feedf4..08206b8 100644 --- a/syndicate/test/core/nesting-confusion.rkt +++ b/syndicate/test/core/nesting-confusion.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; Uhoh! The current (2018-05-02) scheme for relaying between ;; dataspaces instantiates each pattern when a matching assertion diff --git a/syndicate/test/core/partial-retraction.rkt b/syndicate/test/core/partial-retraction.rkt index 7d02c93..2ac370f 100644 --- a/syndicate/test/core/partial-retraction.rkt +++ b/syndicate/test/core/partial-retraction.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; See .../racket/syndicate/examples/actor/example-partial-retraction.rkt ;; TODO: deal with permissible permutations in the output diff --git a/syndicate/test/core/pending-changes.rkt b/syndicate/test/core/pending-changes.rkt index f2d0e96..94993b2 100644 --- a/syndicate/test/core/pending-changes.rkt +++ b/syndicate/test/core/pending-changes.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; ;; In principle, we might like that actors within a turn should diff --git a/syndicate/test/core/responsibility-transfer-1.rkt b/syndicate/test/core/responsibility-transfer-1.rkt index 64b05ed..7c48ab3 100644 --- a/syndicate/test/core/responsibility-transfer-1.rkt +++ b/syndicate/test/core/responsibility-transfer-1.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; See .../syndicate/examples/actor/example-responsibility-transfer-1.rkt diff --git a/syndicate/test/core/responsibility-transfer-2.rkt b/syndicate/test/core/responsibility-transfer-2.rkt index eb8f668..895ba0e 100644 --- a/syndicate/test/core/responsibility-transfer-2.rkt +++ b/syndicate/test/core/responsibility-transfer-2.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; Suite of four related tests. ;; See .../syndicate/examples/actor/example-responsibility-transfer-2.rkt diff --git a/syndicate/test/core/simple-addition.rkt b/syndicate/test/core/simple-addition.rkt index f5f6485..c0d5194 100644 --- a/syndicate/test/core/simple-addition.rkt +++ b/syndicate/test/core/simple-addition.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation (test-case diff --git a/syndicate/test/core/simple-box-and-client.rkt b/syndicate/test/core/simple-box-and-client.rkt index c262780..dad9491 100644 --- a/syndicate/test/core/simple-box-and-client.rkt +++ b/syndicate/test/core/simple-box-and-client.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; Box-and-client diff --git a/syndicate/test/core/simple-cross-layer.rkt b/syndicate/test/core/simple-cross-layer.rkt index 12c9836..859c1cd 100644 --- a/syndicate/test/core/simple-cross-layer.rkt +++ b/syndicate/test/core/simple-cross-layer.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation (test-case diff --git a/syndicate/test/core/spawn-and-send.rkt b/syndicate/test/core/spawn-and-send.rkt index 1a2b453..c5a0973 100644 --- a/syndicate/test/core/spawn-and-send.rkt +++ b/syndicate/test/core/spawn-and-send.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; Test the "spawn and send" idiom, where event ordering is exploited ;; to ensure a listener is ready by the time a sent message is ready diff --git a/syndicate/test/core/state-machine.rkt b/syndicate/test/core/state-machine.rkt index 3b2345a..48e0bb0 100644 --- a/syndicate/test/core/state-machine.rkt +++ b/syndicate/test/core/state-machine.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation (test-case diff --git a/syndicate/test/core/supervise.rkt b/syndicate/test/core/supervise.rkt index afa010a..31213c6 100644 --- a/syndicate/test/core/supervise.rkt +++ b/syndicate/test/core/supervise.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; Simple tests of supervision functionality. diff --git a/syndicate/test/distributed/nesting-confusion.rkt b/syndicate/test/distributed/nesting-confusion.rkt index 51305e4..77f4d6a 100644 --- a/syndicate/test/distributed/nesting-confusion.rkt +++ b/syndicate/test/distributed/nesting-confusion.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; Analogous to the `core/nesting-confusion.rkt` test case. diff --git a/syndicate/test/distributed/observation-visibility.rkt b/syndicate/test/distributed/observation-visibility.rkt index 47f93c4..18ae32a 100644 --- a/syndicate/test/distributed/observation-visibility.rkt +++ b/syndicate/test/distributed/observation-visibility.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; A client observing some part of the server's dataspace should cause ;; creation of an assertion of observation in that server's dataspace. diff --git a/syndicate/test/pattern-test.rkt b/syndicate/test/pattern-test.rkt index 5e3f9fe..ee1c77d 100644 --- a/syndicate/test/pattern-test.rkt +++ b/syndicate/test/pattern-test.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket (module+ test diff --git a/syndicate/test/raw-dataspace.rkt b/syndicate/test/raw-dataspace.rkt index c9b4547..5cd5d85 100644 --- a/syndicate/test/raw-dataspace.rkt +++ b/syndicate/test/raw-dataspace.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang racket/base (require racket/set) diff --git a/syndicate/test/speed/speed-box-and-client.rkt b/syndicate/test/speed/speed-box-and-client.rkt index 084c14c..2b5cc27 100644 --- a/syndicate/test/speed/speed-box-and-client.rkt +++ b/syndicate/test/speed/speed-box-and-client.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation (let ((N 25000)) diff --git a/syndicate/test/speed/speed-message-sending.rkt b/syndicate/test/speed/speed-message-sending.rkt index 3e07d05..7c003d9 100644 --- a/syndicate/test/speed/speed-message-sending.rkt +++ b/syndicate/test/speed/speed-message-sending.rkt @@ -1,3 +1,6 @@ +; SPDX-License-Identifier: LGPL-3.0-or-later +; Copyright (C) 2010-2021 Tony Garnock-Jones + #lang syndicate/test-implementation ;; Rough message send speed test From f68d8ec5dd7e979e018e9b82423b52f1d77a0b44 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 4 Jun 2021 11:15:05 +0200 Subject: [PATCH 2/5] Minor changes to README --- README.md | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index 4ef20f6..55199be 100644 --- a/README.md +++ b/README.md @@ -105,21 +105,22 @@ license](https://creativecommons.org/licenses/by/4.0/). ### Authors -* Tony Garnock-Jones + - Tony Garnock-Jones ### Contributors -Contributors can be found inspecting the history of the source control -repository. +Contributors can be found by inspecting the history of the source +control repository. ### How to contribute As contributor, you retain the copyright of your work, but it must be -distributed using the same license of this software. For minor patches like bug -fixes, typos corrections, improvements in the documentation, this will be -implicit, and it will be documented in the history of the source control -repository. In case of major contributions, you must also update the header of the -modified source code files, specifying something like this: +distributed using the same license as this software. For minor patches +like bug fixes, typo corrections, or improvements to the +documentation, this will be implicit, and will be documented in the +history of the source control repository. In case of major +contributions, you must also update the header of the modified source +code files, specifying something like this: ``` SPDX-License-Identifier: LGPL-3.0-or-later From c6d4d3acf149dc7d332b93376234b3a1f92f98db Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 4 Jun 2021 11:35:27 +0200 Subject: [PATCH 3/5] Fix up copyright notices --- historical/prototype.rkt | 2 +- syndicate-examples/box-and-client.rkt | 2 +- syndicate-examples/chat-client.rkt | 2 +- .../chat-server-nested-dataspace.rkt | 2 +- syndicate-examples/chat-server.rkt | 2 +- syndicate-examples/echo.rkt | 2 +- syndicate-examples/filesystem.rkt | 2 +- syndicate-examples/gl-2d-basic.rkt | 2 +- syndicate-examples/gl-2d-clock-face.rkt | 2 +- syndicate-examples/gl-2d-many.rkt | 2 +- syndicate-examples/gl-2d-platformer.rkt | 2 +- syndicate-examples/gui/gui.rkt | 2 +- syndicate-examples/gui/hsv.rkt | 2 +- syndicate-examples/gui/layout/layout.rkt | 2 +- syndicate-examples/gui/layout/main.rkt | 2 +- syndicate-examples/gui/layout/sizing.rkt | 2 +- syndicate-examples/info.rkt | 2 +- syndicate-examples/ircd/channel.rkt | 2 +- syndicate-examples/ircd/config.rkt | 2 +- syndicate-examples/ircd/dynamic-main.rkt | 2 +- syndicate-examples/ircd/greeter.rkt | 2 +- syndicate-examples/ircd/main.rkt | 2 +- syndicate-examples/ircd/message.rkt | 2 +- syndicate-examples/ircd/protocol.rkt | 2 +- syndicate-examples/ircd/session.rkt | 2 +- syndicate-examples/netstack/arp.rkt | 2 +- syndicate-examples/netstack/checksum.rkt | 2 +- syndicate-examples/netstack/configuration.rkt | 2 +- syndicate-examples/netstack/demo-config.rkt | 2 +- syndicate-examples/netstack/dump-bytes.rkt | 18 ++---------------- syndicate-examples/netstack/ethernet.rkt | 2 +- syndicate-examples/netstack/fetchurl.rkt | 2 +- syndicate-examples/netstack/ip.rkt | 2 +- syndicate-examples/netstack/main.rkt | 2 +- syndicate-examples/netstack/port-allocator.rkt | 2 +- syndicate-examples/netstack/tcp.rkt | 2 +- syndicate-examples/netstack/udp.rkt | 2 +- syndicate-examples/santa.rkt | 2 +- syndicate-examples/server-chat-client.rkt | 2 +- syndicate-examples/simple-cross-layer.rkt | 2 +- syndicate-examples/sqlite.rkt | 2 +- syndicate-examples/stdin-echo.rkt | 2 +- syndicate-examples/time.rkt | 2 +- syndicate-examples/udp-echo.rkt | 2 +- syndicate-examples/udp-multicast.rkt | 2 +- syndicate-examples/web-core.rkt | 2 +- syndicate/assertions.rkt | 2 +- syndicate/bag.rkt | 2 +- syndicate/bin/syndicate-server-debug.rkt | 2 +- syndicate/bin/syndicate-server.rkt | 2 +- syndicate/dataflow.rkt | 2 +- syndicate/dataspace.rkt | 2 +- syndicate/distributed.rkt | 2 +- syndicate/distributed/buffer.rkt | 2 +- syndicate/distributed/client.rkt | 2 +- syndicate/distributed/client/loopback.rkt | 2 +- syndicate/distributed/client/tcp.rkt | 2 +- syndicate/distributed/federation.rkt | 2 +- syndicate/distributed/heartbeat.rkt | 2 +- syndicate/distributed/internal-protocol.rkt | 2 +- syndicate/distributed/main.rkt | 2 +- syndicate/distributed/protocol.rkt | 2 +- syndicate/distributed/server.rkt | 2 +- syndicate/distributed/server/tcp.rkt | 2 +- syndicate/distributed/server/websocket.rkt | 2 +- syndicate/distributed/turn.rkt | 2 +- syndicate/distributed/wire-protocol.rkt | 2 +- syndicate/drivers/config.rkt | 2 +- syndicate/drivers/external-event.rkt | 2 +- syndicate/drivers/filesystem.rkt | 2 +- syndicate/drivers/gl-2d.rkt | 2 +- syndicate/drivers/gl-2d/affine.rkt | 2 +- syndicate/drivers/gl-2d/texture.rkt | 2 +- syndicate/drivers/sqlite.rkt | 2 +- syndicate/drivers/tcp.rkt | 2 +- syndicate/drivers/timer.rkt | 2 +- syndicate/drivers/udp.rkt | 2 +- syndicate/drivers/web.rkt | 2 +- syndicate/event-expander.rkt | 2 +- syndicate/functional-queue.rkt | 2 +- syndicate/ground.rkt | 2 +- syndicate/info.rkt | 2 +- syndicate/lang.rkt | 2 +- syndicate/main.rkt | 2 +- syndicate/mc/mc-chat-client.rkt | 2 +- syndicate/mc/udp-dataspace.rkt | 2 +- syndicate/pattern-expander.rkt | 2 +- syndicate/pattern.rkt | 2 +- syndicate/protocol/credit.rkt | 2 +- syndicate/protocol/instance.rkt | 2 +- syndicate/reassert.rkt | 2 +- syndicate/reflection.rkt | 2 +- syndicate/relay.rkt | 2 +- syndicate/reload.rkt | 2 +- syndicate/skeleton.rkt | 2 +- syndicate/supervise.rkt | 2 +- syndicate/support/bytes.rkt | 2 +- syndicate/support/hash.rkt | 2 +- syndicate/support/struct.rkt | 2 +- syndicate/syntax-classes.rkt | 2 +- syndicate/syntax.rkt | 2 +- syndicate/term.rkt | 2 +- syndicate/test-implementation.rkt | 2 +- syndicate/test/core/abandon-actions-on-exn.rkt | 2 +- .../test/core/clean-adhoc-on-termination.rkt | 2 +- syndicate/test/core/complex-pattern.rkt | 2 +- .../test/core/correct-retraction-on-exn.rkt | 2 +- syndicate/test/core/death-during-startup.rkt | 2 +- syndicate/test/core/death-during-turn.rkt | 2 +- syndicate/test/core/double-cross-layer.rkt | 2 +- .../core/during-criterion-snapshotting.rkt | 2 +- syndicate/test/core/nesting-confusion-2.rkt | 2 +- syndicate/test/core/nesting-confusion.rkt | 2 +- syndicate/test/core/partial-retraction.rkt | 2 +- syndicate/test/core/pending-changes.rkt | 2 +- .../test/core/responsibility-transfer-1.rkt | 2 +- .../test/core/responsibility-transfer-2.rkt | 2 +- syndicate/test/core/simple-addition.rkt | 2 +- syndicate/test/core/simple-box-and-client.rkt | 2 +- syndicate/test/core/simple-cross-layer.rkt | 2 +- syndicate/test/core/spawn-and-send.rkt | 2 +- syndicate/test/core/state-machine.rkt | 2 +- syndicate/test/core/supervise.rkt | 2 +- .../test/distributed/nesting-confusion.rkt | 2 +- .../distributed/observation-visibility.rkt | 2 +- syndicate/test/pattern-test.rkt | 2 +- syndicate/test/raw-dataspace.rkt | 2 +- syndicate/test/speed/speed-box-and-client.rkt | 2 +- syndicate/test/speed/speed-message-sending.rkt | 2 +- 129 files changed, 130 insertions(+), 144 deletions(-) diff --git a/historical/prototype.rkt b/historical/prototype.rkt index 059cd7d..c04b58f 100644 --- a/historical/prototype.rkt +++ b/historical/prototype.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/box-and-client.rkt b/syndicate-examples/box-and-client.rkt index c3481db..7024c11 100644 --- a/syndicate-examples/box-and-client.rkt +++ b/syndicate-examples/box-and-client.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Simple mutable box and count-to-infinity box client. diff --git a/syndicate-examples/chat-client.rkt b/syndicate-examples/chat-client.rkt index e25aca4..616de88 100644 --- a/syndicate-examples/chat-client.rkt +++ b/syndicate-examples/chat-client.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/chat-server-nested-dataspace.rkt b/syndicate-examples/chat-server-nested-dataspace.rkt index 2d7b862..c73d961 100644 --- a/syndicate-examples/chat-server-nested-dataspace.rkt +++ b/syndicate-examples/chat-server-nested-dataspace.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/chat-server.rkt b/syndicate-examples/chat-server.rkt index 5736e3d..ca0a0e9 100644 --- a/syndicate-examples/chat-server.rkt +++ b/syndicate-examples/chat-server.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/echo.rkt b/syndicate-examples/echo.rkt index d74b1b0..b161f53 100644 --- a/syndicate-examples/echo.rkt +++ b/syndicate-examples/echo.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/filesystem.rkt b/syndicate-examples/filesystem.rkt index 21aea16..452f77f 100644 --- a/syndicate-examples/filesystem.rkt +++ b/syndicate-examples/filesystem.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/gl-2d-basic.rkt b/syndicate-examples/gl-2d-basic.rkt index e390199..334b3bc 100644 --- a/syndicate-examples/gl-2d-basic.rkt +++ b/syndicate-examples/gl-2d-basic.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/gl-2d-clock-face.rkt b/syndicate-examples/gl-2d-clock-face.rkt index 43f46fc..fbdbf6d 100644 --- a/syndicate-examples/gl-2d-clock-face.rkt +++ b/syndicate-examples/gl-2d-clock-face.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Compare to "ezd" clock-face example from: J. F. Bartlett, “Don’t diff --git a/syndicate-examples/gl-2d-many.rkt b/syndicate-examples/gl-2d-many.rkt index 9d3da1d..fe13d90 100644 --- a/syndicate-examples/gl-2d-many.rkt +++ b/syndicate-examples/gl-2d-many.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Multiple animated sprites. diff --git a/syndicate-examples/gl-2d-platformer.rkt b/syndicate-examples/gl-2d-platformer.rkt index 55bfd91..dfb56b5 100644 --- a/syndicate-examples/gl-2d-platformer.rkt +++ b/syndicate-examples/gl-2d-platformer.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/gui/gui.rkt b/syndicate-examples/gui/gui.rkt index b62c9e8..1a32e49 100644 --- a/syndicate-examples/gui/gui.rkt +++ b/syndicate-examples/gui/gui.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/gui/hsv.rkt b/syndicate-examples/gui/hsv.rkt index 08ce4b1..91f8e57 100644 --- a/syndicate-examples/gui/hsv.rkt +++ b/syndicate-examples/gui/hsv.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/gui/layout/layout.rkt b/syndicate-examples/gui/layout/layout.rkt index 4565032..3b757c7 100644 --- a/syndicate-examples/gui/layout/layout.rkt +++ b/syndicate-examples/gui/layout/layout.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Tabular layout diff --git a/syndicate-examples/gui/layout/main.rkt b/syndicate-examples/gui/layout/main.rkt index b37e50e..6b63fcf 100644 --- a/syndicate-examples/gui/layout/main.rkt +++ b/syndicate-examples/gui/layout/main.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Layout, based loosely on TeX's boxes-and-glue model. diff --git a/syndicate-examples/gui/layout/sizing.rkt b/syndicate-examples/gui/layout/sizing.rkt index f520fd7..b4b720b 100644 --- a/syndicate-examples/gui/layout/sizing.rkt +++ b/syndicate-examples/gui/layout/sizing.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Dimension sizing, based loosely on TeX's boxes-and-glue model. diff --git a/syndicate-examples/info.rkt b/syndicate-examples/info.rkt index 7a15ee4..b44a31b 100644 --- a/syndicate-examples/info.rkt +++ b/syndicate-examples/info.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang setup/infotab (define collection "syndicate-examples") diff --git a/syndicate-examples/ircd/channel.rkt b/syndicate-examples/ircd/channel.rkt index 21da6de..41d00c9 100644 --- a/syndicate-examples/ircd/channel.rkt +++ b/syndicate-examples/ircd/channel.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/ircd/config.rkt b/syndicate-examples/ircd/config.rkt index 10225b9..ee9008a 100644 --- a/syndicate-examples/ircd/config.rkt +++ b/syndicate-examples/ircd/config.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/ircd/dynamic-main.rkt b/syndicate-examples/ircd/dynamic-main.rkt index dac303d..25d90dc 100644 --- a/syndicate-examples/ircd/dynamic-main.rkt +++ b/syndicate-examples/ircd/dynamic-main.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate (require/activate syndicate/reload) diff --git a/syndicate-examples/ircd/greeter.rkt b/syndicate-examples/ircd/greeter.rkt index 640105d..24130e6 100644 --- a/syndicate-examples/ircd/greeter.rkt +++ b/syndicate-examples/ircd/greeter.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/ircd/main.rkt b/syndicate-examples/ircd/main.rkt index be262dc..38755b0 100644 --- a/syndicate-examples/ircd/main.rkt +++ b/syndicate-examples/ircd/main.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate (require/activate syndicate/reload) diff --git a/syndicate-examples/ircd/message.rkt b/syndicate-examples/ircd/message.rkt index 1fcac76..f282703 100644 --- a/syndicate-examples/ircd/message.rkt +++ b/syndicate-examples/ircd/message.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/ircd/protocol.rkt b/syndicate-examples/ircd/protocol.rkt index 2731a34..9aa850e 100644 --- a/syndicate-examples/ircd/protocol.rkt +++ b/syndicate-examples/ircd/protocol.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/ircd/session.rkt b/syndicate-examples/ircd/session.rkt index 0ee4030..2050a5e 100644 --- a/syndicate-examples/ircd/session.rkt +++ b/syndicate-examples/ircd/session.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/netstack/arp.rkt b/syndicate-examples/netstack/arp.rkt index 1abf395..ed9a1f3 100644 --- a/syndicate-examples/netstack/arp.rkt +++ b/syndicate-examples/netstack/arp.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; ARP protocol, http://tools.ietf.org/html/rfc826 diff --git a/syndicate-examples/netstack/checksum.rkt b/syndicate-examples/netstack/checksum.rkt index 6623abc..6c2f966 100644 --- a/syndicate-examples/netstack/checksum.rkt +++ b/syndicate-examples/netstack/checksum.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/netstack/configuration.rkt b/syndicate-examples/netstack/configuration.rkt index 9230e3d..b2020e8 100644 --- a/syndicate-examples/netstack/configuration.rkt +++ b/syndicate-examples/netstack/configuration.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/netstack/demo-config.rkt b/syndicate-examples/netstack/demo-config.rkt index d2ddf66..aa7cb42 100644 --- a/syndicate-examples/netstack/demo-config.rkt +++ b/syndicate-examples/netstack/demo-config.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Demonstration stack configuration for various hosts. diff --git a/syndicate-examples/netstack/dump-bytes.rkt b/syndicate-examples/netstack/dump-bytes.rkt index c61f517..7840ff8 100644 --- a/syndicate-examples/netstack/dump-bytes.rkt +++ b/syndicate-examples/netstack/dump-bytes.rkt @@ -1,21 +1,7 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-License-Identifier: GPL-3.0-or-later +; SPDX-FileCopyrightText: 2012 Tony Garnock-Jones #lang racket/base -;; Copyright (C) 2012 Tony Garnock-Jones -;; -;; dump-bytes.rkt is free software: you can redistribute it and/or modify -;; it under the terms of the GNU General Public License as published -;; by the Free Software Foundation, either version 3 of the License, -;; or (at your option) any later version. -;; -;; dump-bytes.rkt is distributed in the hope that it will be useful, but -;; WITHOUT ANY WARRANTY; without even the implied warranty of -;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -;; General Public License for more details. -;; -;; You should have received a copy of the GNU General Public License -;; along with dump-bytes.rkt. If not, see . ;; Pretty hex dump output of a Bytes. diff --git a/syndicate-examples/netstack/ethernet.rkt b/syndicate-examples/netstack/ethernet.rkt index 8b4d981..b18cb37 100644 --- a/syndicate-examples/netstack/ethernet.rkt +++ b/syndicate-examples/netstack/ethernet.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Ethernet driver diff --git a/syndicate-examples/netstack/fetchurl.rkt b/syndicate-examples/netstack/fetchurl.rkt index 1ee95c0..ac8721c 100644 --- a/syndicate-examples/netstack/fetchurl.rkt +++ b/syndicate-examples/netstack/fetchurl.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/netstack/ip.rkt b/syndicate-examples/netstack/ip.rkt index 729e9a7..d234be2 100644 --- a/syndicate-examples/netstack/ip.rkt +++ b/syndicate-examples/netstack/ip.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/netstack/main.rkt b/syndicate-examples/netstack/main.rkt index 37f424d..6401a6d 100644 --- a/syndicate-examples/netstack/main.rkt +++ b/syndicate-examples/netstack/main.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/netstack/port-allocator.rkt b/syndicate-examples/netstack/port-allocator.rkt index 985b44c..aa1ac8b 100644 --- a/syndicate-examples/netstack/port-allocator.rkt +++ b/syndicate-examples/netstack/port-allocator.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; UDP/TCP port allocator diff --git a/syndicate-examples/netstack/tcp.rkt b/syndicate-examples/netstack/tcp.rkt index 8471d42..66f8cff 100644 --- a/syndicate-examples/netstack/tcp.rkt +++ b/syndicate-examples/netstack/tcp.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/netstack/udp.rkt b/syndicate-examples/netstack/udp.rkt index 1cd91da..554de62 100644 --- a/syndicate-examples/netstack/udp.rkt +++ b/syndicate-examples/netstack/udp.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/santa.rkt b/syndicate-examples/santa.rkt index e6f222d..5db0d9e 100644 --- a/syndicate-examples/santa.rkt +++ b/syndicate-examples/santa.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Santa Claus Problem diff --git a/syndicate-examples/server-chat-client.rkt b/syndicate-examples/server-chat-client.rkt index 9c19893..082b81c 100644 --- a/syndicate-examples/server-chat-client.rkt +++ b/syndicate-examples/server-chat-client.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/simple-cross-layer.rkt b/syndicate-examples/simple-cross-layer.rkt index 89bc0e8..18d1cc2 100644 --- a/syndicate-examples/simple-cross-layer.rkt +++ b/syndicate-examples/simple-cross-layer.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/sqlite.rkt b/syndicate-examples/sqlite.rkt index d73827d..82ed01d 100644 --- a/syndicate-examples/sqlite.rkt +++ b/syndicate-examples/sqlite.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/stdin-echo.rkt b/syndicate-examples/stdin-echo.rkt index 123cdaf..81915c9 100644 --- a/syndicate-examples/stdin-echo.rkt +++ b/syndicate-examples/stdin-echo.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/time.rkt b/syndicate-examples/time.rkt index 0dd78f0..fb878db 100644 --- a/syndicate-examples/time.rkt +++ b/syndicate-examples/time.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/udp-echo.rkt b/syndicate-examples/udp-echo.rkt index b97423a..163b39b 100644 --- a/syndicate-examples/udp-echo.rkt +++ b/syndicate-examples/udp-echo.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/udp-multicast.rkt b/syndicate-examples/udp-multicast.rkt index e00b235..018c630 100644 --- a/syndicate-examples/udp-multicast.rkt +++ b/syndicate-examples/udp-multicast.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/web-core.rkt b/syndicate-examples/web-core.rkt index 5970569..aa0ec19 100644 --- a/syndicate-examples/web-core.rkt +++ b/syndicate-examples/web-core.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/assertions.rkt b/syndicate/assertions.rkt index ac8b903..fa021c1 100644 --- a/syndicate/assertions.rkt +++ b/syndicate/assertions.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/bag.rkt b/syndicate/bag.rkt index bed5c11..aeb3a48 100644 --- a/syndicate/bag.rkt +++ b/syndicate/bag.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Bags and Deltas (which are Bags where item-counts can be negative). diff --git a/syndicate/bin/syndicate-server-debug.rkt b/syndicate/bin/syndicate-server-debug.rkt index 5857533..686205d 100644 --- a/syndicate/bin/syndicate-server-debug.rkt +++ b/syndicate/bin/syndicate-server-debug.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket (module+ main diff --git a/syndicate/bin/syndicate-server.rkt b/syndicate/bin/syndicate-server.rkt index d286aff..431aebc 100644 --- a/syndicate/bin/syndicate-server.rkt +++ b/syndicate/bin/syndicate-server.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket (module+ main diff --git a/syndicate/dataflow.rkt b/syndicate/dataflow.rkt index a99ebf4..35d7600 100644 --- a/syndicate/dataflow.rkt +++ b/syndicate/dataflow.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Simple lazy dataflow. diff --git a/syndicate/dataspace.rkt b/syndicate/dataspace.rkt index 7717e18..2c0dcc4 100644 --- a/syndicate/dataspace.rkt +++ b/syndicate/dataspace.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/distributed.rkt b/syndicate/distributed.rkt index c9b26dc..a498c1c 100644 --- a/syndicate/distributed.rkt +++ b/syndicate/distributed.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/buffer.rkt b/syndicate/distributed/buffer.rkt index 468e945..b805e3e 100644 --- a/syndicate/distributed/buffer.rkt +++ b/syndicate/distributed/buffer.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/client.rkt b/syndicate/distributed/client.rkt index af86a5e..cb9e5e6 100644 --- a/syndicate/distributed/client.rkt +++ b/syndicate/distributed/client.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/client/loopback.rkt b/syndicate/distributed/client/loopback.rkt index f5d9659..0a2459b 100644 --- a/syndicate/distributed/client/loopback.rkt +++ b/syndicate/distributed/client/loopback.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/client/tcp.rkt b/syndicate/distributed/client/tcp.rkt index 99330f0..d2851c7 100644 --- a/syndicate/distributed/client/tcp.rkt +++ b/syndicate/distributed/client/tcp.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/federation.rkt b/syndicate/distributed/federation.rkt index 004dd07..3cbb7c0 100644 --- a/syndicate/distributed/federation.rkt +++ b/syndicate/distributed/federation.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Relays for federation, both "client" (outbound) and "server" (inbound) ends. diff --git a/syndicate/distributed/heartbeat.rkt b/syndicate/distributed/heartbeat.rkt index d42e0b2..0b5ee81 100644 --- a/syndicate/distributed/heartbeat.rkt +++ b/syndicate/distributed/heartbeat.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/internal-protocol.rkt b/syndicate/distributed/internal-protocol.rkt index 823de39..9b0a390 100644 --- a/syndicate/distributed/internal-protocol.rkt +++ b/syndicate/distributed/internal-protocol.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Internal server and federation protocol diff --git a/syndicate/distributed/main.rkt b/syndicate/distributed/main.rkt index 1be0bce..144fa55 100644 --- a/syndicate/distributed/main.rkt +++ b/syndicate/distributed/main.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/protocol.rkt b/syndicate/distributed/protocol.rkt index f3c438c..ac424f4 100644 --- a/syndicate/distributed/protocol.rkt +++ b/syndicate/distributed/protocol.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/server.rkt b/syndicate/distributed/server.rkt index f5dc295..c9cc579 100644 --- a/syndicate/distributed/server.rkt +++ b/syndicate/distributed/server.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/server/tcp.rkt b/syndicate/distributed/server/tcp.rkt index a2d799f..ac0d23a 100644 --- a/syndicate/distributed/server/tcp.rkt +++ b/syndicate/distributed/server/tcp.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/server/websocket.rkt b/syndicate/distributed/server/websocket.rkt index daf4293..b9244bb 100644 --- a/syndicate/distributed/server/websocket.rkt +++ b/syndicate/distributed/server/websocket.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/turn.rkt b/syndicate/distributed/turn.rkt index 66d9b4f..3e98eb0 100644 --- a/syndicate/distributed/turn.rkt +++ b/syndicate/distributed/turn.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/wire-protocol.rkt b/syndicate/distributed/wire-protocol.rkt index d4bd477..243467c 100644 --- a/syndicate/distributed/wire-protocol.rkt +++ b/syndicate/distributed/wire-protocol.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/drivers/config.rkt b/syndicate/drivers/config.rkt index cdb8cd8..8d4d823 100644 --- a/syndicate/drivers/config.rkt +++ b/syndicate/drivers/config.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Monitor configuration files. diff --git a/syndicate/drivers/external-event.rkt b/syndicate/drivers/external-event.rkt index 7355bef..6e7b3a8 100644 --- a/syndicate/drivers/external-event.rkt +++ b/syndicate/drivers/external-event.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/drivers/filesystem.rkt b/syndicate/drivers/filesystem.rkt index 9ff65a6..f8fb622 100644 --- a/syndicate/drivers/filesystem.rkt +++ b/syndicate/drivers/filesystem.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Filesystem change monitor driver diff --git a/syndicate/drivers/gl-2d.rkt b/syndicate/drivers/gl-2d.rkt index d69ede6..42f752e 100644 --- a/syndicate/drivers/gl-2d.rkt +++ b/syndicate/drivers/gl-2d.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/drivers/gl-2d/affine.rkt b/syndicate/drivers/gl-2d/affine.rkt index 75241f8..98f55d8 100644 --- a/syndicate/drivers/gl-2d/affine.rkt +++ b/syndicate/drivers/gl-2d/affine.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; 2D affine transformation matrices. diff --git a/syndicate/drivers/gl-2d/texture.rkt b/syndicate/drivers/gl-2d/texture.rkt index f337351..f8f6d5d 100644 --- a/syndicate/drivers/gl-2d/texture.rkt +++ b/syndicate/drivers/gl-2d/texture.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/gui diff --git a/syndicate/drivers/sqlite.rkt b/syndicate/drivers/sqlite.rkt index f94eeee..dc22ecf 100644 --- a/syndicate/drivers/sqlite.rkt +++ b/syndicate/drivers/sqlite.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; SQLite driver diff --git a/syndicate/drivers/tcp.rkt b/syndicate/drivers/tcp.rkt index e86266f..76d2447 100644 --- a/syndicate/drivers/tcp.rkt +++ b/syndicate/drivers/tcp.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; TCP/IP driver interface. diff --git a/syndicate/drivers/timer.rkt b/syndicate/drivers/timer.rkt index f4fa52d..16e2f16 100644 --- a/syndicate/drivers/timer.rkt +++ b/syndicate/drivers/timer.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Timer driver. diff --git a/syndicate/drivers/udp.rkt b/syndicate/drivers/udp.rkt index 8b97e2b..e9099b7 100644 --- a/syndicate/drivers/udp.rkt +++ b/syndicate/drivers/udp.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/drivers/web.rkt b/syndicate/drivers/web.rkt index 1c436ab..c32a745 100644 --- a/syndicate/drivers/web.rkt +++ b/syndicate/drivers/web.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/event-expander.rkt b/syndicate/event-expander.rkt index d70219c..05132c5 100644 --- a/syndicate/event-expander.rkt +++ b/syndicate/event-expander.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/functional-queue.rkt b/syndicate/functional-queue.rkt index 1a58390..1493258 100644 --- a/syndicate/functional-queue.rkt +++ b/syndicate/functional-queue.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/ground.rkt b/syndicate/ground.rkt index be1c314..facafd8 100644 --- a/syndicate/ground.rkt +++ b/syndicate/ground.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Breaking the infinite tower of nested dataspaces, connecting to Racket at the fracture line. diff --git a/syndicate/info.rkt b/syndicate/info.rkt index 3dae772..d2cf7cf 100644 --- a/syndicate/info.rkt +++ b/syndicate/info.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang setup/infotab (define collection "syndicate") diff --git a/syndicate/lang.rkt b/syndicate/lang.rkt index dcb8848..08489d7 100644 --- a/syndicate/lang.rkt +++ b/syndicate/lang.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/main.rkt b/syndicate/main.rkt index 0bc903c..eb07066 100644 --- a/syndicate/main.rkt +++ b/syndicate/main.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/mc/mc-chat-client.rkt b/syndicate/mc/mc-chat-client.rkt index ce482b7..6863a38 100644 --- a/syndicate/mc/mc-chat-client.rkt +++ b/syndicate/mc/mc-chat-client.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/mc/udp-dataspace.rkt b/syndicate/mc/udp-dataspace.rkt index 5f3f9f6..985d724 100644 --- a/syndicate/mc/udp-dataspace.rkt +++ b/syndicate/mc/udp-dataspace.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/pattern-expander.rkt b/syndicate/pattern-expander.rkt index 5d403b3..68f8568 100644 --- a/syndicate/pattern-expander.rkt +++ b/syndicate/pattern-expander.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/pattern.rkt b/syndicate/pattern.rkt index 7d9bd33..7a58bad 100644 --- a/syndicate/pattern.rkt +++ b/syndicate/pattern.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/protocol/credit.rkt b/syndicate/protocol/credit.rkt index a0873b2..54f94f5 100644 --- a/syndicate/protocol/credit.rkt +++ b/syndicate/protocol/credit.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/protocol/instance.rkt b/syndicate/protocol/instance.rkt index 0ce2c69..18a9034 100644 --- a/syndicate/protocol/instance.rkt +++ b/syndicate/protocol/instance.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; "Instance" protocol for discriminating among diff --git a/syndicate/reassert.rkt b/syndicate/reassert.rkt index 455194e..dcb42b4 100644 --- a/syndicate/reassert.rkt +++ b/syndicate/reassert.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Re-assert an assertion when one of a set of triggering events is seen, after a delay. diff --git a/syndicate/reflection.rkt b/syndicate/reflection.rkt index 7c2b719..0b166fe 100644 --- a/syndicate/reflection.rkt +++ b/syndicate/reflection.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Reflective protocols diff --git a/syndicate/relay.rkt b/syndicate/relay.rkt index cab72b4..d8494fa 100644 --- a/syndicate/relay.rkt +++ b/syndicate/relay.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Cross-layer relaying between adjacent dataspaces diff --git a/syndicate/reload.rkt b/syndicate/reload.rkt index b086eb4..784d241 100644 --- a/syndicate/reload.rkt +++ b/syndicate/reload.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Crude steps toward reloadable Syndicate modules diff --git a/syndicate/skeleton.rkt b/syndicate/skeleton.rkt index 10c9291..6d8d931 100644 --- a/syndicate/skeleton.rkt +++ b/syndicate/skeleton.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; "Skeletons" describe the indexed structure of a dataspace. diff --git a/syndicate/supervise.rkt b/syndicate/supervise.rkt index d37cc40..4e7e734 100644 --- a/syndicate/supervise.rkt +++ b/syndicate/supervise.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate ;; Extremely simple single-actor supervision diff --git a/syndicate/support/bytes.rkt b/syndicate/support/bytes.rkt index 151f2e5..ec8c754 100644 --- a/syndicate/support/bytes.rkt +++ b/syndicate/support/bytes.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/support/hash.rkt b/syndicate/support/hash.rkt index e550b1e..1a4a2d0 100644 --- a/syndicate/support/hash.rkt +++ b/syndicate/support/hash.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Hash-table utilities that are not (yet) part of Racket diff --git a/syndicate/support/struct.rkt b/syndicate/support/struct.rkt index fd20ba7..101635b 100644 --- a/syndicate/support/struct.rkt +++ b/syndicate/support/struct.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Misc support routines not (yet) provided by racket itself diff --git a/syndicate/syntax-classes.rkt b/syndicate/syntax-classes.rkt index 9595e52..54f1377 100644 --- a/syndicate/syntax-classes.rkt +++ b/syndicate/syntax-classes.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Common syntax classes. diff --git a/syndicate/syntax.rkt b/syndicate/syntax.rkt index b593539..adfd0d6 100644 --- a/syndicate/syntax.rkt +++ b/syndicate/syntax.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; DSL syntax over the API of dataspace.rkt diff --git a/syndicate/term.rkt b/syndicate/term.rkt index 42f5213..a0737de 100644 --- a/syndicate/term.rkt +++ b/syndicate/term.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base ;; Like pattern.rkt, but for dynamic use rather than compile-time use. diff --git a/syndicate/test-implementation.rkt b/syndicate/test-implementation.rkt index 2bcaed7..3092e3b 100644 --- a/syndicate/test-implementation.rkt +++ b/syndicate/test-implementation.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket ;; Test drivers for Syndicate implementation. diff --git a/syndicate/test/core/abandon-actions-on-exn.rkt b/syndicate/test/core/abandon-actions-on-exn.rkt index 989ad19..ae041d1 100644 --- a/syndicate/test/core/abandon-actions-on-exn.rkt +++ b/syndicate/test/core/abandon-actions-on-exn.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Tests that pending actions are abandoned during a turn in which there is an exception diff --git a/syndicate/test/core/clean-adhoc-on-termination.rkt b/syndicate/test/core/clean-adhoc-on-termination.rkt index 9a03223..2926a50 100644 --- a/syndicate/test/core/clean-adhoc-on-termination.rkt +++ b/syndicate/test/core/clean-adhoc-on-termination.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Tests that adhoc assertions are always removed on termination, even diff --git a/syndicate/test/core/complex-pattern.rkt b/syndicate/test/core/complex-pattern.rkt index 4f619bd..3e3714a 100644 --- a/syndicate/test/core/complex-pattern.rkt +++ b/syndicate/test/core/complex-pattern.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/core/correct-retraction-on-exn.rkt b/syndicate/test/core/correct-retraction-on-exn.rkt index b007e17..dbbce75 100644 --- a/syndicate/test/core/correct-retraction-on-exn.rkt +++ b/syndicate/test/core/correct-retraction-on-exn.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Goal: no matter the circumstances (e.g. exception in a stop diff --git a/syndicate/test/core/death-during-startup.rkt b/syndicate/test/core/death-during-startup.rkt index 53a6525..e961816 100644 --- a/syndicate/test/core/death-during-startup.rkt +++ b/syndicate/test/core/death-during-startup.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; An error signalled during setup of a new actor's root facet must diff --git a/syndicate/test/core/death-during-turn.rkt b/syndicate/test/core/death-during-turn.rkt index 6f39ccb..17e0664 100644 --- a/syndicate/test/core/death-during-turn.rkt +++ b/syndicate/test/core/death-during-turn.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; An error signalled mid-turn must cause previous actions to be diff --git a/syndicate/test/core/double-cross-layer.rkt b/syndicate/test/core/double-cross-layer.rkt index 6728da5..074e421 100644 --- a/syndicate/test/core/double-cross-layer.rkt +++ b/syndicate/test/core/double-cross-layer.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/core/during-criterion-snapshotting.rkt b/syndicate/test/core/during-criterion-snapshotting.rkt index adf38d7..9899364 100644 --- a/syndicate/test/core/during-criterion-snapshotting.rkt +++ b/syndicate/test/core/during-criterion-snapshotting.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; See .../syndicate/examples/actor/example-during-criterion-shapshotting.rkt diff --git a/syndicate/test/core/nesting-confusion-2.rkt b/syndicate/test/core/nesting-confusion-2.rkt index ae124c9..7836a86 100644 --- a/syndicate/test/core/nesting-confusion-2.rkt +++ b/syndicate/test/core/nesting-confusion-2.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; 2018-11-20 Prior to the commit that introduced this test case (and diff --git a/syndicate/test/core/nesting-confusion.rkt b/syndicate/test/core/nesting-confusion.rkt index 08206b8..ca2b7ab 100644 --- a/syndicate/test/core/nesting-confusion.rkt +++ b/syndicate/test/core/nesting-confusion.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Uhoh! The current (2018-05-02) scheme for relaying between diff --git a/syndicate/test/core/partial-retraction.rkt b/syndicate/test/core/partial-retraction.rkt index 2ac370f..37472f6 100644 --- a/syndicate/test/core/partial-retraction.rkt +++ b/syndicate/test/core/partial-retraction.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; See .../racket/syndicate/examples/actor/example-partial-retraction.rkt diff --git a/syndicate/test/core/pending-changes.rkt b/syndicate/test/core/pending-changes.rkt index 94993b2..7d409bd 100644 --- a/syndicate/test/core/pending-changes.rkt +++ b/syndicate/test/core/pending-changes.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; diff --git a/syndicate/test/core/responsibility-transfer-1.rkt b/syndicate/test/core/responsibility-transfer-1.rkt index 7c48ab3..6b38709 100644 --- a/syndicate/test/core/responsibility-transfer-1.rkt +++ b/syndicate/test/core/responsibility-transfer-1.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; See .../syndicate/examples/actor/example-responsibility-transfer-1.rkt diff --git a/syndicate/test/core/responsibility-transfer-2.rkt b/syndicate/test/core/responsibility-transfer-2.rkt index 895ba0e..72cc44d 100644 --- a/syndicate/test/core/responsibility-transfer-2.rkt +++ b/syndicate/test/core/responsibility-transfer-2.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Suite of four related tests. diff --git a/syndicate/test/core/simple-addition.rkt b/syndicate/test/core/simple-addition.rkt index c0d5194..f0523e2 100644 --- a/syndicate/test/core/simple-addition.rkt +++ b/syndicate/test/core/simple-addition.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/core/simple-box-and-client.rkt b/syndicate/test/core/simple-box-and-client.rkt index dad9491..b47460d 100644 --- a/syndicate/test/core/simple-box-and-client.rkt +++ b/syndicate/test/core/simple-box-and-client.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Box-and-client diff --git a/syndicate/test/core/simple-cross-layer.rkt b/syndicate/test/core/simple-cross-layer.rkt index 859c1cd..3f6d1d8 100644 --- a/syndicate/test/core/simple-cross-layer.rkt +++ b/syndicate/test/core/simple-cross-layer.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/core/spawn-and-send.rkt b/syndicate/test/core/spawn-and-send.rkt index c5a0973..62fea44 100644 --- a/syndicate/test/core/spawn-and-send.rkt +++ b/syndicate/test/core/spawn-and-send.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Test the "spawn and send" idiom, where event ordering is exploited diff --git a/syndicate/test/core/state-machine.rkt b/syndicate/test/core/state-machine.rkt index 48e0bb0..a11923b 100644 --- a/syndicate/test/core/state-machine.rkt +++ b/syndicate/test/core/state-machine.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/core/supervise.rkt b/syndicate/test/core/supervise.rkt index 31213c6..9eae463 100644 --- a/syndicate/test/core/supervise.rkt +++ b/syndicate/test/core/supervise.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Simple tests of supervision functionality. diff --git a/syndicate/test/distributed/nesting-confusion.rkt b/syndicate/test/distributed/nesting-confusion.rkt index 77f4d6a..858a5dd 100644 --- a/syndicate/test/distributed/nesting-confusion.rkt +++ b/syndicate/test/distributed/nesting-confusion.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Analogous to the `core/nesting-confusion.rkt` test case. diff --git a/syndicate/test/distributed/observation-visibility.rkt b/syndicate/test/distributed/observation-visibility.rkt index 18ae32a..5284071 100644 --- a/syndicate/test/distributed/observation-visibility.rkt +++ b/syndicate/test/distributed/observation-visibility.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; A client observing some part of the server's dataspace should cause diff --git a/syndicate/test/pattern-test.rkt b/syndicate/test/pattern-test.rkt index ee1c77d..8ba8b45 100644 --- a/syndicate/test/pattern-test.rkt +++ b/syndicate/test/pattern-test.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket diff --git a/syndicate/test/raw-dataspace.rkt b/syndicate/test/raw-dataspace.rkt index 5cd5d85..0ba2763 100644 --- a/syndicate/test/raw-dataspace.rkt +++ b/syndicate/test/raw-dataspace.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/test/speed/speed-box-and-client.rkt b/syndicate/test/speed/speed-box-and-client.rkt index 2b5cc27..ddc37aa 100644 --- a/syndicate/test/speed/speed-box-and-client.rkt +++ b/syndicate/test/speed/speed-box-and-client.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/speed/speed-message-sending.rkt b/syndicate/test/speed/speed-message-sending.rkt index 7c003d9..6d854a4 100644 --- a/syndicate/test/speed/speed-message-sending.rkt +++ b/syndicate/test/speed/speed-message-sending.rkt @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: LGPL-3.0-or-later -; Copyright (C) 2010-2021 Tony Garnock-Jones +; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Rough message send speed test From 92b0272ba114cbfe320d7149e5595e3a84cf2782 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 4 Jun 2021 15:51:09 +0200 Subject: [PATCH 4/5] Automate SPDX header maintenance --- Makefile | 2 + fixcopyright.rkt | 118 +++++++++++++++++++++++++++++++++++++++++++ git-hooks/pre-commit | 4 ++ setup.sh | 18 +++++++ 4 files changed, 142 insertions(+) create mode 100755 fixcopyright.rkt create mode 100755 git-hooks/pre-commit create mode 100755 setup.sh diff --git a/Makefile b/Makefile index b3afe1e..4713bdb 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,5 @@ +__ignored__ := $(shell ./setup.sh) + PACKAGES=syndicate syndicate-examples COLLECTS=syndicate syndicate-examples diff --git a/fixcopyright.rkt b/fixcopyright.rkt new file mode 100755 index 0000000..8bb565e --- /dev/null +++ b/fixcopyright.rkt @@ -0,0 +1,118 @@ +#!/usr/bin/env racket +#lang racket +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones + +(require file/glob) +(require racket/date) + +(define ((re p) i) (regexp-match p i)) +(define ((re? p) i) (regexp-match? p i)) +(define ((s p ins) i) (regexp-replace p i ins)) + +(define this-year (number->string (date-year (current-date)))) + +(define (get-git-config key) + (string-trim (with-output-to-string + (lambda () (system (format "git config --get ~a" key)))))) + +(define user-name (get-git-config "user.name")) +(define user-email (get-git-config "user.email")) + +(define user (format "~a <~a>" user-name user-email)) + +(define (make-copyright who low [hi #f]) + (if (and hi (not (string=? low hi))) + (format "Copyright © ~a-~a ~a" low hi who) + (format "Copyright © ~a ~a" low who))) + +(define total-file-count 0) +(define total-changed-files 0) +(define dry-run? #f) + +(define (fix-files file-type-name file-pattern front-matter-re leading-comment-re comment-prefix) + (define matched-files (glob file-pattern)) + (define file-count (length matched-files)) + (define changed-files 0) + (for [(file-number (in-naturals)) + (f (in-list matched-files))] + (printf "~a [~a/~a] ~a ..." file-type-name file-number file-count f) + (flush-output) + (define all-lines (file->lines f)) + (define-values (front-matter head tail) + (let*-values (((lines) all-lines) + ((front-matter lines) (if front-matter-re + (splitf-at lines (re? front-matter-re)) + (values '() lines))) + ((head tail) (splitf-at lines (re? leading-comment-re)))) + (values front-matter head tail))) + (let* ((head (map (s leading-comment-re "") head)) + (head (map (lambda (l) + (match (regexp-match "^([^:]+): (.*)$" l) + [(list _ k v) (list k v)] + [#f (list #f l)])) + head)) + (head (if (assoc "SPDX-FileCopyrightText" head) + head + (cons (list "SPDX-FileCopyrightText" (make-copyright user this-year)) head))) + (head (if (assoc "SPDX-License-Identifier" head) + head + (cons (list "SPDX-License-Identifier" "LGPL-3.0-or-later") head))) + (head (map (lambda (l) + (match l + [(list "SPDX-FileCopyrightText" + (and (regexp (regexp-quote user-name)) + (regexp #px"(\\d{4})-\\d{4}" (list _ low)))) + (list "SPDX-FileCopyrightText" + (make-copyright user low this-year))] + [(list "SPDX-FileCopyrightText" + (and (regexp (regexp-quote user-name)) + (regexp #px"\\d{4}" (list low)))) + (list "SPDX-FileCopyrightText" + (make-copyright user low this-year))] + [_ l])) + head)) + (head (map (lambda (l) (string-append comment-prefix + (match l + [(list #f v) v] + [(list k v) (format "~a: ~a" k v)]))) + head)) + (new-lines `(,@front-matter + ,@head + "" + ,@(dropf tail (lambda (l) (string=? (string-trim l) ""))))) + (changed? (not (equal? all-lines new-lines)))) + (when (and changed? (not dry-run?)) + (call-with-atomic-output-file + f + (lambda (port _tmp-path) + (for [(l front-matter)] (displayln l port)) + (for [(l head)] (displayln l port)) + (newline port) + (for [(l (dropf tail (lambda (l) (string=? (string-trim l) ""))))] (displayln l port))))) + (if changed? + (begin (set! changed-files (+ changed-files 1)) + (printf "\e[41mchanged\e[0m\n")) + (printf "\r\e[K")))) + (when (positive? changed-files) + (printf "~a [~a total files, ~a changed]\n" file-type-name file-count changed-files)) + (set! total-file-count (+ total-file-count file-count)) + (set! total-changed-files (+ total-changed-files changed-files))) + +(command-line #:once-each + [("-n" "--dry-run") "Do not write back changes to files" + (set! dry-run? #t)]) + +(void (fix-files "Racket" "**.rkt" #px"^#" #px"^;+ *" ";;; ")) +(printf "fixcopyright: ~a files examined, ~a ~a\n" + total-file-count + total-changed-files + (if dry-run? + (if (zero? total-changed-files) + "changes are needed" + "files need to be updated") + (if (zero? total-changed-files) + "changes were needed" + "files were updated"))) +(void (system "chmod a+x fixcopyright.rkt")) +(exit (if (positive? total-changed-files) 1 0)) diff --git a/git-hooks/pre-commit b/git-hooks/pre-commit new file mode 100755 index 0000000..a64d9c7 --- /dev/null +++ b/git-hooks/pre-commit @@ -0,0 +1,4 @@ +#!/bin/sh +set -e +exec 1>&2 +./fixcopyright.rkt -n diff --git a/setup.sh b/setup.sh new file mode 100755 index 0000000..67c08b0 --- /dev/null +++ b/setup.sh @@ -0,0 +1,18 @@ +#!/bin/sh +# +# Set up a git checkout of this repository for local dev use. + +exec 2>/dev/tty 1>&2 + +set -e + +[ -d .git ] || exit 0 + +for fullhook in ./git-hooks/* +do + hook=$(basename "$fullhook") + [ -L .git/hooks/$hook ] || ( + echo "Installing $hook hook" + ln -s ../../git-hooks/$hook .git/hooks/$hook + ) +done From 2a360bff32d9ceb8e82ea0c0efeac16d2c562d1b Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 4 Jun 2021 15:56:03 +0200 Subject: [PATCH 5/5] Adjust copyrights --- historical/prototype.rkt | 4 ++-- syndicate-examples/box-and-client.rkt | 4 ++-- syndicate-examples/chat-client.rkt | 4 ++-- syndicate-examples/chat-server-nested-dataspace.rkt | 4 ++-- syndicate-examples/chat-server.rkt | 4 ++-- syndicate-examples/echo.rkt | 4 ++-- syndicate-examples/filesystem.rkt | 4 ++-- syndicate-examples/gl-2d-basic.rkt | 4 ++-- syndicate-examples/gl-2d-clock-face.rkt | 4 ++-- syndicate-examples/gl-2d-many.rkt | 4 ++-- syndicate-examples/gl-2d-platformer.rkt | 4 ++-- syndicate-examples/gui/gui.rkt | 4 ++-- syndicate-examples/gui/hsv.rkt | 4 ++-- syndicate-examples/gui/layout/layout.rkt | 4 ++-- syndicate-examples/gui/layout/main.rkt | 4 ++-- syndicate-examples/gui/layout/sizing.rkt | 4 ++-- syndicate-examples/info.rkt | 4 ++-- syndicate-examples/ircd/channel.rkt | 4 ++-- syndicate-examples/ircd/config.rkt | 4 ++-- syndicate-examples/ircd/dynamic-main.rkt | 4 ++-- syndicate-examples/ircd/greeter.rkt | 4 ++-- syndicate-examples/ircd/main.rkt | 4 ++-- syndicate-examples/ircd/message.rkt | 4 ++-- syndicate-examples/ircd/protocol.rkt | 4 ++-- syndicate-examples/ircd/session.rkt | 4 ++-- syndicate-examples/netstack/arp.rkt | 4 ++-- syndicate-examples/netstack/checksum.rkt | 4 ++-- syndicate-examples/netstack/configuration.rkt | 4 ++-- syndicate-examples/netstack/demo-config.rkt | 4 ++-- syndicate-examples/netstack/dump-bytes.rkt | 4 ++-- syndicate-examples/netstack/ethernet.rkt | 4 ++-- syndicate-examples/netstack/fetchurl.rkt | 4 ++-- syndicate-examples/netstack/ip.rkt | 4 ++-- syndicate-examples/netstack/main.rkt | 4 ++-- syndicate-examples/netstack/port-allocator.rkt | 4 ++-- syndicate-examples/netstack/tcp.rkt | 4 ++-- syndicate-examples/netstack/udp.rkt | 4 ++-- syndicate-examples/santa.rkt | 4 ++-- syndicate-examples/server-chat-client.rkt | 4 ++-- syndicate-examples/simple-cross-layer.rkt | 4 ++-- syndicate-examples/sqlite.rkt | 4 ++-- syndicate-examples/stdin-echo.rkt | 4 ++-- syndicate-examples/time.rkt | 4 ++-- syndicate-examples/udp-echo.rkt | 4 ++-- syndicate-examples/udp-multicast.rkt | 4 ++-- syndicate-examples/web-core.rkt | 4 ++-- syndicate/assertions.rkt | 4 ++-- syndicate/bag.rkt | 4 ++-- syndicate/bin/syndicate-server-debug.rkt | 4 ++-- syndicate/bin/syndicate-server.rkt | 4 ++-- syndicate/dataflow.rkt | 4 ++-- syndicate/dataspace.rkt | 4 ++-- syndicate/distributed.rkt | 4 ++-- syndicate/distributed/buffer.rkt | 4 ++-- syndicate/distributed/client.rkt | 4 ++-- syndicate/distributed/client/loopback.rkt | 4 ++-- syndicate/distributed/client/tcp.rkt | 4 ++-- syndicate/distributed/federation.rkt | 4 ++-- syndicate/distributed/heartbeat.rkt | 4 ++-- syndicate/distributed/internal-protocol.rkt | 4 ++-- syndicate/distributed/main.rkt | 4 ++-- syndicate/distributed/protocol.rkt | 4 ++-- syndicate/distributed/server.rkt | 4 ++-- syndicate/distributed/server/tcp.rkt | 4 ++-- syndicate/distributed/server/websocket.rkt | 4 ++-- syndicate/distributed/turn.rkt | 4 ++-- syndicate/distributed/wire-protocol.rkt | 4 ++-- syndicate/drivers/config.rkt | 4 ++-- syndicate/drivers/external-event.rkt | 4 ++-- syndicate/drivers/filesystem.rkt | 4 ++-- syndicate/drivers/gl-2d.rkt | 4 ++-- syndicate/drivers/gl-2d/affine.rkt | 4 ++-- syndicate/drivers/gl-2d/texture.rkt | 4 ++-- syndicate/drivers/sqlite.rkt | 4 ++-- syndicate/drivers/tcp.rkt | 4 ++-- syndicate/drivers/timer.rkt | 4 ++-- syndicate/drivers/udp.rkt | 4 ++-- syndicate/drivers/web.rkt | 4 ++-- syndicate/event-expander.rkt | 4 ++-- syndicate/functional-queue.rkt | 4 ++-- syndicate/ground.rkt | 4 ++-- syndicate/info.rkt | 4 ++-- syndicate/lang.rkt | 4 ++-- syndicate/main.rkt | 4 ++-- syndicate/mc/mc-chat-client.rkt | 4 ++-- syndicate/mc/udp-dataspace.rkt | 4 ++-- syndicate/pattern-expander.rkt | 4 ++-- syndicate/pattern.rkt | 4 ++-- syndicate/protocol/credit.rkt | 4 ++-- syndicate/protocol/instance.rkt | 4 ++-- syndicate/reassert.rkt | 4 ++-- syndicate/reflection.rkt | 4 ++-- syndicate/relay.rkt | 4 ++-- syndicate/reload.rkt | 4 ++-- syndicate/skeleton.rkt | 4 ++-- syndicate/supervise.rkt | 4 ++-- syndicate/support/bytes.rkt | 4 ++-- syndicate/support/hash.rkt | 4 ++-- syndicate/support/struct.rkt | 4 ++-- syndicate/syntax-classes.rkt | 4 ++-- syndicate/syntax.rkt | 4 ++-- syndicate/term.rkt | 4 ++-- syndicate/test-implementation.rkt | 4 ++-- syndicate/test/core/abandon-actions-on-exn.rkt | 4 ++-- syndicate/test/core/clean-adhoc-on-termination.rkt | 4 ++-- syndicate/test/core/complex-pattern.rkt | 4 ++-- syndicate/test/core/correct-retraction-on-exn.rkt | 4 ++-- syndicate/test/core/death-during-startup.rkt | 4 ++-- syndicate/test/core/death-during-turn.rkt | 4 ++-- syndicate/test/core/double-cross-layer.rkt | 4 ++-- syndicate/test/core/during-criterion-snapshotting.rkt | 4 ++-- syndicate/test/core/nesting-confusion-2.rkt | 4 ++-- syndicate/test/core/nesting-confusion.rkt | 4 ++-- syndicate/test/core/partial-retraction.rkt | 4 ++-- syndicate/test/core/pending-changes.rkt | 4 ++-- syndicate/test/core/responsibility-transfer-1.rkt | 4 ++-- syndicate/test/core/responsibility-transfer-2.rkt | 4 ++-- syndicate/test/core/simple-addition.rkt | 4 ++-- syndicate/test/core/simple-box-and-client.rkt | 4 ++-- syndicate/test/core/simple-cross-layer.rkt | 4 ++-- syndicate/test/core/spawn-and-send.rkt | 4 ++-- syndicate/test/core/state-machine.rkt | 4 ++-- syndicate/test/core/supervise.rkt | 4 ++-- syndicate/test/distributed/nesting-confusion.rkt | 4 ++-- syndicate/test/distributed/observation-visibility.rkt | 4 ++-- syndicate/test/pattern-test.rkt | 4 ++-- syndicate/test/raw-dataspace.rkt | 4 ++-- syndicate/test/speed/speed-box-and-client.rkt | 4 ++-- syndicate/test/speed/speed-message-sending.rkt | 4 ++-- 129 files changed, 258 insertions(+), 258 deletions(-) diff --git a/historical/prototype.rkt b/historical/prototype.rkt index c04b58f..85ad3ad 100644 --- a/historical/prototype.rkt +++ b/historical/prototype.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/box-and-client.rkt b/syndicate-examples/box-and-client.rkt index 7024c11..c9687ba 100644 --- a/syndicate-examples/box-and-client.rkt +++ b/syndicate-examples/box-and-client.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Simple mutable box and count-to-infinity box client. diff --git a/syndicate-examples/chat-client.rkt b/syndicate-examples/chat-client.rkt index 616de88..11ffcf3 100644 --- a/syndicate-examples/chat-client.rkt +++ b/syndicate-examples/chat-client.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/chat-server-nested-dataspace.rkt b/syndicate-examples/chat-server-nested-dataspace.rkt index c73d961..0420ddf 100644 --- a/syndicate-examples/chat-server-nested-dataspace.rkt +++ b/syndicate-examples/chat-server-nested-dataspace.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/chat-server.rkt b/syndicate-examples/chat-server.rkt index ca0a0e9..9eef84c 100644 --- a/syndicate-examples/chat-server.rkt +++ b/syndicate-examples/chat-server.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/echo.rkt b/syndicate-examples/echo.rkt index b161f53..49f3f05 100644 --- a/syndicate-examples/echo.rkt +++ b/syndicate-examples/echo.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/filesystem.rkt b/syndicate-examples/filesystem.rkt index 452f77f..62b8e16 100644 --- a/syndicate-examples/filesystem.rkt +++ b/syndicate-examples/filesystem.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/gl-2d-basic.rkt b/syndicate-examples/gl-2d-basic.rkt index 334b3bc..315c2c1 100644 --- a/syndicate-examples/gl-2d-basic.rkt +++ b/syndicate-examples/gl-2d-basic.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/gl-2d-clock-face.rkt b/syndicate-examples/gl-2d-clock-face.rkt index fbdbf6d..9e6d189 100644 --- a/syndicate-examples/gl-2d-clock-face.rkt +++ b/syndicate-examples/gl-2d-clock-face.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Compare to "ezd" clock-face example from: J. F. Bartlett, “Don’t diff --git a/syndicate-examples/gl-2d-many.rkt b/syndicate-examples/gl-2d-many.rkt index fe13d90..660562d 100644 --- a/syndicate-examples/gl-2d-many.rkt +++ b/syndicate-examples/gl-2d-many.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Multiple animated sprites. diff --git a/syndicate-examples/gl-2d-platformer.rkt b/syndicate-examples/gl-2d-platformer.rkt index dfb56b5..bf8a998 100644 --- a/syndicate-examples/gl-2d-platformer.rkt +++ b/syndicate-examples/gl-2d-platformer.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/gui/gui.rkt b/syndicate-examples/gui/gui.rkt index 1a32e49..952003a 100644 --- a/syndicate-examples/gui/gui.rkt +++ b/syndicate-examples/gui/gui.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/gui/hsv.rkt b/syndicate-examples/gui/hsv.rkt index 91f8e57..c5556a2 100644 --- a/syndicate-examples/gui/hsv.rkt +++ b/syndicate-examples/gui/hsv.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/gui/layout/layout.rkt b/syndicate-examples/gui/layout/layout.rkt index 3b757c7..7a4f4a8 100644 --- a/syndicate-examples/gui/layout/layout.rkt +++ b/syndicate-examples/gui/layout/layout.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Tabular layout diff --git a/syndicate-examples/gui/layout/main.rkt b/syndicate-examples/gui/layout/main.rkt index 6b63fcf..c109228 100644 --- a/syndicate-examples/gui/layout/main.rkt +++ b/syndicate-examples/gui/layout/main.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Layout, based loosely on TeX's boxes-and-glue model. diff --git a/syndicate-examples/gui/layout/sizing.rkt b/syndicate-examples/gui/layout/sizing.rkt index b4b720b..b9b1f0b 100644 --- a/syndicate-examples/gui/layout/sizing.rkt +++ b/syndicate-examples/gui/layout/sizing.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Dimension sizing, based loosely on TeX's boxes-and-glue model. diff --git a/syndicate-examples/info.rkt b/syndicate-examples/info.rkt index b44a31b..b3c4648 100644 --- a/syndicate-examples/info.rkt +++ b/syndicate-examples/info.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang setup/infotab (define collection "syndicate-examples") diff --git a/syndicate-examples/ircd/channel.rkt b/syndicate-examples/ircd/channel.rkt index 41d00c9..1954c53 100644 --- a/syndicate-examples/ircd/channel.rkt +++ b/syndicate-examples/ircd/channel.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/ircd/config.rkt b/syndicate-examples/ircd/config.rkt index ee9008a..8b4c9ec 100644 --- a/syndicate-examples/ircd/config.rkt +++ b/syndicate-examples/ircd/config.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/ircd/dynamic-main.rkt b/syndicate-examples/ircd/dynamic-main.rkt index 25d90dc..28ac36c 100644 --- a/syndicate-examples/ircd/dynamic-main.rkt +++ b/syndicate-examples/ircd/dynamic-main.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate (require/activate syndicate/reload) diff --git a/syndicate-examples/ircd/greeter.rkt b/syndicate-examples/ircd/greeter.rkt index 24130e6..3492f64 100644 --- a/syndicate-examples/ircd/greeter.rkt +++ b/syndicate-examples/ircd/greeter.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/ircd/main.rkt b/syndicate-examples/ircd/main.rkt index 38755b0..17a7bf4 100644 --- a/syndicate-examples/ircd/main.rkt +++ b/syndicate-examples/ircd/main.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate (require/activate syndicate/reload) diff --git a/syndicate-examples/ircd/message.rkt b/syndicate-examples/ircd/message.rkt index f282703..3a28d24 100644 --- a/syndicate-examples/ircd/message.rkt +++ b/syndicate-examples/ircd/message.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/ircd/protocol.rkt b/syndicate-examples/ircd/protocol.rkt index 9aa850e..fc7add3 100644 --- a/syndicate-examples/ircd/protocol.rkt +++ b/syndicate-examples/ircd/protocol.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/ircd/session.rkt b/syndicate-examples/ircd/session.rkt index 2050a5e..999b388 100644 --- a/syndicate-examples/ircd/session.rkt +++ b/syndicate-examples/ircd/session.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/netstack/arp.rkt b/syndicate-examples/netstack/arp.rkt index ed9a1f3..b5751e4 100644 --- a/syndicate-examples/netstack/arp.rkt +++ b/syndicate-examples/netstack/arp.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; ARP protocol, http://tools.ietf.org/html/rfc826 diff --git a/syndicate-examples/netstack/checksum.rkt b/syndicate-examples/netstack/checksum.rkt index 6c2f966..711c892 100644 --- a/syndicate-examples/netstack/checksum.rkt +++ b/syndicate-examples/netstack/checksum.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/netstack/configuration.rkt b/syndicate-examples/netstack/configuration.rkt index b2020e8..4ee7d86 100644 --- a/syndicate-examples/netstack/configuration.rkt +++ b/syndicate-examples/netstack/configuration.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/netstack/demo-config.rkt b/syndicate-examples/netstack/demo-config.rkt index aa7cb42..6d3a9c3 100644 --- a/syndicate-examples/netstack/demo-config.rkt +++ b/syndicate-examples/netstack/demo-config.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Demonstration stack configuration for various hosts. diff --git a/syndicate-examples/netstack/dump-bytes.rkt b/syndicate-examples/netstack/dump-bytes.rkt index 7840ff8..5347de8 100644 --- a/syndicate-examples/netstack/dump-bytes.rkt +++ b/syndicate-examples/netstack/dump-bytes.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: GPL-3.0-or-later -; SPDX-FileCopyrightText: 2012 Tony Garnock-Jones +;;; SPDX-License-Identifier: GPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2012-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate-examples/netstack/ethernet.rkt b/syndicate-examples/netstack/ethernet.rkt index b18cb37..422f6c7 100644 --- a/syndicate-examples/netstack/ethernet.rkt +++ b/syndicate-examples/netstack/ethernet.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Ethernet driver diff --git a/syndicate-examples/netstack/fetchurl.rkt b/syndicate-examples/netstack/fetchurl.rkt index ac8721c..0f74c07 100644 --- a/syndicate-examples/netstack/fetchurl.rkt +++ b/syndicate-examples/netstack/fetchurl.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/netstack/ip.rkt b/syndicate-examples/netstack/ip.rkt index d234be2..edc2921 100644 --- a/syndicate-examples/netstack/ip.rkt +++ b/syndicate-examples/netstack/ip.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/netstack/main.rkt b/syndicate-examples/netstack/main.rkt index 6401a6d..50d7e45 100644 --- a/syndicate-examples/netstack/main.rkt +++ b/syndicate-examples/netstack/main.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/netstack/port-allocator.rkt b/syndicate-examples/netstack/port-allocator.rkt index aa1ac8b..19768f8 100644 --- a/syndicate-examples/netstack/port-allocator.rkt +++ b/syndicate-examples/netstack/port-allocator.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; UDP/TCP port allocator diff --git a/syndicate-examples/netstack/tcp.rkt b/syndicate-examples/netstack/tcp.rkt index 66f8cff..e5e3b69 100644 --- a/syndicate-examples/netstack/tcp.rkt +++ b/syndicate-examples/netstack/tcp.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/netstack/udp.rkt b/syndicate-examples/netstack/udp.rkt index 554de62..85bca04 100644 --- a/syndicate-examples/netstack/udp.rkt +++ b/syndicate-examples/netstack/udp.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/santa.rkt b/syndicate-examples/santa.rkt index 5db0d9e..18affb0 100644 --- a/syndicate-examples/santa.rkt +++ b/syndicate-examples/santa.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Santa Claus Problem diff --git a/syndicate-examples/server-chat-client.rkt b/syndicate-examples/server-chat-client.rkt index 082b81c..281d2c5 100644 --- a/syndicate-examples/server-chat-client.rkt +++ b/syndicate-examples/server-chat-client.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/simple-cross-layer.rkt b/syndicate-examples/simple-cross-layer.rkt index 18d1cc2..32e9894 100644 --- a/syndicate-examples/simple-cross-layer.rkt +++ b/syndicate-examples/simple-cross-layer.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/sqlite.rkt b/syndicate-examples/sqlite.rkt index 82ed01d..7e5bc93 100644 --- a/syndicate-examples/sqlite.rkt +++ b/syndicate-examples/sqlite.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/stdin-echo.rkt b/syndicate-examples/stdin-echo.rkt index 81915c9..6974954 100644 --- a/syndicate-examples/stdin-echo.rkt +++ b/syndicate-examples/stdin-echo.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/time.rkt b/syndicate-examples/time.rkt index fb878db..ca70d1c 100644 --- a/syndicate-examples/time.rkt +++ b/syndicate-examples/time.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/udp-echo.rkt b/syndicate-examples/udp-echo.rkt index 163b39b..3c481e1 100644 --- a/syndicate-examples/udp-echo.rkt +++ b/syndicate-examples/udp-echo.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/udp-multicast.rkt b/syndicate-examples/udp-multicast.rkt index 018c630..a68012a 100644 --- a/syndicate-examples/udp-multicast.rkt +++ b/syndicate-examples/udp-multicast.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate-examples/web-core.rkt b/syndicate-examples/web-core.rkt index aa0ec19..483f485 100644 --- a/syndicate-examples/web-core.rkt +++ b/syndicate-examples/web-core.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/assertions.rkt b/syndicate/assertions.rkt index fa021c1..e150468 100644 --- a/syndicate/assertions.rkt +++ b/syndicate/assertions.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/bag.rkt b/syndicate/bag.rkt index aeb3a48..58f7796 100644 --- a/syndicate/bag.rkt +++ b/syndicate/bag.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Bags and Deltas (which are Bags where item-counts can be negative). diff --git a/syndicate/bin/syndicate-server-debug.rkt b/syndicate/bin/syndicate-server-debug.rkt index 686205d..e1445e4 100644 --- a/syndicate/bin/syndicate-server-debug.rkt +++ b/syndicate/bin/syndicate-server-debug.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket (module+ main diff --git a/syndicate/bin/syndicate-server.rkt b/syndicate/bin/syndicate-server.rkt index 431aebc..47e937c 100644 --- a/syndicate/bin/syndicate-server.rkt +++ b/syndicate/bin/syndicate-server.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket (module+ main diff --git a/syndicate/dataflow.rkt b/syndicate/dataflow.rkt index 35d7600..fbdc845 100644 --- a/syndicate/dataflow.rkt +++ b/syndicate/dataflow.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Simple lazy dataflow. diff --git a/syndicate/dataspace.rkt b/syndicate/dataspace.rkt index 2c0dcc4..e6884a7 100644 --- a/syndicate/dataspace.rkt +++ b/syndicate/dataspace.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/distributed.rkt b/syndicate/distributed.rkt index a498c1c..25d6cf9 100644 --- a/syndicate/distributed.rkt +++ b/syndicate/distributed.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/buffer.rkt b/syndicate/distributed/buffer.rkt index b805e3e..7975079 100644 --- a/syndicate/distributed/buffer.rkt +++ b/syndicate/distributed/buffer.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/client.rkt b/syndicate/distributed/client.rkt index cb9e5e6..c13768c 100644 --- a/syndicate/distributed/client.rkt +++ b/syndicate/distributed/client.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/client/loopback.rkt b/syndicate/distributed/client/loopback.rkt index 0a2459b..303e3cd 100644 --- a/syndicate/distributed/client/loopback.rkt +++ b/syndicate/distributed/client/loopback.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/client/tcp.rkt b/syndicate/distributed/client/tcp.rkt index d2851c7..c82e72b 100644 --- a/syndicate/distributed/client/tcp.rkt +++ b/syndicate/distributed/client/tcp.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/federation.rkt b/syndicate/distributed/federation.rkt index 3cbb7c0..35de57a 100644 --- a/syndicate/distributed/federation.rkt +++ b/syndicate/distributed/federation.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Relays for federation, both "client" (outbound) and "server" (inbound) ends. diff --git a/syndicate/distributed/heartbeat.rkt b/syndicate/distributed/heartbeat.rkt index 0b5ee81..793df07 100644 --- a/syndicate/distributed/heartbeat.rkt +++ b/syndicate/distributed/heartbeat.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/internal-protocol.rkt b/syndicate/distributed/internal-protocol.rkt index 9b0a390..9f670d1 100644 --- a/syndicate/distributed/internal-protocol.rkt +++ b/syndicate/distributed/internal-protocol.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Internal server and federation protocol diff --git a/syndicate/distributed/main.rkt b/syndicate/distributed/main.rkt index 144fa55..1feb509 100644 --- a/syndicate/distributed/main.rkt +++ b/syndicate/distributed/main.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/protocol.rkt b/syndicate/distributed/protocol.rkt index ac424f4..8a41149 100644 --- a/syndicate/distributed/protocol.rkt +++ b/syndicate/distributed/protocol.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/server.rkt b/syndicate/distributed/server.rkt index c9cc579..6f32576 100644 --- a/syndicate/distributed/server.rkt +++ b/syndicate/distributed/server.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/server/tcp.rkt b/syndicate/distributed/server/tcp.rkt index ac0d23a..629bfcb 100644 --- a/syndicate/distributed/server/tcp.rkt +++ b/syndicate/distributed/server/tcp.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/server/websocket.rkt b/syndicate/distributed/server/websocket.rkt index b9244bb..3c1ca01 100644 --- a/syndicate/distributed/server/websocket.rkt +++ b/syndicate/distributed/server/websocket.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/turn.rkt b/syndicate/distributed/turn.rkt index 3e98eb0..ed8f165 100644 --- a/syndicate/distributed/turn.rkt +++ b/syndicate/distributed/turn.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/distributed/wire-protocol.rkt b/syndicate/distributed/wire-protocol.rkt index 243467c..e81c3ff 100644 --- a/syndicate/distributed/wire-protocol.rkt +++ b/syndicate/distributed/wire-protocol.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/drivers/config.rkt b/syndicate/drivers/config.rkt index 8d4d823..a14fd2d 100644 --- a/syndicate/drivers/config.rkt +++ b/syndicate/drivers/config.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Monitor configuration files. diff --git a/syndicate/drivers/external-event.rkt b/syndicate/drivers/external-event.rkt index 6e7b3a8..765bf30 100644 --- a/syndicate/drivers/external-event.rkt +++ b/syndicate/drivers/external-event.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/drivers/filesystem.rkt b/syndicate/drivers/filesystem.rkt index f8fb622..7e15282 100644 --- a/syndicate/drivers/filesystem.rkt +++ b/syndicate/drivers/filesystem.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Filesystem change monitor driver diff --git a/syndicate/drivers/gl-2d.rkt b/syndicate/drivers/gl-2d.rkt index 42f752e..09a49cd 100644 --- a/syndicate/drivers/gl-2d.rkt +++ b/syndicate/drivers/gl-2d.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/drivers/gl-2d/affine.rkt b/syndicate/drivers/gl-2d/affine.rkt index 98f55d8..1e35443 100644 --- a/syndicate/drivers/gl-2d/affine.rkt +++ b/syndicate/drivers/gl-2d/affine.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; 2D affine transformation matrices. diff --git a/syndicate/drivers/gl-2d/texture.rkt b/syndicate/drivers/gl-2d/texture.rkt index f8f6d5d..3c01e1d 100644 --- a/syndicate/drivers/gl-2d/texture.rkt +++ b/syndicate/drivers/gl-2d/texture.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/gui diff --git a/syndicate/drivers/sqlite.rkt b/syndicate/drivers/sqlite.rkt index dc22ecf..7794c09 100644 --- a/syndicate/drivers/sqlite.rkt +++ b/syndicate/drivers/sqlite.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; SQLite driver diff --git a/syndicate/drivers/tcp.rkt b/syndicate/drivers/tcp.rkt index 76d2447..3fbd190 100644 --- a/syndicate/drivers/tcp.rkt +++ b/syndicate/drivers/tcp.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; TCP/IP driver interface. diff --git a/syndicate/drivers/timer.rkt b/syndicate/drivers/timer.rkt index 16e2f16..5af7eb6 100644 --- a/syndicate/drivers/timer.rkt +++ b/syndicate/drivers/timer.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Timer driver. diff --git a/syndicate/drivers/udp.rkt b/syndicate/drivers/udp.rkt index e9099b7..ef73694 100644 --- a/syndicate/drivers/udp.rkt +++ b/syndicate/drivers/udp.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/drivers/web.rkt b/syndicate/drivers/web.rkt index c32a745..5d3b4ac 100644 --- a/syndicate/drivers/web.rkt +++ b/syndicate/drivers/web.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/event-expander.rkt b/syndicate/event-expander.rkt index 05132c5..a2b21d9 100644 --- a/syndicate/event-expander.rkt +++ b/syndicate/event-expander.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/functional-queue.rkt b/syndicate/functional-queue.rkt index 1493258..4b93245 100644 --- a/syndicate/functional-queue.rkt +++ b/syndicate/functional-queue.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/ground.rkt b/syndicate/ground.rkt index facafd8..aa0a0a2 100644 --- a/syndicate/ground.rkt +++ b/syndicate/ground.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Breaking the infinite tower of nested dataspaces, connecting to Racket at the fracture line. diff --git a/syndicate/info.rkt b/syndicate/info.rkt index d2cf7cf..e69efe9 100644 --- a/syndicate/info.rkt +++ b/syndicate/info.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang setup/infotab (define collection "syndicate") diff --git a/syndicate/lang.rkt b/syndicate/lang.rkt index 08489d7..4760288 100644 --- a/syndicate/lang.rkt +++ b/syndicate/lang.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/main.rkt b/syndicate/main.rkt index eb07066..d71bc3a 100644 --- a/syndicate/main.rkt +++ b/syndicate/main.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/mc/mc-chat-client.rkt b/syndicate/mc/mc-chat-client.rkt index 6863a38..ba57225 100644 --- a/syndicate/mc/mc-chat-client.rkt +++ b/syndicate/mc/mc-chat-client.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/mc/udp-dataspace.rkt b/syndicate/mc/udp-dataspace.rkt index 985d724..2fa94cd 100644 --- a/syndicate/mc/udp-dataspace.rkt +++ b/syndicate/mc/udp-dataspace.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/pattern-expander.rkt b/syndicate/pattern-expander.rkt index 68f8568..6d6984a 100644 --- a/syndicate/pattern-expander.rkt +++ b/syndicate/pattern-expander.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/pattern.rkt b/syndicate/pattern.rkt index 7a58bad..9bd5215 100644 --- a/syndicate/pattern.rkt +++ b/syndicate/pattern.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/protocol/credit.rkt b/syndicate/protocol/credit.rkt index 54f94f5..f46c9d2 100644 --- a/syndicate/protocol/credit.rkt +++ b/syndicate/protocol/credit.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate diff --git a/syndicate/protocol/instance.rkt b/syndicate/protocol/instance.rkt index 18a9034..c825036 100644 --- a/syndicate/protocol/instance.rkt +++ b/syndicate/protocol/instance.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; "Instance" protocol for discriminating among diff --git a/syndicate/reassert.rkt b/syndicate/reassert.rkt index dcb42b4..2a4f600 100644 --- a/syndicate/reassert.rkt +++ b/syndicate/reassert.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Re-assert an assertion when one of a set of triggering events is seen, after a delay. diff --git a/syndicate/reflection.rkt b/syndicate/reflection.rkt index 0b166fe..fe0629a 100644 --- a/syndicate/reflection.rkt +++ b/syndicate/reflection.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Reflective protocols diff --git a/syndicate/relay.rkt b/syndicate/relay.rkt index d8494fa..d10ab01 100644 --- a/syndicate/relay.rkt +++ b/syndicate/relay.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Cross-layer relaying between adjacent dataspaces diff --git a/syndicate/reload.rkt b/syndicate/reload.rkt index 784d241..10d4951 100644 --- a/syndicate/reload.rkt +++ b/syndicate/reload.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Crude steps toward reloadable Syndicate modules diff --git a/syndicate/skeleton.rkt b/syndicate/skeleton.rkt index 6d8d931..996eccf 100644 --- a/syndicate/skeleton.rkt +++ b/syndicate/skeleton.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; "Skeletons" describe the indexed structure of a dataspace. diff --git a/syndicate/supervise.rkt b/syndicate/supervise.rkt index 4e7e734..dbebff9 100644 --- a/syndicate/supervise.rkt +++ b/syndicate/supervise.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate ;; Extremely simple single-actor supervision diff --git a/syndicate/support/bytes.rkt b/syndicate/support/bytes.rkt index ec8c754..3809423 100644 --- a/syndicate/support/bytes.rkt +++ b/syndicate/support/bytes.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/support/hash.rkt b/syndicate/support/hash.rkt index 1a4a2d0..a4d4bd5 100644 --- a/syndicate/support/hash.rkt +++ b/syndicate/support/hash.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Hash-table utilities that are not (yet) part of Racket diff --git a/syndicate/support/struct.rkt b/syndicate/support/struct.rkt index 101635b..51e5e0a 100644 --- a/syndicate/support/struct.rkt +++ b/syndicate/support/struct.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Misc support routines not (yet) provided by racket itself diff --git a/syndicate/syntax-classes.rkt b/syndicate/syntax-classes.rkt index 54f1377..0617b74 100644 --- a/syndicate/syntax-classes.rkt +++ b/syndicate/syntax-classes.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Common syntax classes. diff --git a/syndicate/syntax.rkt b/syndicate/syntax.rkt index adfd0d6..9cc4be4 100644 --- a/syndicate/syntax.rkt +++ b/syndicate/syntax.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; DSL syntax over the API of dataspace.rkt diff --git a/syndicate/term.rkt b/syndicate/term.rkt index a0737de..7dd1c6e 100644 --- a/syndicate/term.rkt +++ b/syndicate/term.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base ;; Like pattern.rkt, but for dynamic use rather than compile-time use. diff --git a/syndicate/test-implementation.rkt b/syndicate/test-implementation.rkt index 3092e3b..28d961a 100644 --- a/syndicate/test-implementation.rkt +++ b/syndicate/test-implementation.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket ;; Test drivers for Syndicate implementation. diff --git a/syndicate/test/core/abandon-actions-on-exn.rkt b/syndicate/test/core/abandon-actions-on-exn.rkt index ae041d1..288aaf8 100644 --- a/syndicate/test/core/abandon-actions-on-exn.rkt +++ b/syndicate/test/core/abandon-actions-on-exn.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Tests that pending actions are abandoned during a turn in which there is an exception diff --git a/syndicate/test/core/clean-adhoc-on-termination.rkt b/syndicate/test/core/clean-adhoc-on-termination.rkt index 2926a50..21a83f9 100644 --- a/syndicate/test/core/clean-adhoc-on-termination.rkt +++ b/syndicate/test/core/clean-adhoc-on-termination.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Tests that adhoc assertions are always removed on termination, even diff --git a/syndicate/test/core/complex-pattern.rkt b/syndicate/test/core/complex-pattern.rkt index 3e3714a..3eb0141 100644 --- a/syndicate/test/core/complex-pattern.rkt +++ b/syndicate/test/core/complex-pattern.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/core/correct-retraction-on-exn.rkt b/syndicate/test/core/correct-retraction-on-exn.rkt index dbbce75..e63cefc 100644 --- a/syndicate/test/core/correct-retraction-on-exn.rkt +++ b/syndicate/test/core/correct-retraction-on-exn.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Goal: no matter the circumstances (e.g. exception in a stop diff --git a/syndicate/test/core/death-during-startup.rkt b/syndicate/test/core/death-during-startup.rkt index e961816..2e87ed7 100644 --- a/syndicate/test/core/death-during-startup.rkt +++ b/syndicate/test/core/death-during-startup.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; An error signalled during setup of a new actor's root facet must diff --git a/syndicate/test/core/death-during-turn.rkt b/syndicate/test/core/death-during-turn.rkt index 17e0664..d987b19 100644 --- a/syndicate/test/core/death-during-turn.rkt +++ b/syndicate/test/core/death-during-turn.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; An error signalled mid-turn must cause previous actions to be diff --git a/syndicate/test/core/double-cross-layer.rkt b/syndicate/test/core/double-cross-layer.rkt index 074e421..24ff9c9 100644 --- a/syndicate/test/core/double-cross-layer.rkt +++ b/syndicate/test/core/double-cross-layer.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/core/during-criterion-snapshotting.rkt b/syndicate/test/core/during-criterion-snapshotting.rkt index 9899364..f457b07 100644 --- a/syndicate/test/core/during-criterion-snapshotting.rkt +++ b/syndicate/test/core/during-criterion-snapshotting.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; See .../syndicate/examples/actor/example-during-criterion-shapshotting.rkt diff --git a/syndicate/test/core/nesting-confusion-2.rkt b/syndicate/test/core/nesting-confusion-2.rkt index 7836a86..486270f 100644 --- a/syndicate/test/core/nesting-confusion-2.rkt +++ b/syndicate/test/core/nesting-confusion-2.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; 2018-11-20 Prior to the commit that introduced this test case (and diff --git a/syndicate/test/core/nesting-confusion.rkt b/syndicate/test/core/nesting-confusion.rkt index ca2b7ab..3ee0977 100644 --- a/syndicate/test/core/nesting-confusion.rkt +++ b/syndicate/test/core/nesting-confusion.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Uhoh! The current (2018-05-02) scheme for relaying between diff --git a/syndicate/test/core/partial-retraction.rkt b/syndicate/test/core/partial-retraction.rkt index 37472f6..6560f56 100644 --- a/syndicate/test/core/partial-retraction.rkt +++ b/syndicate/test/core/partial-retraction.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; See .../racket/syndicate/examples/actor/example-partial-retraction.rkt diff --git a/syndicate/test/core/pending-changes.rkt b/syndicate/test/core/pending-changes.rkt index 7d409bd..40ec883 100644 --- a/syndicate/test/core/pending-changes.rkt +++ b/syndicate/test/core/pending-changes.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; diff --git a/syndicate/test/core/responsibility-transfer-1.rkt b/syndicate/test/core/responsibility-transfer-1.rkt index 6b38709..d1b097f 100644 --- a/syndicate/test/core/responsibility-transfer-1.rkt +++ b/syndicate/test/core/responsibility-transfer-1.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; See .../syndicate/examples/actor/example-responsibility-transfer-1.rkt diff --git a/syndicate/test/core/responsibility-transfer-2.rkt b/syndicate/test/core/responsibility-transfer-2.rkt index 72cc44d..71a3451 100644 --- a/syndicate/test/core/responsibility-transfer-2.rkt +++ b/syndicate/test/core/responsibility-transfer-2.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Suite of four related tests. diff --git a/syndicate/test/core/simple-addition.rkt b/syndicate/test/core/simple-addition.rkt index f0523e2..77b35c8 100644 --- a/syndicate/test/core/simple-addition.rkt +++ b/syndicate/test/core/simple-addition.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/core/simple-box-and-client.rkt b/syndicate/test/core/simple-box-and-client.rkt index b47460d..817efba 100644 --- a/syndicate/test/core/simple-box-and-client.rkt +++ b/syndicate/test/core/simple-box-and-client.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Box-and-client diff --git a/syndicate/test/core/simple-cross-layer.rkt b/syndicate/test/core/simple-cross-layer.rkt index 3f6d1d8..ec98190 100644 --- a/syndicate/test/core/simple-cross-layer.rkt +++ b/syndicate/test/core/simple-cross-layer.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/core/spawn-and-send.rkt b/syndicate/test/core/spawn-and-send.rkt index 62fea44..5541e40 100644 --- a/syndicate/test/core/spawn-and-send.rkt +++ b/syndicate/test/core/spawn-and-send.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Test the "spawn and send" idiom, where event ordering is exploited diff --git a/syndicate/test/core/state-machine.rkt b/syndicate/test/core/state-machine.rkt index a11923b..900957f 100644 --- a/syndicate/test/core/state-machine.rkt +++ b/syndicate/test/core/state-machine.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/core/supervise.rkt b/syndicate/test/core/supervise.rkt index 9eae463..2dff143 100644 --- a/syndicate/test/core/supervise.rkt +++ b/syndicate/test/core/supervise.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Simple tests of supervision functionality. diff --git a/syndicate/test/distributed/nesting-confusion.rkt b/syndicate/test/distributed/nesting-confusion.rkt index 858a5dd..3656ef5 100644 --- a/syndicate/test/distributed/nesting-confusion.rkt +++ b/syndicate/test/distributed/nesting-confusion.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Analogous to the `core/nesting-confusion.rkt` test case. diff --git a/syndicate/test/distributed/observation-visibility.rkt b/syndicate/test/distributed/observation-visibility.rkt index 5284071..b36828b 100644 --- a/syndicate/test/distributed/observation-visibility.rkt +++ b/syndicate/test/distributed/observation-visibility.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; A client observing some part of the server's dataspace should cause diff --git a/syndicate/test/pattern-test.rkt b/syndicate/test/pattern-test.rkt index 8ba8b45..d03d508 100644 --- a/syndicate/test/pattern-test.rkt +++ b/syndicate/test/pattern-test.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket diff --git a/syndicate/test/raw-dataspace.rkt b/syndicate/test/raw-dataspace.rkt index 0ba2763..c60ee10 100644 --- a/syndicate/test/raw-dataspace.rkt +++ b/syndicate/test/raw-dataspace.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/test/speed/speed-box-and-client.rkt b/syndicate/test/speed/speed-box-and-client.rkt index ddc37aa..2b512f4 100644 --- a/syndicate/test/speed/speed-box-and-client.rkt +++ b/syndicate/test/speed/speed-box-and-client.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation diff --git a/syndicate/test/speed/speed-message-sending.rkt b/syndicate/test/speed/speed-message-sending.rkt index 6d854a4..c490561 100644 --- a/syndicate/test/speed/speed-message-sending.rkt +++ b/syndicate/test/speed/speed-message-sending.rkt @@ -1,5 +1,5 @@ -; SPDX-License-Identifier: LGPL-3.0-or-later -; SPDX-FileCopyrightText: 2010-2021 Tony Garnock-Jones +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones #lang syndicate/test-implementation ;; Rough message send speed test