Lib.rs

› 硬件支持 | 编程语言
#driver #kind #compiler

kind-driver

由 Sofia Rodrigues 所有。

4个版本

0.1.3 2023年5月11日
0.1.2 2023年4月2日
0.1.1 2023年3月3日
0.1.0 2023年1月27日

#1489 in 硬件支持


在 kind2 中使用

MIT 许可证

26KB
606 行

kind 编译器的驱动程序

依赖项

~16–25MB
~317K SLoC