Changeset 1618


Ignore:
Timestamp:
Dec 14, 2011, 6:17:53 PM (8 years ago)
Author:
campbell
Message:

Minor updates due to recent changes.

Location:
src/Clight
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/addRuntime.ma

    r1276 r1618  
    11
    2 include "utilities/lists.ma".
     2include "basics/lists/listb.ma".
    33
    44include "Clight/Csyntax.ma".
  • src/Clight/test/search.c.ma

    r1599 r1618  
    215215@refl
    216216qed.
    217 
     217(*
    218218example csc: True.
    219219letin yyy ≝ (
     
    228228letin zzz ≝ (do p ← yyy ; rtlabs_to_rtl p)
    229229@⊥ normalize in xxx;
     230*)
  • src/Clight/test/sum.test.ma

    r1599 r1618  
    3333@refl
    3434qed.
    35 
     35(*
    3636include "RTLabs/RTLabsToRTL.ma".
    3737include alias "basics/lists/list.ma".
     
    6060[2: check (joint_if_code (prog_var_names … p) ? f) |3: cases daemon  ]
    6161normalize in xxx
    62 
     62*)
Note: See TracChangeset for help on using the changeset viewer.