Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 3, 2025

• Update dependency: deps/k_release (#4088)

  Show description for a06620f
  

  rv-jenkins

  and

  rv-auditor

  authored
  a06620f

  Copy full SHA for a06620f

Commits on Jan 28, 2025

• Use coherent env. in release.yml (#4075)

  Show description for 4710352
  jberthold

  authored
  4710352

  Copy full SHA for 4710352

Commits on Jan 16, 2025

• Update dependency: deps/k_release (#4085)

  Show description for f6e0f33
  

  rv-jenkins

  and

  rv-auditor

  authored
  f6e0f33

  Copy full SHA for f6e0f33

Commits on Jan 15, 2025

• Update `kore-syntax.md` with multiary `\and` syntax (#4086)

  Show description for 9014998
  tothtamas28

  authored
  9014998

  Copy full SHA for 9014998

Commits on Jan 2, 2025

• Update dependency: deps/k_release (#4084)

  Show description for 9493430
  

  rv-jenkins

  and

  rv-auditor

  authored
  9493430

  Copy full SHA for 9493430

Commits on Dec 29, 2024

• Bump z3 to v4.13.4 (#4083)

  Show description for d4ac0f4
  PetarMax

  authored
  d4ac0f4

  Copy full SHA for d4ac0f4

Commits on Dec 20, 2024

• Hotfix bound threads for workers unsafe calls for llvm (#4081)

  Show description for 3021727
  jberthold

  authored
  3021727

  Copy full SHA for 3021727

Commits on Dec 17, 2024

• Update dependency: deps/k_release (#4079)

  Show description for 64ad870
  

  rv-jenkins

  and

  rv-auditor

  authored
  64ad870

  Copy full SHA for 64ad870

Commits on Dec 4, 2024

• Update dependency: deps/k_release (#4077)

  Show description for 854db7f
  

  rv-jenkins

  and

  rv-auditor

  authored
  854db7f

  Copy full SHA for 854db7f

• HOTFIX abort rewrite when SMT solver times out (#4078)

  Show description for 61633ab
  jberthold

  authored
  61633ab

  Copy full SHA for 61633ab

Commits on Dec 3, 2024

• Booster Description (#4066)

  Show description for 097e560
  

  3 peopleauthored
  097e560

  Copy full SHA for 097e560

Commits on Nov 27, 2024

• Update dependency: deps/k_release (#4073)

  Show description for 636e1f7
  

  rv-jenkins

  and

  rv-auditor

  authored
  636e1f7

  Copy full SHA for 636e1f7

• Hotfix check/adjust subsorting for substitutions based on `==K` terms (#4076)

  Show description for 26d79cb
  

  jberthold

  and

  PetarMax

  authored
  26d79cb

  Copy full SHA for 26d79cb

Commits on Nov 22, 2024

• Hotfix sortk equality issue (#4074)

  Show description for 74322a5
  jberthold

  authored
  74322a5

  Copy full SHA for 74322a5

Commits on Nov 17, 2024

• HOTFIX Make some informative warning logs optional, comment about implies (#4072)

  Show description for 044df58
  jberthold

  authored
  044df58

  Copy full SHA for 044df58

Commits on Nov 14, 2024

• Update dependency: deps/k_release (#4068)

  Show description for e2cb204
  

  rv-jenkins

  and

  rv-auditor

  authored
  e2cb204

  Copy full SHA for e2cb204

Commits on Nov 1, 2024

• Assume the rule remainder condition when checking ensures (#4071)

  Show description for 856a96f
  geo2a

  authored
  856a96f

  Copy full SHA for 856a96f

Commits on Oct 31, 2024

• Break-up new top-level `_andBool_` in `evaluatePattern'` (#4070)

  Show description for b7a6b36
  geo2a

  authored
  b7a6b36

  Copy full SHA for b7a6b36

Commits on Oct 30, 2024

• Turn `Pattern` into `#Bottom` if any constraint is literal false (#4069)

  Show description for f1e3717
  geo2a

  authored
  f1e3717

  Copy full SHA for f1e3717

Commits on Oct 29, 2024

• 3956 branching on complete conditions in Booster (#4058)

  Show description for 328cd2c
  geo2a

  authored
  328cd2c

  Copy full SHA for 328cd2c

Commits on Oct 23, 2024

• Update dependency: deps/k_release (#4064)

  Show description for b2ef73c
  

  rv-jenkins

  and

  rv-auditor

  authored
  b2ef73c

  Copy full SHA for b2ef73c

• 4059 ensures substitution (#4060)

  Show description for aaf0ef5
  

  geo2a

  and

  github-actions

  authored
  aaf0ef5

  Copy full SHA for aaf0ef5

Commits on Oct 18, 2024

• Update dependency: deps/k_release (#4062)

  Show description for 27ce3ce
  

  rv-jenkins

  and

  rv-auditor

  authored
  27ce3ce

  Copy full SHA for 27ce3ce

Commits on Oct 17, 2024

• Handle inconsistent ground truth and SMT unknowns when checking `ensures` (#4063)

  Show description for ad8a7ff
  geo2a

  authored
  ad8a7ff

  Copy full SHA for ad8a7ff

Commits on Oct 16, 2024

• Recognise ==Int and ==K equations as substitutions when internalising (#4061)

  Show description for 4347105
  jberthold

  authored
  4347105

  Copy full SHA for 4347105

Commits on Oct 15, 2024

• Make Pretty prettier (#4057)

  Show description for 0bfbcff
  jberthold

  authored
  0bfbcff

  Copy full SHA for 0bfbcff

Commits on Oct 14, 2024

• Update dependency: deps/k_release (#4056)

  Show description for 4872094
  

  rv-jenkins

  and

  rv-auditor

  authored
  4872094

  Copy full SHA for 4872094

Commits on Oct 7, 2024

• Update dependency: deps/k_release (#4055)

  Show description for d13bc88
  

  rv-jenkins

  and

  rv-auditor

  authored
  d13bc88

  Copy full SHA for d13bc88

Commits on Oct 1, 2024

• Update dependency: deps/k_release (#4052)

  Show description for 4e95286
  

  rv-jenkins

  and

  rv-auditor

  authored
  4e95286

  Copy full SHA for 4e95286

Commits on Sep 26, 2024

• Fix handling of logging contextx in `booster-dev` (#4051)

  Show description for 79caf8c
  geo2a

  authored
  79caf8c

  Copy full SHA for 79caf8c

Commits on Sep 24, 2024

• Update dependency: deps/k_release (#4050)

  Show description for a370dec
  

  rv-jenkins

  and

  rv-auditor

  authored
  a370dec

  Copy full SHA for a370dec

Commits on Sep 16, 2024

• Update dependency: deps/k_release (#4047)

  Show description for e73bf79
  

  rv-jenkins

  and

  rv-auditor

  authored
  e73bf79

  Copy full SHA for e73bf79

Commits on Sep 9, 2024

• Update dependency: deps/k_release (#4046)

  Show description for 960328a
  

  rv-jenkins

  and

  rv-auditor

  authored
  960328a

  Copy full SHA for 960328a

Commits on Sep 3, 2024

• Update dependency: deps/k_release (#4045)

  Show description for f13826f
  

  rv-jenkins

  and

  rv-auditor

  authored
  f13826f

  Copy full SHA for f13826f

Commits on Aug 28, 2024

• Update dependency: deps/k_release (#4044)

  Show description for 13b73aa
  

  rv-jenkins

  and

  rv-auditor

  authored
  13b73aa

  Copy full SHA for 13b73aa

Pagination

Previous

Next