Code

Update to nightly-2024-12-15#144

Code

Merged

willcrichton merged 12 commits intocognitive-engineering-lab:maincognitive-engineering-lab/aquascope:mainfrom willcrichton:devwillcrichton/aquascope:devCopy head branch name to clipboardJan 2, 2025

+2,482-2,880

Commits

Commits on Dec 20, 2024

• fix build flags

  

  willcrichton

  authored and

  gavinleroy

  committed
  5c8b27d

  Copy full SHA for 5c8b27d

• Update to latest nightly

  

  willcrichton

  authored and

  gavinleroy

  committed
  a89afaf

  Copy full SHA for a89afaf

• Update to nightly-2024-12-15

  

  willcrichton

  authored and

  gavinleroy

  committed
  3110963

  Copy full SHA for 3110963

• fmt

  gavinleroy

  committed
  85ccfb6

  Copy full SHA for 85ccfb6

Commits on Dec 21, 2024

• Remove Docker and server container code. Use fuzzy_match for permission boundaries

  gavinleroy

  committed
  2f02d23

  Copy full SHA for 2f02d23

Commits on Dec 28, 2024

• Ignore path liveness when collecting actual/expected permissions in boundary analysis.

  gavinleroy

  committed
  8855299

  Copy full SHA for 8855299

• Delete commented out code

  gavinleroy

  committed
  20f8831

  Copy full SHA for 20f8831

Commits on Dec 31, 2024

• Supress diagnostics, filter unreachable blocks from CleanedGraph

  gavinleroy

  committed
  ee7fa29

  Copy full SHA for ee7fa29

• Implement boundariew for Aggregate rvalues

  gavinleroy

  committed
  24950f1

  Copy full SHA for 24950f1

Commits on Jan 1, 2025

• Clippy is such a pedant

  gavinleroy

  committed
  ff81ab7

  Copy full SHA for ff81ab7

• Update to latest RawVec representation. Fix various lints

  willcrichton

  committed
  65c6208

  Copy full SHA for 65c6208

• "path" -> "place"

  willcrichton

  committed
  00f05a2

  Copy full SHA for 00f05a2