radl97
radl97
nm spits out `000000000003b0f0` (16 chars in total), this change would make scripting easier
Hey, I really like this project, thanks for sharing it with people! One small note: it is bit of a pain using the demo as it is now. The usability...
Grammars have too much duplicates. Types, declarations, expressions and statements' grammar are mostly the same, as far as I know. This duplication makes extending grammar and creating new formalisms a...
Some exception handling-related and output formatting (benchmark table) could be extracted to a subproject so cli interfaces need not be synchronized among versions. Maybe there is not enough thing to...
**NOTE:** Tests fail. This could be an issue, but the "attached" code might help understand an issue. --- I have tried to complete a TODO, basically extract this code: ```javascript...
Resolves #96. Note that this would mean that only LLVM11 works, changes are still needed for this to work on both versions. (I don't know about LLVM10 or 8 or...
This PR contains the first patch aiming to allow usage of LLVM tools (mostly `opt`) in the project. Usage of `opt` would enable single pass tests, or later, even remove...
Someone mentioned that we could upgrade LLVM framework (current version is 9). There are many different aspects to this, so I think it is useful to start a discussion to...
This is the first patch aiming to enable generating Theta-XCFA. This PR refactors the monolith that is ThetaCfaGenerator.
This PR is to improve generic high-level structure of Gazer. Bugs are hard to catch, and finding out which exact passes introduce an error or a weird instruction is hard....