Skip to content

Actions: toolCHAINZ/jingle

Actions

Release-plz

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release-plz.yml
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Implement JingleDisplay for SmtValuationState (#157) Release-plz #106: Commit 2608484 pushed by toolCHAINZ
1m 21s main
main
1m 21s
chore(jingle): release v0.5.3 (#153) Release-plz #105: Commit 716b9db pushed by toolCHAINZ
3m 43s main
main
3m 43s
feat: Add From<&PcodeMachineAddress> for ConcretePcodeAddress (#155) Release-plz #104: Commit 2ba61b5 pushed by toolCHAINZ
1m 27s main
main
1m 27s
chore: Use PUBLIC_REPO_TOKEN for all checkout steps in CI workflows (… Release-plz #103: Commit 80d1ff3 pushed by toolCHAINZ
1m 22s main
main
1m 22s
refactor: simplify smt valuation names and make them unique (#154) Release-plz #102: Commit 87e9625 pushed by toolCHAINZ
1m 47s main
main
1m 47s
changed: sub_cfg_from_indices accepts any iterator for nodes (#152) Release-plz #101: Commit 26617f7 pushed by toolCHAINZ
1m 15s main
main
1m 15s
chore: release (#148) Release-plz #100: Commit 0dd42bb pushed by toolCHAINZ
4m 14s main
main
4m 14s
refactor: generalize display impls, rename trait, move it to jingle_s… Release-plz #99: Commit 11ec4c9 pushed by toolCHAINZ
1m 20s main
main
1m 20s
refactor: move basic_block cfg impl to a trait and auto-impl for any … Release-plz #98: Commit b713c4e pushed by toolCHAINZ
1m 18s main
main
1m 18s
chore: rename final => terminating (#149) Release-plz #97: Commit b635f20 pushed by toolCHAINZ
1m 20s main
main
1m 20s
feat: Add lifetime to pcodestore (#147) Release-plz #96: Commit 173e806 pushed by toolCHAINZ
1m 11s main
main
1m 11s
chore: release (#140) Release-plz #95: Commit 5257a09 pushed by toolCHAINZ
3m 37s main
main
3m 37s
feat: Refactor analysis traits to reduce copies (#146) Release-plz #94: Commit d6080c8 pushed by toolCHAINZ
1m 23s main
main
1m 23s
feat: Add get_op_at_address method and generalize PcodeStore impl (#145) Release-plz #93: Commit 8045f32 pushed by toolCHAINZ
1m 24s main
main
1m 24s
feat: track pcode ops in cfg by address instead of abstract state (#144) Release-plz #92: Commit 2ca78a1 pushed by toolCHAINZ
1m 18s main
main
1m 18s
removed: remove unused back-edge analysis and unwoundcfg wrapper type… Release-plz #91: Commit b11e91c pushed by toolCHAINZ
1m 20s main
main
1m 20s
feat: Minor Analysis Tweaks (#142) Release-plz #90: Commit bd632d1 pushed by toolCHAINZ
1m 35s main
main
1m 35s
feat: add an api to get a sub-graph (#141) Release-plz #89: Commit 269b0df pushed by toolCHAINZ
2m 5s main
main
2m 5s
feat: add constructor method to ConcretePcodeAddress (#139) Release-plz #88: Commit 6d9e211 pushed by toolCHAINZ
1m 15s main
main
1m 15s
chore: release (#136) Release-plz #87: Commit cc5ffc7 pushed by toolCHAINZ
3m 23s main
main
3m 23s
chore: update README (#137) Release-plz #86: Commit 58c6fa6 pushed by toolCHAINZ
1m 18s main
main
1m 18s
feat!: SMT valuation analysis (#135) Release-plz #85: Commit 5ed9f7c pushed by toolCHAINZ
1m 22s main
main
1m 22s
feat: specialized varnode map data structure, analysis refactor (#134) Release-plz #84: Commit 4bd1c48 pushed by toolCHAINZ
1m 27s main
main
1m 27s
Rename direct_valuation module to valuation Release-plz #83: Commit fd9fddb pushed by toolCHAINZ
1m 26s main
main
1m 26s
feat: specialized varnode map data structure, analysis refactor (#134) Release-plz #82: Commit 4bd1c48 pushed by toolCHAINZ
1m 28s main
main
1m 28s