CodeQL Advanced

Workflow runs for CodeQL Advanced

• Language Server Protocol

  completed successfully:
  CodeQL Advanced#332:Pull request#61synchronizebywadoon
  weigl/lsp

  Nov 2, 20269m 39s
  More actions for workflow run 332

• feat(core): JML merge_point statement with \using, \lattice and \predicate options

  completed successfully:
  CodeQL Advanced#331:Pull request#90openedbywadoon
  feat/jml-merge-point-stmt

  Nov 2, 20265m 57s
  More actions for workflow run 331

• fix(core): report model/ghost declarations inside method bodies with a targeted problem

  completed successfully:
  CodeQL Advanced#330:Pull request#89synchronizebywadoon
  jml-model-in-method-validation

  Nov 2, 20267m 12s
  More actions for workflow run 330

• fix(core): report model/ghost declarations inside method bodies with a targeted problem

  completed successfully:
  CodeQL Advanced#329:Pull request#89synchronizebywadoon
  jml-model-in-method-validation

  Nov 2, 20267m 17s
  More actions for workflow run 329

• VCG by AI

  completed successfully:
  CodeQL Advanced#328:Pull request#69synchronizebywadoon
  weigl/vcg

  Nov 2, 20266m 56s
  More actions for workflow run 328

• VCG by AI

  completed successfully:
  CodeQL Advanced#327:Pull request#69synchronizebywadoon
  weigl/vcg

  Nov 1, 20269m 22s
  More actions for workflow run 327

• Bump the deps group with 9 updates

  completed successfully:
  CodeQL Advanced#326:Pull request#88openedbydependabot[bot]Bot
  dependabot/gradle/deps-3d016c1a6d

  Nov 1, 20269m 0s
  More actions for workflow run 326

• docs: require a jmltk-changelog.md entry for user-visible changes (#87)

  completed successfully:
  CodeQL Advanced#325:Commit24f0f30pushedbywadoon
  main

  Nov 1, 20266m 59s
  More actions for workflow run 325

• feat: element-domain quantifiers over arrays, ranges and Iterables (#83)

  completed successfully:
  CodeQL Advanced#324:Commita36ea22pushedbywadoon
  main

  Nov 1, 20268m 32s
  More actions for workflow run 324

• VCG by AI

  completed successfully:
  CodeQL Advanced#323:Pull request#69synchronizebywadoon
  weigl/vcg

  Nov 1, 20265m 36s
  More actions for workflow run 323

• Language Server Protocol

  completed successfully:
  CodeQL Advanced#322:Pull request#61synchronizebywadoon
  weigl/lsp

  Nov 1, 20269m 2s
  More actions for workflow run 322

• feat: element-domain quantifiers over arrays, ranges and Iterables

  completed successfully:
  CodeQL Advanced#321:Pull request#83synchronizebywadoon
  weigl/quantarray

  Oct 31, 20267m 11s
  More actions for workflow run 321

• VCG by AI

  completed successfully:
  CodeQL Advanced#320:Pull request#69synchronizebywadoon
  weigl/vcg

  Oct 31, 20266m 53s
  More actions for workflow run 320

• feat: element-domain quantifiers over arrays, ranges and Iterables

  completed successfully:
  CodeQL Advanced#319:Pull request#83synchronizebywadoon
  weigl/quantarray

  Oct 31, 20267m 12s
  More actions for workflow run 319

• VCG by AI

  completed successfully:
  CodeQL Advanced#318:Pull request#69synchronizebywadoon
  weigl/vcg

  Oct 31, 20267m 48s
  More actions for workflow run 318

• feat: element-domain quantifiers over arrays, ranges and Iterables

  completed successfully:
  CodeQL Advanced#317:Pull request#83synchronizebywadoon
  weigl/quantarray

  Oct 31, 20266m 31s
  More actions for workflow run 317

• feat(core): KeY label-after-keyword JML statements (assert LAB: e;) +…

  completed successfully:
  CodeQL Advanced#316:Commit42eded6pushedbywadoon
  main

  Oct 31, 20264m 49s
  More actions for workflow run 316

• feat(core): KeY label-after-keyword JML statements (assert LAB: e;) + gap status doc

  completed successfully:
  CodeQL Advanced#315:Pull request#86synchronizebywadoon
  weigl/closinggaps

  Oct 31, 20267m 10s
  More actions for workflow run 315

• feat: element-domain quantifiers over arrays, ranges and Iterables

  completed successfully:
  CodeQL Advanced#314:Pull request#83synchronizebywadoon
  weigl/quantarray

  Oct 30, 20266m 10s
  More actions for workflow run 314

• feat: element-domain quantifiers over arrays, ranges and Iterables

  completed successfully:
  CodeQL Advanced#313:Pull request#83synchronizebywadoon
  weigl/quantarray

  Oct 30, 20265m 14s
  More actions for workflow run 313

• feat: element-domain quantifiers over arrays, ranges and Iterables

  completed successfully:
  CodeQL Advanced#312:Pull request#83synchronizebywadoon
  weigl/quantarray

  Oct 29, 20267m 13s
  More actions for workflow run 312

• feat(core): KeY label-after-keyword JML statements (assert LAB: e;) + gap status doc

  completed successfully:
  CodeQL Advanced#311:Pull request#86synchronizebywadoon
  weigl/closinggaps

  Oct 29, 20266m 34s
  More actions for workflow run 311

• JML class-body predicate declarations (//@ instance predicate Pred(int i) = i > 0;)

  completed successfully:
  CodeQL Advanced#310:Pull request#85synchronizebywadoon
  weigl/predicate

  Oct 29, 20267m 16s
  More actions for workflow run 310

• JML class-body predicate declarations (//@ instance predicate Pred(int i) = i > 0;)

  completed successfully:
  CodeQL Advanced#309:Pull request#85synchronizebywadoon
  weigl/predicate

  Oct 29, 20267m 19s
  More actions for workflow run 309

• feat(core): KeY label-after-keyword JML statements (assert LAB: e;) + gap status doc

  completed successfully:
  CodeQL Advanced#308:Pull request#86openedbywadoon
  weigl/closinggaps

  Oct 29, 20268m 28s
  More actions for workflow run 308