4 releases

0.1.3 May 11, 2023
0.1.2 Apr 2, 2023
0.1.1 Mar 3, 2023
0.1.0 Jan 27, 2023

#1489 in Hardware support


Used in kind2

MIT license

26KB
606 lines


Driver for the kind compiler

Dependencies

~16–25MB
~317K SLoC