- support for K extension and subextension instructions
- support for comments in coverpoints
- added std_op field in template.yaml to indicate is standard-instruction the pseudo op belongs to.
- added support for parsing nosat in coverpoint which disables the solvers for the current resolution.
- added sample cgf files for rv64ik and rv32ik