Karl Kroening a82f1c93ca Add jupyter demo

2018-06-27 23:37:39 -07:00

..

html

Pull docs from #85

2018-05-20 01:14:10 -07:00

src

Rename file_{input,output} to {input,output}

2017-05-27 17:53:02 -10:00

.gitignore

#1: add script to update gh-pages

2017-05-27 15:59:56 -10:00

formula.png

Update formula image

2017-12-29 20:38:15 -08:00

formula.xcf

Update formula image

2017-12-29 20:38:15 -08:00

graph1.png

Add overlay, hflip, and drawbox operators; use a more real-world example in docs

2017-05-14 00:18:09 -10:00

jupyter-demo.gif

Add jupyter demo

2018-06-27 23:37:39 -07:00

jupyter-screenshot.png

Update jupyter screenshot

2018-06-02 02:45:24 -07:00

logo.png

Update logo+formula images

2017-12-29 20:28:51 -08:00

logo.xcf

Add logo/formula

2017-12-23 00:49:32 -06:00

Makefile

#1: update docs

2017-05-27 17:16:59 -10:00

screenshot.png

Update readme

2017-05-14 00:27:56 -10:00

update-gh-pages.sh

#1: update readme link

2017-05-27 16:06:46 -10:00