Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 7, 2025

• Bump com.diffplug.spotless from 6.25.0 to 7.0.1 (#85)

  Show description for 09d8204
  dependabot[bot]

  authored
  09d8204

  Copy full SHA for 09d8204

• Bump org.assertj:assertj-core from 3.27.0 to 3.27.2 (#83)

  Show description for 01e4d2d
  dependabot[bot]

  authored
  01e4d2d

  Copy full SHA for 01e4d2d

• Bump Gradle to 8.12

  no-preserve-root

  committed
  e1f0304

  Copy full SHA for e1f0304

• update copyright year

  no-preserve-root

  committed
  9446cdd

  Copy full SHA for 9446cdd

• Bump net.sourceforge.pmd:pmd from 7.8.0 to 7.9.0 (#81)

  Show description for 0d2e53a
  dependabot[bot]

  authored
  0d2e53a

  Copy full SHA for 0d2e53a

Commits on Dec 20, 2024

• Bump org.assertj:assertj-core from 3.26.3 to 3.27.0 (#80)

  Show description for 49ada00
  dependabot[bot]

  authored
  49ada00

  Copy full SHA for 49ada00

• Bump com.github.spotbugs from 6.0.26 to 6.0.27 (#79)

  Show description for bbaac8c
  dependabot[bot]

  authored
  bbaac8c

  Copy full SHA for bbaac8c

Commits on Dec 18, 2024

• Add missing exclude

  no-preserve-root

  committed
  6d71cf8

  Copy full SHA for 6d71cf8

• rework MacOS/AARCH64 support

  no-preserve-root

  committed
  6bbbcac

  Copy full SHA for 6bbbcac

• disable JUnit reporting

  no-preserve-root

  committed
  e526d7c

  Copy full SHA for e526d7c

• Update excludes

  no-preserve-root

  committed
  aea3281

  Copy full SHA for aea3281

• Add missing formatting for XML

  no-preserve-root

  committed
  def8a0d

  Copy full SHA for def8a0d

• Update Z3 to 4.13.4

  no-preserve-root

  committed
  d109954

  Copy full SHA for d109954

• Bump org.junit:junit-bom from 5.11.3 to 5.11.4 (#78)

  Show description for 3fffd71
  dependabot[bot]

  authored
  3fffd71

  Copy full SHA for 3fffd71

Commits on Dec 13, 2024

• Bump com.gradle.develocity from 3.18.2 to 3.19 (#77)

  Show description for 9b8df7b
  dependabot[bot]

  authored
  9b8df7b

  Copy full SHA for 9b8df7b

Commits on Dec 3, 2024

• Bump org.gradle.toolchains.foojay-resolver-convention (#76)

  Show description for 8e09a30
  dependabot[bot]

  authored
  8e09a30

  Copy full SHA for 8e09a30

Commits on Dec 2, 2024

• Bump Gradle to 8.11.1

  no-preserve-root

  committed
  500b0f7

  Copy full SHA for 500b0f7

• Bump com.gradle.develocity from 3.18.1 to 3.18.2 (#74)

  Show description for 36d72be
  dependabot[bot]

  authored
  36d72be

  Copy full SHA for 36d72be

• Bump net.sourceforge.pmd:pmd from 7.7.0 to 7.8.0 (#75)

  Show description for 4d91120
  dependabot[bot]

  authored
  4d91120

  Copy full SHA for 4d91120

Commits on Nov 12, 2024

• fix rule name

  no-preserve-root

  committed
  45d00ff

  Copy full SHA for 45d00ff

• Bump net.sourceforge.pmd:pmd from 7.6.0 to 7.7.0

  Show description for 4e4238a
  

  dependabot[bot]

  authored and

  no-preserve-root

  committed
  4e4238a

  Copy full SHA for 4e4238a

Commits on Nov 11, 2024

• Bump ru.vyarus:gradle-use-python-plugin from 4.0.0 to 4.1.0 (#73)

  Show description for cf2853e
  dependabot[bot]

  authored
  cf2853e

  Copy full SHA for cf2853e

• Bump mikepenz/action-junit-report from 4 to 5 (#72)

  Show description for 9f41026
  dependabot[bot]

  authored
  9f41026

  Copy full SHA for 9f41026

• Bump com.github.spotbugs from 6.0.25 to 6.0.26 (#71)

  Show description for 682288e
  dependabot[bot]

  authored
  682288e

  Copy full SHA for 682288e

Commits on Oct 23, 2024

• Bump org.junit:junit-bom from 5.11.2 to 5.11.3 (#69)

  Show description for 4ca4e49
  dependabot[bot]

  authored
  4ca4e49

  Copy full SHA for 4ca4e49

Commits on Oct 21, 2024

• Revert "Update Z3 to 4.13.3" (still broken on Windows, Z3Prover/z3#7420)

  Show description for b7efcb6
  no-preserve-root

  committed
  b7efcb6

  Copy full SHA for b7efcb6

• Update Z3 to 4.13.3

  no-preserve-root

  committed
  4f6d4ba

  Copy full SHA for 4f6d4ba

Commits on Oct 15, 2024

• Bump com.github.spotbugs from 6.0.24 to 6.0.25

  Show description for cd5150a
  

  dependabot[bot]

  authored and

  no-preserve-root

  committed
  cd5150a

  Copy full SHA for cd5150a

Commits on Oct 7, 2024

• Bump org.junit:junit-bom from 5.11.1 to 5.11.2

  Show description for 6ec3e33
  

  dependabot[bot]

  authored and

  no-preserve-root

  committed
  6ec3e33

  Copy full SHA for 6ec3e33

• Bump com.github.spotbugs from 6.0.23 to 6.0.24

  Show description for e4c6bd3
  

  dependabot[bot]

  authored and

  no-preserve-root

  committed
  e4c6bd3

  Copy full SHA for e4c6bd3

• Revert Z3 update due to Z3Prover/z3#7405 (doesn't work on Windows)

  Show description for d8780f4
  no-preserve-root

  committed
  d8780f4

  Copy full SHA for d8780f4

Commits on Sep 30, 2024

• exclude DLLs that are unneccassary or bundled

  no-preserve-root

  committed
  084bcee

  Copy full SHA for 084bcee

• bump Gradle to 8.10.2

  no-preserve-root

  committed
  75899ba

  Copy full SHA for 75899ba

• update to Z3 4.13.2

  no-preserve-root

  committed
  20e49ae

  Copy full SHA for 20e49ae

• Bump com.github.node-gradle.node from 7.0.2 to 7.1.0

  Show description for 3239e72
  

  dependabot[bot]

  authored and

  no-preserve-root

  committed
  3239e72

  Copy full SHA for 3239e72

Pagination

Previous

Next