Skip to content

Actions: lisa-analyzer/lisa

Actions

Move ready PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ready-prs.yml
15 workflow runs
15 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix unsound multiplication in Sign domain Move ready PRs #90: Pull request #361 unlabeled by lucaneg
11s fix-sign-multiplication-soundness
fix-sign-multiplication-soundness
11s
#362 Decouple FixpointInfo from ProgramState lattice-level operations Move ready PRs #89: Pull request #363 unlabeled by lucaneg
10s 362-fixpoint-info-not-in-lattice-ops
362-fixpoint-info-not-in-lattice-ops
10s
Flamegraph improvements Move ready PRs #88: Pull request #360 unlabeled by lucaneg
10s flamegraph-improvements
flamegraph-improvements
10s
Easier rewriting in BaseHeapDomain Move ready PRs #87: Pull request #359 unlabeled by lucaneg
8s base-heap-domain-rework
base-heap-domain-rework
8s
Add assumeBinaryExpression for StringConstantPropagation and BoundedStringSet Move ready PRs #86: Pull request #355 unlabeled by giacomozanatta
11s string-assume-binary
string-assume-binary
11s
Fix getMiddle Move ready PRs #85: Pull request #354 unlabeled by giacomoboldini
9s fix-subexpression
fix-subexpression
9s
Explainability Move ready PRs #84: Pull request #353 unlabeled by lucaneg
11s explainability
explainability
11s
Extending configuration Move ready PRs #83: Pull request #352 unlabeled by lucaneg
14s configuration
configuration
14s
SVCOMP Features Move ready PRs #82: Pull request #329 unlabeled by lucaneg
13s svcomp
svcomp
13s
Inlining Move ready PRs #81: Pull request #348 unlabeled by lucaneg
8s inlining
inlining
8s
Notices Move ready PRs #80: Pull request #349 unlabeled by lucaneg
11s notices
notices
11s
Custom state on analysis init + custom call return logic Move ready PRs #79: Pull request #346 unlabeled by lucaneg
10s state-manipulation
state-manipulation
10s
Improvements from JLiSA Move ready PRs #78: Pull request #345 unlabeled by lucaneg
12s jlisa-improvements
jlisa-improvements
12s
Whole value analysis Move ready PRs #77: Pull request #327 unlabeled by lucaneg
11s whole-value-analysis
whole-value-analysis
11s
Refactoring of non relational hierarchy and utilities Move ready PRs #76: Pull request #325 unlabeled by lucaneg
9s 2025-update
2025-update
9s