Closed fitzgen closed 3 months ago
"pbc" = Pulley Bytecode. The 32 and 64 refer to the pointer size.
Maybe call them pulley32 and pulley64 instead? These are not targets supported by rustc, so favoring the name being unambiguous over it being short is the right call IMHO.
"pbc" = Pulley Bytecode. The 32 and 64 refer to the pointer size.