Patrick LaFontaine

The Brilirs memory extension implementation is very slow

4

As was shown in https://github.com/sampsyo/bril/pull/189#issuecomment-1091979145. The current memory extension implementation for `brilirs` is surprisingly slow. Currently, there are no good benchmarks that are memory intensive enough which makes it difficult...

Implementing the speculative execution extension for brilirs

1

The current feature difference between the reference interpreter, `brili`, and its Rust counter-part `brilirs` is that `brilirs` does not implement the speculative execution extension. The implementation semantics can probably be...

Rust support breaks for non-crates.io dependency

1

Hi, this is very cool. I was looking to run it on one of my rust projects after reading the It-depends blog post however it seems to crash if it...

Hello, would you be open to updating the edition version and addressing the clippy/doc/fmt warnings? Would close #20. I also have a second commit which looks specifically at the `Id::new`...

Hey! Cool project. As I went through the documentation, I notice a couple links were dead. I've gone through and updated any links I thought were off.

First step to add a lexer example in tree

1

I'm interested in addressing #869. Before upgrading the version of logos, I would first like to add a testable version of the logos lexer example. This involves extracting out the...

Replace term with anstream?

7

Not a high priority but I noticed that a more up-to-date `Cargo.lock` brings in a second version of `bitflags` because of the dependency on `term`. This got me looking into...

Fixes #272 (First two commits) My attempt at adding the new regular expression operations: `power`, `allchar`, and `diff`. I also noticed that `option` was exposed but not implemented so I've...

I wanted to concertize my idea from #270 into some code. Instead of creating additional `from_i*` methods I propose using `Into` for `from_i64`. Leveraging the trait system here runs into...

Symbol::as_z3_symbol can return Null Pointer

1

It seem like the integer conversion for Symbol does not check that the integer is within the valid bounds that `Z3_mk_int_symbol` expects(0