Changeset 2743 for extracted/lTL.mli


Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (7 years ago)
Author:
sacerdot
Message:

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lTL.mli

    r2717 r2743  
    111111type ltl_program = Joint.joint_program
    112112
     113val dpi1__o__byte_to_ltl_argument__o__inject :
     114  (BitVector.byte, 'a1) Types.dPair -> Joint.hdw_argument Types.sig0
     115
     116val eject__o__byte_to_ltl_argument__o__inject :
     117  BitVector.byte Types.sig0 -> Joint.hdw_argument Types.sig0
     118
     119val byte_to_ltl_argument__o__inject :
     120  BitVector.byte -> Joint.hdw_argument Types.sig0
     121
     122val dpi1__o__byte_to_ltl_argument :
     123  (BitVector.byte, 'a1) Types.dPair -> Joint.hdw_argument
     124
     125val eject__o__byte_to_ltl_argument :
     126  BitVector.byte Types.sig0 -> Joint.hdw_argument
     127
     128val dpi1__o__reg_to_ltl_argument__o__inject :
     129  (I8051.register, 'a1) Types.dPair -> Joint.hdw_argument Types.sig0
     130
     131val eject__o__reg_to_ltl_argument__o__inject :
     132  I8051.register Types.sig0 -> Joint.hdw_argument Types.sig0
     133
     134val reg_to_ltl_argument__o__inject :
     135  I8051.register -> Joint.hdw_argument Types.sig0
     136
     137val dpi1__o__reg_to_ltl_argument :
     138  (I8051.register, 'a1) Types.dPair -> Joint.hdw_argument
     139
     140val eject__o__reg_to_ltl_argument :
     141  I8051.register Types.sig0 -> Joint.hdw_argument
     142
Note: See TracChangeset for help on using the changeset viewer.