Liam Gallagher

@Marwes I'm also having some problems with the source positions. I'm making a parser which returns the line &column number but Rust is complaining about mismatched types. It says: _expected...

@Marwes Thanks a lot! I was very confused!

Maybe this is a tad late for you but, looking at this, functionality seems to be mostly written, it's just not accessible by the user. [See here](https://github.com/ucb-bar/chiseltest/blob/main/src/main/scala/chiseltest/formal/backends/smt/SMTModelChecker.scala#L135-L154). It seems all...

Hi, I'd be interested in picking this issue up. I've been looking around for how to do this and it seems pono has a few APIs: - C++: seems least...