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