Skip to content

Actions: cucapra/protocols

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
882 workflow runs
882 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Monitor: reconstruct transactions for add_d1 example Protocols Tests #882: Pull request #95 synchronize by ngernest
1m 37s update_monitor
update_monitor
1m 37s
Evaluate args to assert_eq even though we're not checking the assertion Protocols Tests #881: Commit 75fd4b6 pushed by ngernest
1m 31s update_monitor
update_monitor
1m 31s
Monitor: reconstruct transactions for add_d1 example Protocols Tests #880: Pull request #95 synchronize by ngernest
1m 32s update_monitor
update_monitor
1m 32s
Print (instead of log) the reconstructed transaction, break when Step… Protocols Tests #879: Commit 9b6d5ef pushed by ngernest
1m 14s update_monitor
update_monitor
1m 14s
Monitor: reconstruct transactions for add_d1 example Protocols Tests #878: Pull request #95 synchronize by ngernest
1m 21s update_monitor
update_monitor
1m 21s
Make logic for serializing BitVecValues more general Protocols Tests #877: Commit 8ff2ae3 pushed by ngernest
1m 16s update_monitor
update_monitor
1m 16s
Monitor: reconstruct transactions for add_d1 example Protocols Tests #876: Pull request #95 synchronize by ngernest
1m 21s update_monitor
update_monitor
1m 21s
Add CLI flag to display ints in hexadecimal Protocols Tests #875: Commit 972712a pushed by ngernest
1m 22s update_monitor
update_monitor
1m 22s
Monitor: reconstruct transactions for add_d1 example Protocols Tests #874: Pull request #95 synchronize by ngernest
1m 29s update_monitor
update_monitor
1m 29s
Merge remote-tracking branch 'origin/main' into update_monitor Protocols Tests #873: Commit 0c86239 pushed by ngernest
1m 25s update_monitor
update_monitor
1m 25s
Monitor: reconstruct transactions for add_d1 example Protocols Tests #872: Pull request #95 synchronize by ngernest
1m 30s update_monitor
update_monitor
1m 30s
Use BitVecValue::to_dec_str to pretty-print bit vectors Protocols Tests #871: Commit a78da14 pushed by ngernest
1m 3s update_monitor
update_monitor
1m 3s
Monitor: reconstruct transactions for add_d1 example Protocols Tests #870: Pull request #95 synchronize by ngernest
1m 22s update_monitor
update_monitor
1m 22s
Print the reconstructed transaction after interpreter has finished Protocols Tests #869: Commit d1ec8a4 pushed by ngernest
1m 4s update_monitor
update_monitor
1m 4s
Monitor: reconstruct transactions for add_d1 example Protocols Tests #868: Pull request #95 synchronize by ngernest
1m 18s update_monitor
update_monitor
1m 18s
Actually update values in args_mapping when we call SignalTrace::get Protocols Tests #867: Commit 591c20b pushed by ngernest
1m 6s update_monitor
update_monitor
1m 6s
Monitor: reconstruct transactions for add_d1 example Protocols Tests #866: Pull request #95 synchronize by ngernest
1m 19s update_monitor
update_monitor
1m 19s
Use unwrap_or_else for more informative error msgs in SignalTrace::get Protocols Tests #865: Commit ef4d863 pushed by ngernest
1m 6s update_monitor
update_monitor
1m 6s
Monitor: reconstruct transactions for add_d1 example Protocols Tests #864: Pull request #95 opened by ngernest
1m 26s update_monitor
update_monitor
1m 26s
Keep running interpreter when StepResult is Ok Protocols Tests #863: Commit 19b74a2 pushed by ngernest
1m 5s update_monitor
update_monitor
1m 5s
Use anyhow::Error instead of dyn Error in monitor Protocols Tests #862: Commit 1d5801c pushed by ngernest
1m 8s update_monitor
update_monitor
1m 8s
WIP: Emit error message when interpreter reaches max no. of steps Protocols Tests #861: Pull request #93 opened by ngernest
1m 26s fix_max_step_error
fix_max_step_error
1m 26s
Attempt to figure out how to emit MaxStepsReached error Protocols Tests #860: Commit e075e90 pushed by ngernest
1m 8s fix_max_step_error
fix_max_step_error
1m 8s
Port all scheduler tests to Turnt + add Turnt to CI + transactions pa… Protocols Tests #859: Commit 57b05e1 pushed by ekiwi
1m 16s main
main
1m 16s
Port all scheduler tests to Turnt + add Turnt to CI + transactions parser/CLI changes Protocols Tests #858: Pull request #89 synchronize by ngernest
1m 20s more_turnt_tests
more_turnt_tests
1m 20s