Ted Kaminski
Ted Kaminski
When cargo builds a project in test mode that has a dev-dependency, we see 3 basic calls to rustc (i.e. kani-compiler, in our case): 1. Build the main project, but...
Having a poke at building top-100 crates with Kani. Found this one frequently. Cause is typically an `assert!` or `panic!` etc in a constant function. Probably we just need to...
I haven't fully verified this is reproducible yet. I _think_ what I'm seeing is that: * On Ubuntu 18.04 Docker container, I get `Semantic(18, 4, 0)` as the detected version...
This is a longish-term feature request. I thought I'd written about it before, but I just had reason to look for it and couldn't find it. It would be nice...
There's a bunch of different categories of things that could use improvement. This is just a thought-collection list. ## Startup time I'm retiring issue #30 and reformatting those ideas here:...
Another thing I found in my head and thought I should write down. Presently, we have just one mode that Silver operates in: get a grammar name, build it. Maybe...
Moved from old website TODO list: * [x] Don't generate "documentation" for grammars that would just be empty and useless * [x] Re-organize to not nest grammars. * [x] Improve...
We had a discussion in the lab yesterday that I thought I'd write up to clarify my thoughts, share, and get any feedback. The short version is this: **Silver should...
I was going through some old starred emails, cleaning out the junk. Here's one we never got around to: 1) We should be able to pattern match on terminals. Possibly...
I wanted to write down naming intentions here. We have a number of libraries that should be considered obsolete and removed: ``` grammars/silver/util/treemap (use raw:treemap) grammars/silver/util/fixedmap (ditto) grammars/silver/util/command (use cmdargs)...