Actions: dafny-lang/dafny
Actions
Showing runs from all workflows
12,211 workflow run results
12,211 workflow run results
Std.
example code, and user code using Std.
, depend on target agnostic interfaces instead of target specific ones
Build DafnyRef.pdf
#15661:
Pull request #4891
opened
by
keyboardDrummer
Std.
example code, and user code using Std.
, depend on target agnostic interfaces instead of target specific ones
Build and Test Dafny Standard Libraries
#696:
Pull request #4891
opened
by
keyboardDrummer
Std.
example code, and user code using Std.
, depend on target agnostic interfaces instead of target specific ones
Build and Test Dafny Runtimes
#5965:
Pull request #4891
opened
by
keyboardDrummer
Std.
example code, and user code using Std.
, depend on target agnostic interfaces instead of target specific ones
Test documentation
#7479:
Pull request #4891
opened
by
keyboardDrummer
Std.
example code, and user code using Std.
, depend on target agnostic interfaces instead of target specific ones
Build and Test
#16430:
Pull request #4891
opened
by
keyboardDrummer