Rohan Padhye
Rohan Padhye
A bunch of questions raised in #137 and their corresponding [answers](https://github.com/rohanpadhye/JQF/issues/137#issuecomment-832903197) indicate that JQF documentation needs to be self-contained and not assume that users are familiar with AFL or other...
These are used all over JQF but not documented in one central place. We need a wiki page or similar with all configuration options outlined.
Venus currently supports the `.asciiz` directive for emitting ASCII strings, which is non-standard (i.e., not supported by the [GNU-based toolchain](https://github.com/riscv/riscv-asm-manual/blob/master/riscv-asm.md)). This PR adds an alias `.string` so that the same...
This PR adds basic support for the .align X directive, which aligns data bytes to an offset that is a multiple of 2^X. This is a subset of the [features...
This is my attempt at addressing #19. See added tests for intended usage.
Hello! I noticed that the `.word` directives in Venus do not support referring to symbols/labels, like so: ```asm .data .globl A A: .word 1 .globl B B: .word A ```...
Adding two tests that demonstrate the bug reported in [COLLECTIONS-714](https://issues.apache.org/jira/browse/COLLECTIONS-714). The tests currently fail, since I don't have a fix for the bug.
Hi folks, I'm working on some experimental tooling for testing of Catala programs (more on that later), and I encountered what I think is a bug in the [formalization of...