All workflows

Workflow runs

• Fix silent segfault from deep copy.deepcopy() recursion (#64)

  failed:
  ci#241:Commit32463aapushedbywintered
  master

  Aug 19, 202614m 36s
  More actions for workflow run 241

• Fix six bugs in Typechecker.py: infinite recursion, tautologies,

  failed:
  ci#240:Commitfe8c08dpushedbywintered
  master

  Aug 19, 202616m 36s
  More actions for workflow run 240

• Fix segfault-detection mock incompatible with Python 3.11+ (CI)

  failed:
  ci#239:Commitb7854dbpushedbywintered
  master

  Aug 19, 202616m 9s
  More actions for workflow run 239

• Fix flake8 checkstyle violations blocking CI

  failed:
  ci#238:Commita259f61pushedbywintered
  master

  Aug 19, 20261m 10s
  More actions for workflow run 238

• Fix CI pipeline: dead GH-hosted runner and broken CVC4 download links

  failed:
  ci#237:Commit50aa946pushedbywintered
  master

  Aug 19, 202629s
  More actions for workflow run 237

• Fix Array sort parsing and select/store typechecking (#60)

  cancelled:
  ci#236:Commit3492cc7pushedbywintered
  master

  Aug 19, 202611m 35s
  More actions for workflow run 236

• Fix nullary regex constants printed as function applications (#31)

  cancelled:
  ci#235:Commitf688a60pushedbywintered
  master

  Aug 19, 202617m 2s
  More actions for workflow run 235

• Fix false typechecker error when a quantified/let variable shadows a …

  cancelled:
  ci#234:Commit53d18d2pushedbywintered
  master

  Aug 19, 202631m 13s
  More actions for workflow run 234

• Merge pull request #68 from NixoN2/fix-keep-mutants-and-preserve-headers

  cancelled:
  ci#233:Commite5f1c13pushedbywintered
  v0.3.1

  Aug 19, 202640m 46s
  More actions for workflow run 233

• Merge pull request #68 from NixoN2/fix-keep-mutants-and-preserve-headers

  cancelled:
  ci#232:Commite5f1c13pushedbywintered
  master

  Dec 1, 20251d 0h 0m 2s
  More actions for workflow run 232

• Fix keep-mutants flag and preserve header comments in mutants

  cancelled:
  ci#231:Pull request#68synchronizebywintered
  NixoN2:fix-keep-mutants-and-preserve-headers

  Dec 1, 20251d 0h 0m 2s
  More actions for workflow run 231

• Fix keep-mutants flag and preserve header comments in mutants

  cancelled:
  ci#230:Pull request#68openedbyNixoN2
  NixoN2:fix-keep-mutants-and-preserve-headers

  Dec 1, 20251d 0h 0m 2s
  More actions for workflow run 230

• Merge pull request #67 from NixoN2/add-random-seed-option

  cancelled:
  ci#229:Commit32264e1pushedbywintered
  master

  Nov 24, 20251d 0h 0m 3s
  More actions for workflow run 229

• Merge pull request #65 from brutalsavage/patch-1

  cancelled:
  ci#228:Commit3235514pushedbywintered
  master

  Nov 23, 20251d 0h 0m 1s
  More actions for workflow run 228