Skip to content

Kmax v2.0-rc1

Pre-release
Pre-release
Compare
Choose a tag to compare
@paulgazz paulgazz released this 02 Aug 18:03
· 1246 commits to master since this release
v2.0-rc1
0067a2b

This version of Kmax includes several new features and improvements:

  • Integration with z3 instead of BDDs. This enables Kmax to more efficiently work with Boolean expressions and use better simplification tactics. Special thanks to ThanhVu Nguyen for helping integrate z3 into Kmax.
  • A new tool called Kclause, which translates Kconfig specifications to Boolean expressions. This has both BDD and z3 backends. Special thanks to Jeho Oh for spending time to work on Kconfig's semantics.
  • There are many more test cases for both Kmax and Kclause in tests/
  • Documentation is somewhat improved in README.md to make it easier to run Kmax on the whole Linux kernel.
Assets 2
Loading