Timestamp:
May 14, 2012, 10:37:08 AM (8 years ago)
Author:
mulligan
Message:

Changes to get things to compile and to avoid the dependency circularity between ASM/Interpret.ma and common/StructuredTraces.ma. New file ASM/AbstractStatus.ma factors out the definition (not the implementation!) of an abstract status, which both of the previously mentioned files require.

File:
1 added

Note: See TracChangeset for help on using the changeset viewer.