search

opprop / checker-framework-inference

Inference of pluggable types for Java
6 stars 13 forks source link

Update maven and gradle #405

Closed zcai1 closed 2 years ago

zcai1 commented 2 years ago

To fix all downstream Java 17 tests, we need the following changes:

  1. Use maven 3.8.6 which supports JDK 17
  2. Create a fork of https://github.com/hwinkler/matrix-toolkits-java at https://github.com/opprop-benchmarks/hwinkler-matrix-toolkits-java so that we can update its compile source and target to 1.8.
  3. Update other projects (in https://github.com/opprop-benchmark) that are used by downstream projects. We need to make sure their compile source and target are >= 1.7.
  4. Update security-demo: https://github.com/opprop/security-demo/pull/19
  5. Update ontology: https://github.com/opprop/ontology/pull/78