Saïd Mohammad Zuhair

Results 5 issues of Saïd Mohammad Zuhair

- change `label` primitive to `cov_label_set` - added `cov_label_is_set` primitive - added `invisible_bool_symbol` primitive

Right now we need to modify the source code a bit (by adding `extern "C"` and the likes) to the source code. Ideally we should be able to run owi...

enhancement