Julien Delange

I do not believe the grammar should "support" the preprocessing stages but it should probably not stop when it encounters a pre-processing directive. It does not stop when it encounters...

As far as I know, there is no active plan. If you want to have this support, I believe the best way is to either do it yourself or have...

Having a trace/comment might help :)

looks like a problem with @yoogx and ocarina!

I appreciate the compliment. Please note that POK and Ocarina are open source and contributions are more than appreciated.

Can you please send: 1. The version of ocarina you are using 2. The version of pok you are using 3. The commands you are using Having a way to...

I will look into this over the week end.

follow-up on this. The reason is because the property set changed. Obviously, the ocarina compiler would need some love to be fixed and generate the HM policy based on the...

You are totally correct: - The models need to be updated to use the new property set - The compiler needs to be updated to generate the HM policy based...

This is not an issue, you just need to change the -I directive from the compile in order to find your sources/headers. Read the makefile build system and check how...