Verifying GCC optimizations using an SMT solver

• alive2

  5 681 9.3 C++

  Automatic verification of LLVM optimizations

  

Yeah, this kind of thing is nice.

Alive had been used for years (almost a decade actually) by people to verify LLVM instcombine transforms.

Alive2 (https://github.com/AliveToolkit/alive2) makes it easier to do the same with most optimization passes.

• Cassius

  5 90 0.0 Racket

  A CSS specification and reasoning engine

  

There's this cool project using z3 (and racket) for formalizing CSS rendering [1] I never came around to lift for anything. Maybe someone else interested in leading the web out of the dark ages and give W3C's CSS WG an idea what we expect from them will.

[1]: https://github.com/uwplse/cassius

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project