Anna Slobodova's repositories
riscv-bitmanip
Working draft of the proposed RISC-V Bitmanipulation extension
Language:MakefileCC-BY-4.0000
acl2
ACL2 System and Books as Maintained by the Community
Language:Common LispNOASSERTION000
Working draft of the proposed RISC-V Bitmanipulation extension
ACL2 System and Books as Maintained by the Community