Ignore:
Timestamp:
Mar 19, 2013, 8:42:43 AM (7 years ago)
Author:
sacerdot
Message:

Semantics of ASM in place (up to return values and function call names).
The test example badly diverges in ASM after being ok in LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/assembly.mli

    r2773 r2905  
    164164  (BitVector.word -> Bool.bool) -> ASM.labelled_object_code Types.sig0
    165165
     166val ticks_of_instruction : ASM.instruction -> Nat.nat
     167
     168val ticks_of0 :
     169  ASM.pseudo_assembly_program -> (ASM.identifier -> BitVector.word) ->
     170  (BitVector.word -> BitVector.word) -> (BitVector.word -> Bool.bool) ->
     171  BitVector.word -> ASM.pseudo_instruction -> (Nat.nat, Nat.nat) Types.prod
     172
     173val ticks_of :
     174  ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word) ->
     175  (BitVector.word -> Bool.bool) -> BitVector.word -> (Nat.nat, Nat.nat)
     176  Types.prod
     177
Note: See TracChangeset for help on using the changeset viewer.