Status

Changes

Console Output

Parameters

Timings

Git Build Data

See Fingerprints

Pipeline Overview

Pipeline Steps

Previous Build

Next Build

Changes

Started by upstream project Cforall Full Build #100

Started 7 mo 5 days ago

Queued 7.2 sec

Took 19 min on built-in

Edits in early sections.

Includes explicating the connection between unsafety stats and the three collection types.

doc/theses/mike_brooks_MMath/intro.tex doc/theses/mike_brooks_MMath/uw-ethesis-frontpgs.tex doc/theses/mike_brooks_MMath/background.tex doc/theses/mike_brooks_MMath/uw-ethesis.bib

mlbrooks at 12:18 PM 12/12/25