Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
regsy [2010/06/04 16:53] vkuncak |
regsy [2010/06/16 14:15] jad.hamza |
||
---|---|---|---|
Line 38: | Line 38: | ||
Once your function has been synthesized, you can try it on different inputs. | Once your function has been synthesized, you can try it on different inputs. | ||
- | When you run some filename.mona on Regsy, it will automatically save the synthesized function on filename.sav; you can then run it using | + | When you run some filename.mona on Regsy, it will automatically save the synthesized function on filename_tracks.sav; you can then run it using |
- | ./run -l addition.sav "0 1" | + | ./run -l addition_01.sav |
Regsy also have a streaming functionality. You can use it using for instance on: | Regsy also have a streaming functionality. You can use it using for instance on: |