CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• feat(jtv): the add{} injection island — Harvard data expressions (#94)

  completed successfully:
  CodeQL Security Analysis#227:Pull request#102openedbyhyperpolymath
  feat/jtv-add-block-94

  Jul 29, 202646s
  More actions for workflow run 227

• fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (…

  completed successfully:
  CodeQL Security Analysis#226:Commitc0a362fpushedbyhyperpolymath
  main

  Jul 29, 202645s
  More actions for workflow run 226

• fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (#96)

  completed successfully:
  CodeQL Security Analysis#225:Pull request#101openedbyhyperpolymath
  fix/twist-in-weave-96

  Jul 29, 202644s
  More actions for workflow run 225

• feat(jeg): judgement evidence graph — reify derivations, and CHECK th…

  completed successfully:
  CodeQL Security Analysis#224:Commit0366a8epushedbyhyperpolymath
  main

  Jul 29, 202640s
  More actions for workflow run 224

• feat(jeg): judgement evidence graph — reify derivations, and CHECK them

  completed successfully:
  CodeQL Security Analysis#223:Pull request#100openedbyhyperpolymath
  feat/judgement-evidence-graph

  Jul 29, 202638s
  More actions for workflow run 223

• feat(tg-11): surface syntax for epistemic types + fix a second statem…

  completed successfully:
  CodeQL Security Analysis#222:Commit40e917dpushedbyhyperpolymath
  main

  Jul 29, 202643s
  More actions for workflow run 222

• feat(tg-11): surface syntax for epistemic types + fix a second statement-order bug

  completed successfully:
  CodeQL Security Analysis#221:Pull request#99openedbyhyperpolymath
  feat/epistemic-surface-syntax

  Jul 29, 202641s
  More actions for workflow run 221

• feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct…

  completed successfully:
  CodeQL Security Analysis#220:Commitcf56397pushedbyhyperpolymath
  main

  Jul 29, 202618m 15s
  More actions for workflow run 220

• feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construction

  completed successfully:
  CodeQL Security Analysis#219:Pull request#98openedbyhyperpolymath
  feat/epistemic-types

  Jul 29, 20265m 53s
  More actions for workflow run 219

• fix(corpus): run conformance programs, and correct a second false ass…

  completed successfully:
  CodeQL Security Analysis#218:Commit1403f2apushedbyhyperpolymath
  main

  Jul 29, 20262m 58s
  More actions for workflow run 218

• fix(corpus): run conformance programs, and correct a second false assertion

  completed successfully:
  CodeQL Security Analysis#217:Pull request#97openedbyhyperpolymath
  fix/corpus-eval-and-false-claims

  Jul 29, 20262m 27s
  More actions for workflow run 217

• feat(#92): widths need not agree for ==, and match arms join on wid…

  completed successfully:
  CodeQL Security Analysis#216:Commit478857fpushedbyhyperpolymath
  main

  Jul 29, 20261m 26s
  More actions for workflow run 216

• feat(#92): widths need not agree for ==, and match arms join on width

  completed successfully:
  CodeQL Security Analysis#215:Pull request#95openedbyhyperpolymath
  feat/width-widening-92

  Jul 29, 202649s
  More actions for workflow run 215

• feat(parser): weave is an expression, not only a statement (#88 B) (#93)

  completed successfully:
  CodeQL Security Analysis#214:Commit1223ea6pushedbyhyperpolymath
  main

  Jul 29, 202658s
  More actions for workflow run 214

• feat(parser): weave is an expression, not only a statement (#88 B)

  completed successfully:
  CodeQL Security Analysis#213:Pull request#93openedbyhyperpolymath
  feat/parser-weave-add-88

  Jul 29, 202645s
  More actions for workflow run 213

• fix(typecheck): infer recursive functions' return type by fixpoint (#…

  completed successfully:
  CodeQL Security Analysis#212:Commit4e6903fpushedbyhyperpolymath
  main

  Jul 29, 202645s
  More actions for workflow run 212

• fix(typecheck): infer recursive functions' return type by fixpoint (#88)

  completed successfully:
  CodeQL Security Analysis#211:Pull request#91openedbyhyperpolymath
  feat/corpus-typing-88

  Jul 29, 202651s
  More actions for workflow run 211

• fix(rsr): finish template instantiation + enforce it (#56) (#90)

  completed successfully:
  CodeQL Security Analysis#210:Commitb53fc0epushedbyhyperpolymath
  main

  Jul 29, 202640s
  More actions for workflow run 210

• fix(rsr): finish template instantiation + enforce it (#56)

  completed successfully:
  CodeQL Security Analysis#209:Pull request#90synchronizebyhyperpolymath
  fix/rsr-instantiation-56

  Jul 29, 202645s
  More actions for workflow run 209

• fix(rsr): finish template instantiation + enforce it (#56)

  completed successfully:
  CodeQL Security Analysis#208:Pull request#90openedbyhyperpolymath
  fix/rsr-instantiation-56

  Jul 29, 202650s
  More actions for workflow run 208

• feat(ci): gate the runnable corpus — examples/ and conformance/ (#89)

  completed successfully:
  CodeQL Security Analysis#207:Commit12a32cepushedbyhyperpolymath
  main

  Jul 29, 202649s
  More actions for workflow run 207

• feat(ci): gate the runnable corpus — examples/ and conformance/

  completed successfully:
  CodeQL Security Analysis#206:Pull request#89openedbyhyperpolymath
  feat/gate-conformance-examples

  Jul 29, 202646s
  More actions for workflow run 206

• feat(tg-7): == on braids decides braid-group equivalence (#50 rulin…

  completed successfully:
  CodeQL Security Analysis#205:Commitf489211pushedbyhyperpolymath
  main

  Jul 28, 202651s
  More actions for workflow run 205

• feat(tg-7): == on braids decides braid-group equivalence (#50 ruling)

  completed successfully:
  CodeQL Security Analysis#204:Pull request#87synchronizebyhyperpolymath
  feat/tg7-braid-equality

  Jul 28, 202638s
  More actions for workflow run 204

• feat(tg-7): == on braids decides braid-group equivalence (#50 ruling)

  completed successfully:
  CodeQL Security Analysis#203:Pull request#87openedbyhyperpolymath
  feat/tg7-braid-equality

  Jul 28, 202646s
  More actions for workflow run 203