Stub generator for ArjunaII work.
Does not build at present due to significant changes in the C++ language over the past 20 years.
http://history.cs.ncl.ac.uk/anniversaries/40th/webbook/trs/papers/308.ps
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Stub generator for ArjunaII work.
Does not build at present due to significant changes in the C++ language over the past 20 years.
http://history.cs.ncl.ac.uk/anniversaries/40th/webbook/trs/papers/308.ps