Update LICENSE

logsem · Nov 13, 2023 · 4a9ca27 · 4a9ca27
1 parent a730977
commit 4a9ca27
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/LICENSE b/LICENSE
@@ -1,6 +1,15 @@
 BSD 2-Clause License
 
-Copyright (c) 2023, Logic and Semantics @ Aarhus University
+This applies to all files in this archive except folder
+"system-semantics".
+
+Copyright (c) 2023,
+   Zongyuan Liu
+   Angus Hammond
+   Jean Pichon-Pharabod
+   Thibaut Pérami
+
+All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions are met: