Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 13, 2025

• Merge pull request #9 from model-checking/dependabot/npm_and_yarn/multi-90047ba03a

  Show description for eca4a6c
  tautschnig

  authored
  eca4a6c

  Copy full SHA for eca4a6c

• Bump serialize-javascript and mocha

  Show description for 9b59c79
  dependabot[bot]

  authored
  9b59c79

  Copy full SHA for 9b59c79

• Merge pull request #8 from model-checking/dependabot/npm_and_yarn/braces-3.0.3

  Show description for 98c2889
  tautschnig

  authored
  98c2889

  Copy full SHA for 98c2889

• Merge pull request #7 from model-checking/dependabot/npm_and_yarn/multi-e1b6191723

  Show description for 9dc5fa0
  tautschnig

  authored
  9dc5fa0

  Copy full SHA for 9dc5fa0

Commits on Aug 12, 2025

• Bump braces from 3.0.2 to 3.0.3

  Show description for 4e86f07
  dependabot[bot]

  authored
  4e86f07

  Copy full SHA for 4e86f07

• Bump xml2js and @vscode/vsce

  Show description for 3997f8f
  dependabot[bot]

  authored
  3997f8f

  Copy full SHA for 3997f8f

• Merge pull request #6 from model-checking/dependabot/npm_and_yarn/tmp-0.2.5

  Show description for eb89375
  tautschnig

  authored
  eb89375

  Copy full SHA for eb89375

• Bump tmp from 0.2.1 to 0.2.5

  Show description for c7bc6f9
  dependabot[bot]

  authored
  c7bc6f9

  Copy full SHA for c7bc6f9

• Merge pull request #5 from model-checking/dependabot/npm_and_yarn/tar-fs-2.1.3

  Show description for 5f2e76e
  tautschnig

  authored
  5f2e76e

  Copy full SHA for 5f2e76e

• Bump tar-fs from 2.1.1 to 2.1.3

  Show description for 0c2525d
  dependabot[bot]

  authored
  0c2525d

  Copy full SHA for 0c2525d

Commits on Mar 23, 2023

• Merge pull request #4 from jaisnan/Update-release-with-kani

  Show description for e7569c2
  markrtuttle

  authored
  e7569c2

  Copy full SHA for e7569c2

Commits on Mar 21, 2023

• Update token.yaml with Kani

  jaisnan

  committed
  ceaed23

  Copy full SHA for ceaed23

Commits on Jan 12, 2023

• Rename vsce -> @vscode/vsce in package.json

  

  Mark R. Tuttle

  committed
  daaf1b6

  Copy full SHA for daaf1b6

• Support debugging with extension host

  

  Mark R. Tuttle

  committed
  24e978e

  Copy full SHA for 24e978e

Commits on Nov 18, 2022

• Advance version to 1.0.1

  

  Mark R. Tuttle

  committed
  0785d69

  Copy full SHA for 0785d69

• Export PAT definition in release workflow.

  

  Mark R. Tuttle

  committed
  3c73b3e

  Copy full SHA for 3c73b3e

• Update demo link in top-level README

  

  Mark R. Tuttle

  committed
  c0efd15

  Copy full SHA for c0efd15

• Add documentation publication workflow

  

  Mark R. Tuttle

  committed
  e5bf195

  Copy full SHA for e5bf195

• Update to version 1.0.0

  

  Mark R. Tuttle

  committed
  4881b24

  Copy full SHA for 4881b24

• Remove demo backup data

  

  Mark R. Tuttle

  committed
  25c245f

  Copy full SHA for 25c245f

• Update package to use name CBMC Proof Debugger

  

  Mark R. Tuttle

  committed
  960146c

  Copy full SHA for 960146c

• Add link to demo to top-level README

  

  Mark R. Tuttle

  committed
  1214997

  Copy full SHA for 1214997

• First complete draft of documentation.

  

  Mark R. Tuttle

  committed
  2a6cb19

  Copy full SHA for 2a6cb19

Commits on Nov 15, 2022

• Set publisher to model-checking

  

  Mark R. Tuttle

  committed
  e6905cb

  Copy full SHA for e6905cb

• Restrict OIDC role assumption to debugger-* tag

  

  Mark R. Tuttle

  committed
  db85849

  Copy full SHA for db85849

Commits on Nov 5, 2022

• Add publication to release workflow

  

  Mark R. Tuttle

  committed
  d7def9d

  Copy full SHA for d7def9d

• Add release workflow

  

  Mark R. Tuttle

  committed
  842a7b6

  Copy full SHA for 842a7b6

• Update Makefile with setup and publication targets

  

  Mark R. Tuttle

  committed
  0261c47

  Copy full SHA for 0261c47

• Advance version number to 0.1.0

  

  Mark R. Tuttle

  committed
  ac60f05

  Copy full SHA for ac60f05

Commits on Nov 1, 2022

• Initial commit

  

  Mark R. Tuttle

  committed
  54f4af2

  Copy full SHA for 54f4af2