Herman Venter

If the behavior of a loop can be nicely summarized as a set of unknown properties on known objects, the the effects of the loop on the heap is known...

Can't build z3-sys on windows

1

``` Error: failed to run custom build command for `z3-sys v0.7.1` Caused by: process didn't exit successfully: `D:\a\MIRAI\MIRAI\target\release\build\z3-sys-e5c5536e9e865e98\build-script-build` (exit code: 101) --- stdout cargo:rerun-if-changed=build.rs cargo:rerun-if-changed=wrapper.h --- stderr thread 'main' panicked...

Make k-limits into command line options

2

## Issue Currently a set of constants in checker/src/k_limits.rs provides limits on how much computation MIRAI will do in various places. With these limits in place, largish crates can be...

## Issue Some parts of the MIRAI code base are not covered by integration tests. You task here is to find such bits of code and to create an issue...

Meta Issue: Fix developer instructions

3

## Issue If you like compilers and related tools, you are a meta-programmer, so you should like meta issues as well. This issue is a task to create tasks. Since...

## Issue We need more issues. Create some meta issues to spur the creation of more issues. ## Steps to Reproduce Look at the issues tab. ## Expected Behavior There...