Changeset 1454


Ignore:
Timestamp:
Oct 23, 2011, 4:28:55 PM (8 years ago)
Author:
mulligan
Message:

removed mention of axiomatised code in LIN/semantics.ma

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.2-4.3/reports/D4-3.tex

    r1449 r1454  
    548548\section{Future work}
    549549\label{sect.future.work}
    550 
    551 A few small axioms remain to be closed.
    552 These relate to fetching the next instruction to be interpreted from the control flow graph, or linearised representation, of the language.
    553 Closing these axioms should not be a problem.
    554550
    555551Most things related to external function calls are currently axiomatised.
Note: See TracChangeset for help on using the changeset viewer.