Browse Source

Initial commit.

tags/afp-UPF-2014-11-30
Achim D. Brucker 2 years ago
commit
1fb8d8ad7d
2 changed files with 50 additions and 0 deletions
  1. 33
    0
      LICENSE
  2. 17
    0
      README.md

+ 33
- 0
LICENSE View File

@@ -0,0 +1,33 @@
1
+Copyright (c) 2005-2012 ETH Zurich, Switzerland
2
+              2008-2014 Achim D. Brucker, Germany
3
+              2009-2014 Université Paris-Sud, France
4
+ *
5
+All rights reserved.
6
+ *
7
+Redistribution and use in source and binary forms, with or without
8
+modification, are permitted provided that the following conditions are
9
+met:
10
+ *
11
+    * Redistributions of source code must retain the above copyright
12
+      notice, this list of conditions and the following disclaimer.
13
+ *
14
+    * Redistributions in binary form must reproduce the above
15
+      copyright notice, this list of conditions and the following
16
+      disclaimer in the documentation and/or other materials provided
17
+      with the distribution.
18
+ *
19
+    * Neither the name of the copyright holders nor the names of its
20
+      contributors may be used to endorse or promote products derived
21
+      from this software without specific prior written permission.
22
+ *
23
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
24
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
25
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
26
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
27
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
28
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
29
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
30
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
31
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
32
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
33
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

+ 17
- 0
README.md View File

@@ -0,0 +1,17 @@
1
+# The Unified Policy Framework (UPF)
2
+This git repository contains a local mirror of
3
+[The Unified Policy Framework (UPF)](https://www.isa-afp.org/entries/UPF.shtml)
4
+entry of the
5
+[Archive of Formal Proofs (AFP)](https://www.isa-afp.org).
6
+
7
+The official AFP releases are tagged. Additionally, this repository
8
+may contain extensions (i.e., a development version) that may be
9
+submitted (as an update of the UPF entry) at a later stage.
10
+
11
+## Authors
12
+* [Achim D. Brucker](http://www.brucker.ch/)
13
+* Lukas Brügger
14
+* [Burkhart Wolff](https://www.lri.fr/~wolff/)
15
+
16
+## License
17
+This project is licensed under a 3-clause BSD-style license.

Loading…
Cancel
Save