On Tue, May 15, 2012 at 03:02:59PM -0400, Lipeng Wan wrote:
> The CIL_MACHINE variable I put into ~/.bashrc is:
> CIL_MACHINE="bool=1,1 short=2,1 int=2,1 long=4,1 long_long=8,1 float=4,1
> double=4,1 long_double=4,1 void=1 pointer=2,1 enum=2,1 fun=1,1
> alignof_string=1 max_alignment=1 size_t=unsig
ers] Error: CIL_MACHINE machine model is invalid: alignof_enum
not specified
Hi guys,
I am trying to insert execution counters into each basic block of a simple
sensor network application source code (Blink2.c) using CIL.
The idea is original from PowerTossim. I added the feature
counter.ml<http://c
Hi guys,
I am trying to insert execution counters into each basic block of a simple
sensor network application source code (Blink2.c) using CIL.
The idea is original from PowerTossim. I added the feature counter.ml in
PowerTossim to CIL and run the following command:
cilly --gcc=avr-gcc --envmach
