Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 18, 2025

• add note (#228)

  Show description for 68bc4cb
  

  seprov

  and

  Sebastian Provenzano

  authored
  68bc4cb

  Copy full SHA for 68bc4cb

Commits on Jun 17, 2025

• Merge pull request #226 from imandra-ai/emma/vendor-prelude

  Show description for 370ac60
  EmmaTye

  authored
  370ac60

  Copy full SHA for 370ac60

• fix: subdir vendor imandra-prelude

  EmmaTye

  committed
  7f10193

  Copy full SHA for 7f10193

Commits on Jun 16, 2025

• Merge pull request #225 from imandra-ai/dave/dune-vendor-rejig

  Show description for 71d6e8a
  actionshrimp

  authored
  71d6e8a

  Copy full SHA for 71d6e8a

• bump: shuffle vendor/data_only_dirs

  Show description for b9597fe
  actionshrimp

  committed
  b9597fe

  Copy full SHA for b9597fe

Commits on Nov 19, 2024

• Merge pull request #224 from imandra-ai/ben/sanitize-unix-dir

  Show description for 89486ce
  benbellick

  authored
  89486ce

  Copy full SHA for 89486ce

Commits on Nov 18, 2024

• Sanitize client / target ids -- no forward slash when creating dir

  

  Benjamin Bellick

  committed
  648e7ea

  Copy full SHA for 648e7ea

Commits on Oct 31, 2024

• Merge pull request #223 from imandra-ai/ben/improve-logonfail-transition-msg

  Show description for 58a528a
  benbellick

  authored
  58a528a

  Copy full SHA for 58a528a

Commits on Oct 30, 2024

• Improved logon transition message on invalid sender / target id

  

  Benjamin Bellick

  committed
  2885356

  Copy full SHA for 2885356

Commits on Oct 25, 2024

• Merge pull request #221 from imandra-ai/ben/observability-into-shut-down

  Show description for 1fc9fe0
  benbellick

  authored
  1fc9fe0

  Copy full SHA for 1fc9fe0

• Merge pull request #222 from imandra-ai/sam/sequence-number-observability

  Show description for 74390ba
  sam-tombury

  authored
  74390ba

  Copy full SHA for 74390ba

• feat: emit runtime events when sequence numbers change

  sam-tombury

  committed
  88ac02e

  Copy full SHA for 88ac02e

Commits on Oct 24, 2024

• Revert "Revert "Improve ShuttingDown error in case of bad send time""

  Show description for d69ae6c
  

  Benjamin Bellick

  committed
  d69ae6c

  Copy full SHA for d69ae6c

• Revert "Revert "Allow observability into reason for ShuttingDown fe_curr_state""

  Show description for bfe8eb1
  

  Benjamin Bellick

  committed
  bfe8eb1

  Copy full SHA for bfe8eb1

• Revert "Revert "Allow multiple kinds of shut down""

  Show description for ea5951b
  

  Benjamin Bellick

  committed
  ea5951b

  Copy full SHA for ea5951b

• Revert "Allow multiple kinds of shut down"

  Show description for 536dcc2
  

  Benjamin Bellick

  committed
  536dcc2

  Copy full SHA for 536dcc2

• Revert "Allow observability into reason for ShuttingDown fe_curr_state"

  Show description for d7cf8b9
  

  Benjamin Bellick

  committed
  d7cf8b9

  Copy full SHA for d7cf8b9

• Revert "Improve ShuttingDown error in case of bad send time"

  Show description for 1568d2a
  

  Benjamin Bellick

  committed
  1568d2a

  Copy full SHA for 1568d2a

• Improve ShuttingDown error in case of bad send time

  

  Benjamin Bellick

  committed
  ae15a09

  Copy full SHA for ae15a09

• Allow observability into reason for ShuttingDown fe_curr_state

  

  Benjamin Bellick

  committed
  b17c55f

  Copy full SHA for b17c55f

• Allow multiple kinds of shut down

  

  Benjamin Bellick

  committed
  27fcd1d

  Copy full SHA for 27fcd1d

Commits on Oct 21, 2024

• Merge pull request #218 from imandra-ai/ben/log-session-rejects

  Show description for d082f49
  benbellick

  authored
  d082f49

  Copy full SHA for d082f49

Commits on Oct 17, 2024

• Merge pull request #219 from imandra-ai/ewen/numericTotalisedZero

  Show description for 2d8ea58
  ewenmaclean

  authored
  2d8ea58

  Copy full SHA for 2d8ea58

• chore: update to totalised div for floats

  ewenmaclean

  committed
  c4aae16

  Copy full SHA for c4aae16

Commits on Oct 16, 2024

• Fix incorrect match parse

  

  Benjamin Bellick

  committed
  6459479

  Copy full SHA for 6459479

• Add log statement for Garbled messages

  

  Benjamin Bellick

  committed
  0b656c4

  Copy full SHA for 0b656c4

• apply ocamlformat

  

  Benjamin Bellick

  committed
  7d6956b

  Copy full SHA for 7d6956b

• Display missing tag in SessionReject from MessageIgnored

  

  Benjamin Bellick

  committed
  5eb940b

  Copy full SHA for 5eb940b

Commits on Oct 10, 2024

• Update the MessageIgnored transition to expose SessionReject info

  

  Benjamin Bellick

  committed
  3f587fb

  Copy full SHA for 3f587fb

Commits on Oct 1, 2024

• Merge pull request #215 from imandra-ai/sam/fix-engine-io-thread-rec

  Show description for 9848cbe
  sam-tombury

  authored
  9848cbe

  Copy full SHA for 9848cbe

• fix: remove unused rec flag on engine io thread

  Show description for 126ef3f
  sam-tombury

  committed
  126ef3f

  Copy full SHA for 126ef3f

• Merge pull request #214 from imandra-ai/sam/engine-transition-debugging

  Show description for 343d682
  sam-tombury

  authored
  343d682

  Copy full SHA for 343d682

Commits on Sep 26, 2024

• feat: improve transition observability and edge case handling

  Show description for 35b95f2
  sam-tombury

  committed
  35b95f2

  Copy full SHA for 35b95f2

Commits on Sep 25, 2024

• wip: improve scrutability of engine state transitions

  sam-tombury

  committed
  5c191fa

  Copy full SHA for 5c191fa

Commits on Sep 24, 2024

• Merge pull request #213 from imandra-ai/sam/add-transport-termination-handling

  Show description for 5fff7bc
  sam-tombury

  authored
  5fff7bc

  Copy full SHA for 5fff7bc

Pagination

Previous

Next