Skip to content

Actions: brownsys/paralegal

Actions

Automated Documentation Update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement selection of analysis target via command line. (#121) Automated Documentation Update #89: Commit 98a2d99 pushed by JustusAdam
February 12, 2024 18:38 1m 55s main
main
February 12, 2024 18:38 1m 55s
Remove data and control flow index from CtrlFlowsTo. (#118) Automated Documentation Update #88: Commit c1b8054 pushed by livia01px2019
December 15, 2023 22:13 2m 5s main
main
December 15, 2023 22:13 2m 5s
Make NodeTypes own their info (#120) Automated Documentation Update #87: Commit 8e0e33b pushed by livia01px2019
December 15, 2023 16:57 2m 3s main
main
December 15, 2023 16:57 2m 3s
Add has_ctrl_influence primitive to Context (#113) Automated Documentation Update #86: Commit 97b323b pushed by livia01px2019
November 19, 2023 00:36 2m 0s main
main
November 19, 2023 00:36 2m 0s
Marker propagation from trait to impl (#116) Automated Documentation Update #85: Commit 69e5d80 pushed by JustusAdam
November 18, 2023 21:35 2m 3s main
main
November 18, 2023 21:35 2m 3s
Fix up Websubmit props so that they pass/fail like Forge (#109) Automated Documentation Update #84: Commit 0ddde31 pushed by livia01px2019
November 14, 2023 01:40 2m 7s main
main
November 14, 2023 01:40 2m 7s
Create new emit_diagnostics that does not exit (#111) Automated Documentation Update #83: Commit c52a576 pushed by livia01px2019
November 14, 2023 01:07 2m 41s main
main
November 14, 2023 01:07 2m 41s
Add graph location output path argument (#110) Automated Documentation Update #82: Commit 1ea9f0c pushed by livia01px2019
November 14, 2023 00:49 1m 58s main
main
November 14, 2023 00:49 1m 58s
Add test normalization to prevent hard errors in function resolution … Automated Documentation Update #81: Commit ce475a1 pushed by JustusAdam
November 14, 2023 00:38 3m 27s main
main
November 14, 2023 00:38 3m 27s
Use instances in marker reachability. (#106) Automated Documentation Update #80: Commit fded811 pushed by JustusAdam
November 14, 2023 00:26 2m 6s main
main
November 14, 2023 00:26 2m 6s
Implement Websubmit authorized disclosure property (#103) Automated Documentation Update #79: Commit b9cf2ed pushed by livia01px2019
November 1, 2023 22:36 3m 28s main
main
November 1, 2023 22:36 3m 28s
Emit data flows from a CallArgument to its CallSite in flows_to, infl… Automated Documentation Update #78: Commit 25639ad pushed by livia01px2019
November 1, 2023 22:29 2m 56s main
main
November 1, 2023 22:29 2m 56s
Caller-independent scripts (#104) Automated Documentation Update #77: Commit 512ff37 pushed by JustusAdam
October 31, 2023 19:20 2m 53s main
main
October 31, 2023 19:20 2m 53s
Don't crash for dyn anymore (#101) Automated Documentation Update #76: Commit 6dedc43 pushed by JustusAdam
October 30, 2023 23:33 2m 44s main
main
October 30, 2023 23:33 2m 44s
Update deletion property for Websubmit (#98) Automated Documentation Update #75: Commit 7d69e33 pushed by JustusAdam
October 30, 2023 22:04 2m 39s main
main
October 30, 2023 22:04 2m 39s
Minor improvements to policy framework (#97) Automated Documentation Update #74: Commit affa886 pushed by JustusAdam
October 30, 2023 21:29 2m 58s main
main
October 30, 2023 21:29 2m 58s
Create CI and companion scripts (#100) Automated Documentation Update #73: Commit cb72c3f pushed by JustusAdam
October 30, 2023 21:09 3m 24s main
main
October 30, 2023 21:09 3m 24s
Add influencers/influencees primitives (#92) Automated Documentation Update #72: Commit ee875f9 pushed by livia01px2019
October 29, 2023 16:53 2m 46s main
main
October 29, 2023 16:53 2m 46s
Update dependencies (#99) Automated Documentation Update #71: Commit 75cb6f2 pushed by JustusAdam
October 29, 2023 02:12 2m 57s main
main
October 29, 2023 02:12 2m 57s
Introducing the Paralegal proc-macro library (#96) Automated Documentation Update #70: Commit 4ee64e1 pushed by JustusAdam
October 28, 2023 20:22 2m 48s main
main
October 28, 2023 20:22 2m 48s
Bugfixes and minor improvements (#93) Automated Documentation Update #69: Commit da5dc2c pushed by JustusAdam
October 28, 2023 00:46 3m 6s main
main
October 28, 2023 00:46 3m 6s
Change always_happens_before to not take in ctrl id and work over mul… Automated Documentation Update #68: Commit 3fa9f3e pushed by livia01px2019
October 25, 2023 23:59 4m 10s main
main
October 25, 2023 23:59 4m 10s
Implement Websubmit scoped storage (#86) Automated Documentation Update #67: Commit 4e78afe pushed by livia01px2019
October 24, 2023 22:27 3m 9s main
main
October 24, 2023 22:27 3m 9s
Fully implement the has_marker function (#87) Automated Documentation Update #66: Commit 4009371 pushed by livia01px2019
October 24, 2023 22:17 2m 38s main
main
October 24, 2023 22:17 2m 38s
Remove Laziness for Markers (#89) Automated Documentation Update #65: Commit d56ebad pushed by JustusAdam
October 24, 2023 17:25 3m 8s main
main
October 24, 2023 17:25 3m 8s