pog-string-based
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>org.overturetool.core</groupId>
<artifactId>pog-string-based</artifactId>
<version>2.0.8</version>
</dependency><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/maven-v4_0_0.xsd">
<modelVersion>4.0.0</modelVersion>
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.0.8</version>
<relativePath>../pom.xml</relativePath>
</parent>
<groupId>org.overturetool.core</groupId>
<artifactId>pog-string-based</artifactId>
<name>VDM Proof Obligation Generator</name>
<dependencies>
<dependency>
<groupId>org.overturetool.core</groupId>
<artifactId>ast</artifactId>
<version>${project.version}</version>
</dependency>
<dependency>
<groupId>org.overturetool.core</groupId>
<artifactId>parser</artifactId>
<version>${project.version}</version>
</dependency>
<dependency>
<groupId>org.overturetool.core</groupId>
<artifactId>typechecker</artifactId>
<version>${project.version}</version>
</dependency>
<dependency>
<groupId>org.overturetool.core</groupId>
<artifactId>testframework</artifactId>
<version>${project.version}</version>
</dependency>
</dependencies>
<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-surefire-plugin</artifactId>
<configuration>
<testFailureIgnore>false</testFailureIgnore>
<!-- the tests use std out a lot so we dont want that in the console -->
<redirectTestOutputToFile>true</redirectTestOutputToFile>
<includes>
<include>**/*Test.java</include>
<include>**/*Test?.java</include>
<include>**/*TestSuite.java</include>
</includes>
</configuration>
</plugin>
</plugins>
</build>
</project>
Open source consumption has exploded, with estimates placing this year’s downloads at over 6.6 trillion. This reliance on open source components, now making up to 90% of the modern software application, has ushered in both unprecedented innovation and complex challenges for software supply chains.
View the Report