Skip to content

Areev 1.0.2

Choose a tag to compare

@sathish-mg sathish-mg released this 16 Aug 05:01
· 33 commits to main since this release

Fixed

  • verify on canceled runs, at every cancel phase. Replay fed
    CancelSeen at a superstep's open whenever the coming checkpoint
    carried the cancel — a phase the live driver only produces when the
    marker predates the run, so a cancel landing during the first
    superstep (before any checkpoint) failed verify on slow machines.
    Replay now places the cancel by the journal's own evidence: with the
    wave's resolutions when the closing checkpoint shows they ran, or by
    rewinding the boundary and feeding it first when the journal shows
    the live driver canceled before dispatching. A new phase-sweep test
    exercises every placement on every machine.
  • Windows --tool-cmd quoting. The 1.0.1 cmd /C fix still routed
    the command through Command::arg, whose MSVC quoting cmd.exe does
    not parse; the command string now goes through raw_arg.
  • RUSTSEC-2025-0134. Replaced the unmaintained rustls-pemfile
    with rustls-pki-types' PEM support (already in the tree via
    rustls); the tls feature's surface is unchanged.