Ian A Mason

Is antlr4's golang visitor pattern in a usable state?

48

I asked this [question](https://stackoverflow.com/questions/54992660/is-antlr4s-golang-visitor-pattern-in-a-usable-state?noredirect=1#comment96742736_54992660) over on stack overflow, without much enlightenment. I was told to ask it here. ### Is antlr4's golang visitor pattern in a usable state? I see...

yices_model_set_<type> api in 2.6.4

4

Is there a good reason that we did not include the scalar case?

Question about distributions.

16

So I make a distribution for 2.6.3 and I see: ``` >tree . . ├── LICENSE ├── NOTICES ├── README ├── bin │   ├── yices │   ├── yices-sat │   ├──...

Add sally to our Homebrew Tap

1

Title says it all really.

We probably need a couple of backup pip maintainers. Definitely you @travitch should be one. If you send me your pypi login name I can add you. Currently I push...

Just in case you want to keep it upto date

1

Not tested on Windows.

The latest version does some funkyness.

1

Both `extract-bc` and `get-bc` seem to be fooled by the build process. ``` Warning: Failed to find the file /vagrant/musllvm/obj/src/ldso/.dlopen.o.bc ``` because it isn't called o but rather lo: ```...