Code

Split tools, upgrade to Java 21#1022

Code

Merged

ice1000 merged 10 commits intomainaya-prover/aya-dev:mainfrom ciaya-prover/aya-dev:ciCopy head branch name to clipboardDec 13, 2023

+167-118

Commits

Commits on Dec 13, 2023

• deps: upgrade gradle

  ice1000

  committed
  27fc264

  Copy full SHA for 27fc264

• docs: changelog

  ice1000

  committed
  1ce17eb

  Copy full SHA for 1ce17eb

• proj: move source roots

  ice1000

  committed
  acc3ad9

  Copy full SHA for acc3ad9

• proj: tools no longer depend on kala-primitive

  ice1000

  committed
  09490b8

  Copy full SHA for 09490b8

• proj: move more to fix compile

  ice1000

  committed
  73e206d

  Copy full SHA for 73e206d

• proj: hope to fix logical error

  ice1000

  committed
  881a8f0

  Copy full SHA for 881a8f0

• java: use some Java 21 features

  ice1000

  committed
  fd9533f

  Copy full SHA for fd9533f

• java: an attempt to fix a JDK 21 caused bug

  ice1000

  committed
  ee300d7

  Copy full SHA for ee300d7

• java: use Java 21 features

  ice1000

  committed
  451a843

  Copy full SHA for 451a843

• ci: update upstream

  ice1000

  committed
  1e74abb

  Copy full SHA for 1e74abb