-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpom.xml
66 lines (60 loc) · 2.64 KB
/
pom.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
<?xml version="1.0" encoding="UTF-8"?>
<!--
Assurance Contract Annex Plugin for OSATE
Copyright 2023 Carnegie Mellon University.
NO WARRANTY. THIS CARNEGIE MELLON UNIVERSITY AND SOFTWARE ENGINEERING INSTITUTE
MATERIAL IS FURNISHED ON AN "AS-IS" BASIS. CARNEGIE MELLON UNIVERSITY MAKES NO
WARRANTIES OF ANY KIND, EITHER EXPRESSED OR IMPLIED, AS TO ANY MATTER INCLUDING, BUT
NOT LIMITED TO, WARRANTY OF FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR
RESULTS OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT MAKE
ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT, TRADEMARK, OR COPYRIGHT
INFRINGEMENT.
Released under a BSD (SEI)-style license, please see license.txt or contact
[email protected] for full terms.
[DISTRIBUTION STATEMENT A] This material has been approved for public release and
unlimited distribution. Please see Copyright notice for non-US Government use and
distribution.
Carnegie Mellon® is registered in the U.S. Patent and Trademark Office by Carnegie
Mellon University.
This Software includes and/or makes use of the following Third-Party Software subject
to its own license:
1. Z3 (https://github.com/Z3Prover/z3/blob/master/LICENSE.txt) Copyright Microsoft
Corporation.
2. Eclipse (https://www.eclipse.org/legal/epl-2.0/) Copyright 2000, 2023 Eclipse
contributors and others.
DM23-0575
-->
<project xmlns="http://maven.apache.org/POM/4.0.0"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<parent>
<groupId>org.osate</groupId>
<artifactId>osate2.main-pom</artifactId>
<version>2.14.0-SNAPSHOT</version>
</parent>
<groupId>org.osate</groupId>
<artifactId>contract.parent</artifactId>
<packaging>pom</packaging>
<version>1.0.0-SNAPSHOT</version>
<repositories>
<repository>
<id>osate-testing</id>
<url>http://osate-build.sei.cmu.edu/download/osate/testing/updates</url>
<layout>p2</layout>
</repository>
</repositories>
<modules>
<module>org.osate.contract</module>
<module>org.osate.contract.annex</module>
<module>org.osate.contract.evaluation.ui</module>
<module>org.osate.contract.ide</module>
<!--module>org.osate.contract.tests</module-->
<module>org.osate.contract.ui</module>
<!--module>org.osate.contract.ui.tests</module-->
<module>org.osate.contract.feature</module>
<module>org.osate.contract.repository</module>
<module>org.osate.contract.help</module>
<module>org.osate.fia.contrib</module>
</modules>
</project>