VisualRiSC Code
Toolbox visualizing computations of Realizable Sign Conditions.
Status: Planning
Brought to you by:
uloup
File | Date | Author | Commit |
---|---|---|---|
examples | 2013-11-30 |
![]() |
[c2e5c6] Added general header and experimental unbounded... |
external | 2013-10-18 |
![]() |
[c128b0] First example |
src | 2013-11-30 |
![]() |
[c2e5c6] Added general header and experimental unbounded... |
AUTHORS | 2013-10-18 |
![]() |
[c128b0] First example |
COPYING | 2013-10-18 |
![]() |
[c128b0] First example |
NEWS | 2013-10-18 |
![]() |
[c128b0] First example |
README | 2013-10-18 |
![]() |
[5f6903] First example + gnuplot |
run_example.py | 2013-10-18 |
![]() |
[c128b0] First example |
File: README Project name: VisualRiSC Contact: Ulrich Loup <loup@cs.rwth-aachen.de> Project sourceforge page: https://sourceforge.net/projects/visualrisc Development status: planning * Prerequisites Python 3 Python packages SymPy,Numpy Gnuplot * Installation Many examples utilize Gnuplot to visualize things. The Gnuplot interface is provided through the gnuplot-py package available in the folder external or from https://github.com/oblalex/gnuplot.py-py3k (for the Python 3 porting). * How to run examples Run the following from the project's root folder: > python run_example.py <example name> <example name> is the file name (w/o extension) of one example from the examples folder. * Troubleshooting