Bryan A. Jones
Bryan A. Jones
Since I'm working on getting libcoro ported to other compilers/platforms, would you be open to a redefinition of the `LIBCORO_FEATURE_THREADING` option in `CMakeLists.txt`? Current, the docstring there is "Include multithreading...
@dbrianwalton, this is the initial PR for our work on dynamic problems. I'll be force-pushing this until tests pass.
Thanks for the great software! I've been using it for a while in one of my projects ([the CodeChat system](https://codechat-system.readthedocs.io/en/latest/)) and it works well! Recently, however, I've noticed that running...
I run a server (interactive-ebooks.com) where I allow students to build and run in-browser Verilog coding exercises. I'm using iverilog to run the code. Given that it's easy to produce...
This involves: - ~~Configure and install the VSCode mypy plugin.~~ - Configure and install the CodeChat Editor in its current form. - Create a VSCode plugin for the CodeChat Editor.
Work with Brian Walton to integrate dynamic problems into PreTeXt.
From @Alex-Jordan on pretext-dev: The Runestone drag-n-drop (matching) interactive has accessibility issues, specifically I do not seem to be able to use it with only a keyboard. Here is an...
Set up PreTeXt to use only local JavaScript/CSS, instead of pulling many libraries from the web. See https://github.com/PreTeXtBook/pretext/issues/444, https://github.com/siefkenj/pretext-react. Blockers: until Brad, Jason, and Rob merge in the React updates,...
Continuous deployment/integration of PreTeXt and Runestone products together. - [ ] Improve and extend existing PreTeXt/PreTeXt CLI tests to test documents which contain Runestone Components. - [ ] Create a...
Calling `VCDrom('waveform1', 'name_of_vcd_file_on_server.vcd')` fails without a bit of hand editing: the code in [getReaders](https://github.com/wavedrom/vcdrom/blob/trunk/lib/get-readers.js#L57) doesn't define `ext`. Adding `ext: getExt(vcdPath),` should fix the bug.