Brian Milnes

icon indicating an email [email protected]

icon location 6160 90th ave se mercer island wa 98040 icon location Volunteering on F* at MSFT Research

Results 42 issues of Brian Milnes

It would be good to bind a Z3 with the everest script

While building a clean Make setup (to replace it with F* code) it's clear that everest should have a Z3 in it bound to the right revision for the Everest...

everest karamel requires opam uucp

Ubuntu 6.5.0-1020-oem #21-Ubuntu I'm building in ~/third-party/everest/karamel and it wants uucp in _build/default_lib opam install puts in my default ocaml setup. ./everest opam uucp did not work. sudo apt install...