issues
search
ge-high-assurance
/
VERDICT
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
https://ge-high-assurance.github.io/VERDICT
BSD 3-Clause "New" or "Revised" License
40
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump org.apache.maven.plugins:maven-dependency-plugin from 3.6.1 to 3.8.0 in /tools
#647
dependabot[bot]
opened
1 month ago
0
Bump docker/build-push-action from 5.3.0 to 6.7.0
#646
dependabot[bot]
opened
1 month ago
0
Bump docker/build-push-action from 5.3.0 to 6.6.1
#645
dependabot[bot]
closed
1 month ago
1
Bump ocaml/setup-ocaml from 2.2.9 to 3.0.7
#644
dependabot[bot]
opened
1 month ago
0
Bump docker/build-push-action from 5.3.0 to 6.6.0
#643
dependabot[bot]
closed
1 month ago
1
Bump ocaml/setup-ocaml from 2.2.9 to 3.0.6
#642
dependabot[bot]
closed
1 month ago
1
Bump ocaml/setup-ocaml from 2.2.9 to 3.0.3
#641
dependabot[bot]
closed
1 month ago
1
Bump docker/build-push-action from 5.3.0 to 6.5.0
#640
dependabot[bot]
closed
1 month ago
1
Bump docker/login-action from 3.1.0 to 3.3.0
#639
dependabot[bot]
opened
2 months ago
0
Bump softprops/action-gh-release from 2.0.5 to 2.0.8
#638
dependabot[bot]
opened
2 months ago
0
Bump softprops/action-gh-release from 2.0.5 to 2.0.7
#637
dependabot[bot]
closed
2 months ago
1
Bump docker/build-push-action from 5.3.0 to 6.4.1
#636
dependabot[bot]
closed
2 months ago
1
Bump docker/build-push-action from 5.3.0 to 6.4.0
#635
dependabot[bot]
closed
2 months ago
1
Bump docker/build-push-action from 5.3.0 to 6.3.0
#634
dependabot[bot]
closed
2 months ago
1
Bump ocaml/setup-ocaml from 2.2.9 to 3.0.0
#633
dependabot[bot]
closed
1 month ago
1
Bump docker/build-push-action from 5.3.0 to 6.2.0
#632
dependabot[bot]
closed
2 months ago
1
Bump org.apache.maven.plugins:maven-dependency-plugin from 3.6.1 to 3.7.1 in /tools
#631
dependabot[bot]
closed
1 month ago
1
Bump docker/build-push-action from 5.3.0 to 6.1.0
#630
dependabot[bot]
closed
3 months ago
1
Bump softprops/action-gh-release from 2.0.5 to 2.0.6
#629
dependabot[bot]
closed
2 months ago
1
Bump docker/build-push-action from 5.3.0 to 6.0.1
#628
dependabot[bot]
closed
3 months ago
1
Bump version.surefire from 3.2.5 to 3.3.0 in /tools
#627
dependabot[bot]
opened
3 months ago
0
Bump docker/build-push-action from 5.3.0 to 6.0.0
#626
dependabot[bot]
closed
3 months ago
1
Bump actions/checkout from 4.1.6 to 4.1.7
#625
dependabot[bot]
opened
3 months ago
0
Bump org.apache.maven.plugins:maven-dependency-plugin from 3.6.1 to 3.7.0 in /tools
#624
dependabot[bot]
closed
1 month ago
1
Bump version.micrometer from 1.13.0 to 1.13.1 in /tools
#623
dependabot[bot]
opened
3 months ago
0
Bump docker/build-push-action from 5.3.0 to 5.4.0
#622
dependabot[bot]
closed
3 months ago
1
Bump ocaml/setup-ocaml from 2.2.9 to 2.2.10
#621
dependabot[bot]
closed
2 months ago
1
Bump org.apache.maven.plugins:maven-enforcer-plugin from 3.4.1 to 3.5.0 in /tools
#620
dependabot[bot]
opened
4 months ago
0
Bump org.eclipse.xtend:xtend-maven-plugin from 2.34.0 to 2.35.0 in /tools
#619
dependabot[bot]
opened
4 months ago
0
Bump docker/login-action from 3.1.0 to 3.2.0
#618
dependabot[bot]
closed
2 months ago
1
Bump org.assertj:assertj-core from 3.25.3 to 3.26.0 in /tools
#617
dependabot[bot]
closed
4 months ago
0
Bump version.tycho from 4.0.7 to 4.0.8 in /tools
#616
dependabot[bot]
closed
4 months ago
0
Bump commons-cli:commons-cli from 1.7.0 to 1.8.0 in /tools
#615
dependabot[bot]
closed
4 months ago
0
Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.8 to 0.3.9 in /tools
#614
dependabot[bot]
closed
4 months ago
0
Bump org.codehaus.mojo:exec-maven-plugin from 3.2.0 to 3.3.0 in /tools
#613
dependabot[bot]
closed
4 months ago
0
Bump com.github.ekryd.sortpom:sortpom-maven-plugin from 3.4.1 to 4.0.0 in /tools
#612
dependabot[bot]
closed
4 months ago
0
Bump actions/checkout from 4.1.5 to 4.1.6
#611
dependabot[bot]
closed
4 months ago
0
Bump version.micrometer from 1.12.6 to 1.13.0 in /tools
#610
dependabot[bot]
closed
4 months ago
0
Bump version.micrometer from 1.12.5 to 1.12.6 in /tools
#609
dependabot[bot]
closed
4 months ago
0
Bump softprops/action-gh-release from 2.0.4 to 2.0.5
#608
dependabot[bot]
closed
4 months ago
0
Bump actions/checkout from 4.1.4 to 4.1.5
#607
dependabot[bot]
closed
4 months ago
0
Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.6 to 0.3.8 in /tools
#606
dependabot[bot]
closed
4 months ago
0
Bump org.logicng:logicng from 2.4.1 to 2.5.0 in /tools
#605
dependabot[bot]
closed
5 months ago
0
Bump org.xmlunit:xmlunit-assertj from 2.9.1 to 2.10.0 in /tools
#604
dependabot[bot]
closed
5 months ago
0
Bump org.apache.maven.plugins:maven-install-plugin from 3.1.1 to 3.1.2 in /tools
#603
dependabot[bot]
closed
5 months ago
0
Bump org.apache.maven.plugins:maven-deploy-plugin from 3.1.1 to 3.1.2 in /tools
#602
dependabot[bot]
closed
5 months ago
0
Bump ocaml/setup-ocaml from 2.2.8 to 2.2.9
#601
dependabot[bot]
closed
5 months ago
0
Bump net.codesup.util:jaxb2-rich-contract-plugin from 4.1.0 to 4.1.1 in /tools
#600
dependabot[bot]
closed
5 months ago
0
Bump ubuntu from 22.04 to 24.04 in /tools/verdict-back-ends
#599
dependabot[bot]
closed
5 months ago
0
Bump actions/download-artifact from 4.1.6 to 4.1.7
#598
dependabot[bot]
closed
5 months ago
0
Next