Aaron Eline

Fixed for MacOS

2

Mac OS sets macros for string functions and has `_FORTIFY_SOURCE` set to `2`.

Consider the following typedef struct { int a; } *V; int main(int argc, char **argv) { V v; v = malloc(sizeof(V)); v->a = 3; printf("%d\n", v->a); free(v); return 0; }...

Would you be interested in accepting a pull request that dockerizes this program? I'm happy to work on that and it seems useful.

Saluki doesn't compile

1

Getting compilation errors for soluku: `make File "state.ml", line 53, characters 31-38: Error: Unbound value Map.set`

Kani internal panic when calling somehwat complex library path with no symbolic inputs

1

I tried this code: ```rust #[kani::proof] #[kani::unwind(101)] fn safe_indexing() { let args_len: usize = kani::any(); kani::assume(args_len < 100); let mut args: Vec = vec![]; for _ in 0..args_len { args.push(kani::any());...

Crash on writing to /dev/null on macOS

5

Attempting to use `Eio.Flow.copy_string` when stdout points to `/dev/null` crashes. `main.ml`: ```ocaml open Eio let main env = let stdout = Stdenv.stdout env in Eio.Flow.copy_string "Hello world!" stdout; () let...