Max von Hippel

GitHub updated their Markdown engine (I think around a year ago) and as a result this README (and many others) were visually broken. For example, `#BLARG` does not work now,...

Cache invariants, color PASS/FAIL/[assumed], & syntax definitions

8

This pull request makes the following changes. 1. Adds an optional `database` parameter. Setting `database=my-file.txt` tells the code to use `my-file.txt` as a data-base. The database works like a cache...

ivy_check assert=file:line doesn't really work

2

Per our discussion today. (I'll update with instructions to reproduce shortly.)

Fix markdown to render correctly on Github web

2

Github's rendering of Markdown changed a year or so ago and now you have to do `# Title` instead of `#Title`. Fixed accordingly.

fix link in markdown

Configure file is missing to begin with; as is customary you should run autoconf to make it. Although this may be obvious to some people it is not obvious to...

[According to the README](https://github.com/filecoin-project/go-fil-markets/#components), one of the "Components" of the `filecoin-project` is `pieceio`, which links [HERE](https://github.com/filecoin-project/go-fil-markets/blob/master/pieceio):  I actually encountered this issue while trying to update the [Lotus devnet](https://github.com/textileio/lotus-devnet) to...

Added support for explicit-boundary blank maps

2

You can now create blank maps by setting an explicit extent. To be clear, I have only added explicit extent support for blank maps. Non-blank ones are more difficult (and...

Your Dockerfile doesn't work due to lack of ubuntu version.

1

- [x ] Ensure the bug was not already reported by searching on GitHub under Issues. - [ x] Be sure to include a title and clear description, as much...

Currently the script fails if your default `python` is version 3, in this fashion: ``` (base) max@max-XPS-13-9310:~/tools/dreal3/dReal-3.16.06.02-linux/bin$ ./dReach -k 10 bouncing_ball.drh --verbose --precision 0.001 --visualize File "", line 1 import...