Dwight Guth
Dwight Guth
I mean, sure, but the main problem is that it's massively verbose, and this would take it from hundreds of lines down to maybe 10 at most.
let's not have a separate semantics as that considerably increases build times.
Oncall needs to fix the compilation errors.
There are now instructions to build the pdf: however, it still needs to be made to build automatically. Additionally, the pdf needs at some point to be updated with the...
Let's wait to merge this until we get all the llvm backend tests passing. Right now it seems to be disabling C++, which we probably don't want to do in...
Looks like the build failed because it rejected your installation of llvm for having the wrong version. I have no idea why though... It is the right version. LLVM shouldn't...
This is almost certainly because of lack of support for priorities in the parser. As a result, I would be highly interested in a solution to this issue, because it...
I would be interested to know whether you still get this behavior in the runtimeverification version of k though, because there are several major optimizations to parsing that were included...
okay, I can confirm that this issue affects rv-k as well. please tag me in the pull request if one gets made.
So, the OCAML backend is capable of running programs on any system that ocamlopt can compile to, which last I checked included Android and iOS. The larger issue is that...