-
Notifications
You must be signed in to change notification settings - Fork 32
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Adding legal boilerplate to source files.
- Loading branch information
Showing
26 changed files
with
630 additions
and
26 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,4 @@ | ||
| Norman Mu | ||
| Sanjit Seshia | ||
| Rohit Sinha | ||
| Pramod Subramanyan |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,25 @@ | ||
| UCLID5 Verification and Synthesis Engine | ||
|
|
||
| Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| All Rights Reserved. | ||
|
|
||
| Permission to use, copy, modify, and distribute this software | ||
| and its documentation for educational, research, and not-for-profit purposes, | ||
| without fee and without a signed licensing agreement, is hereby granted, | ||
| provided that the above copyright notice, this paragraph and the following two | ||
| paragraphs appear in all copies, modifications, and distributions. | ||
|
|
||
| Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
|
|
||
| IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
|
|
||
| REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| UPDATES, ENHANCEMENTS, OR MODIFICATIONS. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Authors: Rohit Sinha, Pramod Subramanyan | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Authors: Rohit Sinha, Pramod Subramanyan | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Authors: Rohit Sinha, Pramod Subramanyan | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Author : Pramod Subramanyan | ||
| * | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Author : Pramod Subramanyan | ||
| * | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Authors: Pramod Subramanyan. | ||
| * | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Author : Pramod Subramanyan | ||
| * | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Author : Pramod Subramanyan | ||
| * | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Author: Pramod Subramanyan | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Author: Pramod Subramanyan | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,29 @@ | ||
| /* | ||
| * UCLID5 | ||
| * UCLID5 Verification and Synthesis Engine | ||
| * | ||
| * Copyright (c) 2017. The Regents of the University of California (Regents). | ||
| * All Rights Reserved. | ||
| * | ||
| * Permission to use, copy, modify, and distribute this software | ||
| * and its documentation for educational, research, and not-for-profit purposes, | ||
| * without fee and without a signed licensing agreement, is hereby granted, | ||
| * provided that the above copyright notice, this paragraph and the following two | ||
| * paragraphs appear in all copies, modifications, and distributions. | ||
| * | ||
| * Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck Avenue, | ||
| * Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, [email protected], | ||
| * http://ipira.berkeley.edu/industry-info for commercial licensing opportunities. | ||
| * | ||
| * IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, | ||
| * INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF | ||
| * THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN | ||
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
| * | ||
| * REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | ||
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | ||
| * THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS | ||
| * PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, | ||
| * UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | ||
| * | ||
| * Author: Pramod Subramanyan | ||
|
|
||
Oops, something went wrong.