Siddharth Priya

remote outrun failed to start

4

Hello, I am trying to start outrun but get the following error. How can I get more details about what's happening? ```bash xxx@pop-os:~/.local/lib/python3.8/site-packages/outrun$ outrun user@xxx ls Password: Verification code: bash:...

Run on multiple commits during a pull_request

5

Hello, I had conform as a github action but on a pull request/push with multiple commits - it only appears to run on the latest commit. How can I make...

Templatize TrackingMemMgr and ExtraWideMemMgr so that they can take in any mem mgr, not just raw mem mgr ObjectMemMgr (to be added) will be a sibling to RawMemMgr

Use seamemoryaccess objects to point to the right memory aaray to use instead of relying on shadowmem calls. Currently we use the shadowmem calss as keyto get to seamemoryaccess objects....

We need it to process later versions of Rust and need to move beyond `LLVM 10`.

feat(ci): add nightly test of seahorn main branch

1

don't enable push to docker for main branch

Support different word sizes for distinct memory regions

11

**Is your feature request related to a problem? Please describe.** Today, we use a single word size for all memory. This is not optimal. A memory region may only be...

opsem/calloc.01.ll sat with z3-4.8.9 but unknown with z3-4.11.2

3

Exact same command line and generated smt2 file ``` "/home/siddharth/seahorn/seahorn-12/seahorn/build-dbg/run/bin/seahorn" "--horn-bmc-engine=mono" "--horn-bmc" "--horn-shadow-mem-alloc-is-def" "--horn-bv2=true" "--log=opsem" "--keep-shadows=true" "--horn-solve" "--horn-bv2-lambdas" "--log=opsem3" "/home/siddharth/seahorn/seahorn-12/seahorn/test/opsem/calloc.01.ll" --o=calloc.smt2 ``` ### z3 4.8.9 ``` siddharth@pop-os ~/seahorn/seahorn-12/seahorn (dev14) $...