NameDateSize

..25-Jul-201970

CHANGESH A D25-Jul-20196.7 KiB

Manual/H25-Jul-20198

READMEH A D25-Jul-20191.1 KiB

unwindLib.sigH A D25-Jul-20191.8 KiB

unwindLib.smlH A D25-Jul-201963.2 KiB

README

1+ =====================================================================	+
2|									|
3| LIBRARY	: unwind						|
4|									|
5| DESCRIPTION   : derived inference rules for expanding and simplifying	|
6| 	          hardware structural specifications.			|
7|									|
8+ =====================================================================	+
9
10+ --------------------------------------------------------------------- +
11|									|
12| FILES:								|
13|									|
14+ --------------------------------------------------------------------- +
15
16   src/unwinding.sml           definitions of derived rules
17
18+ --------------------------------------------------------------------- +
19|									|
20| TO REBUILD THE LIBRARY:						|
21|									|
22+ --------------------------------------------------------------------- +
23
24  1) You don't have to rebuild the library.
25
26
27+ --------------------------------------------------------------------- +
28|									|
29| TO USE THE LIBRARY:							|
30|									|
31+ --------------------------------------------------------------------- +
32
33   Do a load_library{lib = unwind_lib, theory = "-"};
34