Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 25, 2024

• Set Version: 7.1.176

  

  devops

  committed
  32bb65d

  Copy full SHA for 32bb65d

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  3b08f3d

  Copy full SHA for 3b08f3d

• Update dependency: deps/haskell-backend_release (runtimeverification#4691)

  Show description for 6b83029
  

  rv-jenkins

  and

  devops

  authored
  6b83029

  Copy full SHA for 6b83029

Commits on Nov 23, 2024

• Set Version: 7.1.175

  

  devops

  committed
  8948dc7

  Copy full SHA for 8948dc7

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  a73dff9

  Copy full SHA for a73dff9

• Add support for batch requests to JSON RPC server (runtimeverification#4688)

  Show description for 3d266bd
  RaoulSchaffranek

  authored
  3d266bd

  Copy full SHA for 3d266bd

Commits on Nov 21, 2024

• Set Version: 7.1.174

  

  devops

  committed
  fc37d4b

  Copy full SHA for fc37d4b

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  5466711

  Copy full SHA for 5466711

• Allow including lemmas dynamically into APRProver (runtimeverification#4681)

  Show description for 8aade39
  ehildenb

  authored
  8aade39

  Copy full SHA for 8aade39

• Set Version: 7.1.173

  

  devops

  committed
  5ae1457

  Copy full SHA for 5ae1457

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  d09f35f

  Copy full SHA for d09f35f

• updating the minimize_kcfg method to accept an optional heuristics parameter for merging node. (runtimeverification#4687)

  Show description for 75f108f
  Stevengre

  authored
  75f108f

  Copy full SHA for 75f108f

Commits on Nov 20, 2024

• Set Version: 7.1.172

  

  devops

  committed
  853eaa1

  Copy full SHA for 853eaa1

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  4c145ee

  Copy full SHA for 4c145ee

• Fix Formatter (runtimeverification#4682)

  Show description for 469164a
  tothtamas28

  authored
  469164a

  Copy full SHA for 469164a

Commits on Nov 17, 2024

• Set Version: 7.1.171

  

  devops

  committed
  718c9a9

  Copy full SHA for 718c9a9

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  03b254c

  Copy full SHA for 03b254c

• Update dependency: deps/haskell-backend_release (runtimeverification#4684)

  Show description for 4015988
  

  rv-jenkins

  and

  devops

  authored
  4015988

  Copy full SHA for 4015988

Commits on Nov 1, 2024

• Set Version: 7.1.170

  

  devops

  committed
  5c84d48

  Copy full SHA for 5c84d48

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  428113c

  Copy full SHA for 428113c

• Update dependency: deps/haskell-backend_release (runtimeverification#4679)

  Show description for 2fde1bf
  

  rv-jenkins

  and

  devops

  authored
  2fde1bf

  Copy full SHA for 2fde1bf

Commits on Oct 31, 2024

• Set Version: 7.1.169

  

  devops

  committed
  ac5555f

  Copy full SHA for ac5555f

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  137a89d

  Copy full SHA for 137a89d

• Update dependency: deps/haskell-backend_release (runtimeverification#4677)

  Show description for ebf17a6
  

  rv-jenkins

  and

  devops

  authored
  ebf17a6

  Copy full SHA for ebf17a6

Commits on Oct 29, 2024

• Set Version: 7.1.168

  

  devops

  committed
  c20d13e

  Copy full SHA for c20d13e

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  83354eb

  Copy full SHA for 83354eb

• Update dependency: deps/haskell-backend_release (runtimeverification#4675)

  Show description for 1dc2611
  

  3 peopleauthored
  1dc2611

  Copy full SHA for 1dc2611

• Set Version: 7.1.167

  

  devops

  committed
  dd93b05

  Copy full SHA for dd93b05

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  a0d1d9b

  Copy full SHA for a0d1d9b

• Update dependency: deps/llvm-backend_release (runtimeverification#4674)

  Show description for 8f64fca
  

  rv-jenkins

  and

  devops

  authored
  8f64fca

  Copy full SHA for 8f64fca

Commits on Oct 23, 2024

• Set Version: 7.1.166

  

  devops

  committed
  5d1ccd5

  Copy full SHA for 5d1ccd5

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  c99373d

  Copy full SHA for c99373d

• Adding Timer Hook Implementation for K (runtimeverification#4673)

  Show description for 8a20bdb
  

  Robertorosmaninho

  and

  theo25

  authored
  8a20bdb

  Copy full SHA for 8a20bdb

• Set Version: 7.1.165

  

  devops

  committed
  516dbf2

  Copy full SHA for 516dbf2

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  cb942c0

  Copy full SHA for cb942c0

Pagination

Previous

Next