Krishnan Winter
Krishnan Winter
This issue is related to VPPI faults on AArch64, which uses the fault handling mechanisms to deliver virtual PPI's to a single-threaded VM. Specifically, it was observed in an seL4...
Currently there is no array representation in Pancake. This can be easily worked around using pointer arithmetic, however, without currently having access to multiplication and division this can be cumbersome....
Currently there is only one entry point in Pancake, the cml_main function. For compatibility with the sel4cp, which requires at least an init function, and possibly a notified and protected...
A mechanism for passing arguments to Pancake's main function would be a usability improvement.
Boolean literal parsing - "true" "false" - currently does not work String literal parsing
Currently the notion of shapes exist, but with only the possibility of loading them. A mechanism to access fields of a struct as well as creating and storing structs is...
Current parser error only states that there was an error in parsing, with no indication as to what caused it.
Necessary in some cases, and the current workarounds for not having access to multiplication and division are not the most elegant.
Having logical "and" and "or" for conditional statements in pancake would be a QoL improvement.