Skip to content

Commit 7b7c6b2

Browse files
yushan87yushan87
authored
Merge pull request #339 from yushan87/license-year-update
License year update
2 parents 676e1b6 + 5eaaccc commit 7b7c6b2

File tree

849 files changed

+856
-875
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

849 files changed

+856
-875
lines changed

‎LICENSE.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
BSD 3-Clause License
22

3-
Copyright (c) 2018, RESOLVE Software Research Group (RSRG)
3+
Copyright (c) 2019, RESOLVE Software Research Group (RSRG)
44
All rights reserved.
55

66
Redistribution and use in source and binary forms, with or without

‎README.md

Lines changed: 8 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -4,39 +4,20 @@ What is RESOLVE?
44
[![License](https://img.shields.io/badge/license-BSD-blue.svg)](https://raw.githubusercontent.com/ClemsonRSRG/RESOLVE/master/LICENSE.txt)
55
<img align="right" src="src/resources/images/resolve_logo.png" width="200"/>
66

7-
RESOLVE (REusable SOftware Language with VErification) is a specification and
8-
programming language designed for verifying correctness of object oriented
9-
programs.
10-
11-
The RESOLVE language is designed from the ground up to facilitate *mathematical
12-
reasoning*. As such, the language provides syntactic slots for assertions such
13-
as pre-post conditions that are capable of abstractly describing a program's
14-
intended behavior. In writing these assertions, users are free to draw from from
15-
a variety of pre-existing and user-defined mathematical theories containing
16-
fundamental axioms, definitions, and results necessary/useful in establishing
17-
program correctness.
18-
19-
All phases of the verification process spanning verification condition (VC)
20-
generation to proving are performed in-house, while RESOLVE programs are
21-
translated to Java and run on the JVM.
7+
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
8+
9+
The RESOLVE language is designed from the ground up to facilitate *mathematical reasoning*. As such, the language provides syntactic slots for assertions such as pre-post conditions that are capable of abstractly describing a program's intended behavior. In writing these assertions, users are free to draw from from a variety of pre-existing and user-defined mathematical theories containing fundamental axioms, definitions, and results necessary/useful in establishing program correctness.
10+
11+
All phases of the verification process spanning verification condition (VC) generation to proving are performed in-house, while RESOLVE programs are translated to Java and run on the JVM.
2212

2313
## Authors and major contributors
2414

25-
The creation and continual evolution of the RESOLVE language is owed to an
26-
ongoing joint effort between Clemson University, The Ohio State University, and
27-
countless educators and researchers from a variety of [other](https://www.cs.clemson.edu/resolve/about.html)
28-
institutions.
15+
The creation and continual evolution of the RESOLVE language is owed to an ongoing joint effort between Clemson University, The Ohio State University, and countless educators and researchers from a variety of [other](https://www.cs.clemson.edu/resolve/about.html) institutions.
2916

30-
Developers of this particular test/working-iteration of the RESOLVE compiler
31-
include:
17+
Developers of this particular test/working-iteration of the `RESOLVE Compiler` include:
3218

3319
* [RESOLVE Software Research Group (RSRG)](https://www.cs.clemson.edu/resolve/) - School of Computing, Clemson University
3420

3521
## Copyright and license
3622

37-
Copyright © 2018, [RESOLVE Software Research Group (RSRG)](https://www.cs.clemson.edu/resolve/). All rights reserved.
38-
The use and distribution terms for this software are covered by the BSD 3-clause
39-
license which can be found in the file `LICENSE.txt` at the root of this repository.
40-
By using this software in any fashion, you are agreeing to be bound by the terms
41-
of this license. You must not remove this notice, or any other, from this
42-
software.
23+
Copyright © 2019, [RESOLVE Software Research Group (RSRG)](https://www.cs.clemson.edu/resolve/). All rights reserved. The use and distribution terms for this software are covered by the BSD 3-clause license which can be found in the file `LICENSE.txt` at the root of this repository. By using this software in any fashion, you are agreeing to be bound by the terms of this license. You must not remove this notice, or any other, from this software.

‎pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -216,7 +216,7 @@
216216
<java>SLASHSTAR_STYLE</java>
217217
</mapping>
218218
<properties>
219-
<year>2018</year>
219+
<year>2019</year>
220220
</properties>
221221
</configuration>
222222
<executions>

‎src/main/java/edu/clemson/cs/r2jt/Main.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* Main.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/ResolveCompiler.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ResolveCompiler.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/AbstractFunctionExp.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* AbstractFunctionExp.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/AbstractParameterizedModuleDec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* AbstractParameterizedModuleDec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/AffectsItem.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* AffectsItem.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/AltItemExp.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* AltItemExp.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/AlternativeExp.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* AlternativeExp.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/ArbitraryExpTy.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ArbitraryExpTy.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/ArrayTy.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ArrayTy.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/AssumeStmt.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* AssumeStmt.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/AuxCodeStmt.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* AuxCodeStmt.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/AuxVarDec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* AuxVarDec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/BetweenExp.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* BetweenExp.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/BooleanTy.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* BooleanTy.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/CallStmt.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* CallStmt.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/CartProdTy.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* CartProdTy.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/CategoricalDefinitionDec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* CategoricalDefinitionDec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/CharExp.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* CharExp.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/ChoiceItem.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ChoiceItem.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/ConceptBodyModuleDec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ConceptBodyModuleDec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/ConceptModuleDec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ConceptModuleDec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/ConceptTypeParamDec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ConceptTypeParamDec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/ConditionItem.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ConditionItem.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/ConfirmStmt.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ConfirmStmt.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/ConstantParamDec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ConstantParamDec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/ConstructedTy.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* ConstructedTy.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/CrossTypeExpression.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* CrossTypeExpression.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/Dec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* Dec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/DeductionExp.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* DeductionExp.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/DefinitionBody.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* DefinitionBody.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/DefinitionDec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* DefinitionDec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/DotExp.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* DotExp.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/DoubleExp.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* DoubleExp.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/EnhancementBodyItem.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* EnhancementBodyItem.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/EnhancementBodyModuleDec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* EnhancementBodyModuleDec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/EnhancementItem.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* EnhancementItem.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

‎src/main/java/edu/clemson/cs/r2jt/absyn/EnhancementModuleDec.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
* EnhancementModuleDec.java
33
* ---------------------------------
4-
* Copyright (c) 2018
4+
* Copyright (c) 2019
55
* RESOLVE Software Research Group
66
* School of Computing
77
* Clemson University

0 commit comments

Comments
 (0)