Changeset 2760 for src/joint


Ignore:
Timestamp:
Mar 2, 2013, 1:29:41 AM (7 years ago)
Author:
sacerdot
Message:
  1. Many files repaired.
  2. 3 new daemons: 2 in Assembly.ma, 1 in StructuredTraces?.ma
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/semantics_blocks.ma

    r2688 r2760  
    4141
    4242lemma produce_step_trace :
    43   ∀p : evaluation_params.
     43  ∀p : prog_params.
    4444  ∀st : state_pc p.
    4545  ∀curr_id,curr_fn.
     
    6767
    6868let rec produce_trace_any_any_free_aux
    69   (p : evaluation_params)
     69  (p : prog_params)
    7070  (st : state_pc p)
    7171  curr_id curr_fn
     
    154154
    155155definition produce_trace_any_any_free :
    156   ∀p : evaluation_params.
     156  ∀p : prog_params.
    157157  ∀st : state_pc p.
    158158  ∀curr_id,curr_fn.
     
    173173(* when a seq_list is coerced to a step_block *)
    174174definition produce_trace_any_any_free_coerced :
    175   ∀p : evaluation_params.
     175  ∀p : prog_params.
    176176  ∀st : state_pc p.
    177177  ∀curr_id,curr_fn.
Note: See TracChangeset for help on using the changeset viewer.