-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
IR V8: Upstream
sliceOne vertical slice of a shaped trackOne vertical slice of a shaped trackStatus: Open.#27 In afogel/ACS_reference_implementation;IR V7: All 203
sliceOne vertical slice of a shaped trackOne vertical slice of a shaped trackStatus: Open.#26 In afogel/ACS_reference_implementation;IR V6: The conformance report
sliceOne vertical slice of a shaped trackOne vertical slice of a shaped trackStatus: Open.#25 In afogel/ACS_reference_implementation;IR V5: Predicates compile, and both engines agree
sliceOne vertical slice of a shaped trackOne vertical slice of a shaped trackStatus: Open.#24 In afogel/ACS_reference_implementation;IR V4: The spec PR polices itself
sliceOne vertical slice of a shaped trackOne vertical slice of a shaped trackStatus: Open.#23 In afogel/ACS_reference_implementation;IR V3: Staleness propagates
sliceOne vertical slice of a shaped trackOne vertical slice of a shaped trackStatus: Open.#22 In afogel/ACS_reference_implementation;IR V2: Twenty provisions, marked and indexed
sliceOne vertical slice of a shaped trackOne vertical slice of a shaped trackStatus: Open.#21 In afogel/ACS_reference_implementation;IR V1: The corpus, inventoried
sliceOne vertical slice of a shaped trackOne vertical slice of a shaped trackStatus: Open.#20 In afogel/ACS_reference_implementation;ACS normative IR: prose to machine-checked requirement catalog
epicShaped track containing slicesShaped track containing slicesStatus: Open.#19 In afogel/ACS_reference_implementation;ACS reference implementation: one wire contract, AGT unforked, two hosts
epicShaped track containing slicesShaped track containing slicesStatus: Open.#1 In afogel/ACS_reference_implementation;