Synthesizing Loop-Free Programs with Rust and Z3

This post makes extensive use of math symbols, and uses MathJax.js to render them, therefore I recommend enabling JavaScript. Read more

Similar

Rust superpowered DHCP CLI with rhai scripts

I’ve been working on cli tool for a little while called dhcpm (“m” for “mock” - link). It started as a cli tool for constructing & sending arbitrary DHCP messages. I had been looking for a tool that could build various dhcp (mostly v4) messages with d... (more…)

Read more »