Unfortunately they don't fit my need.
However, I'd be interested in having a look at how is a MSE file for a C software.
Can you send me one of yours mse file of the linux kernel, please?

Thank you!
Alberto

2009/7/22 Alexandre Bergel <alexandre@bergel.eu>
The linux kernel and an industrial application

Alexandre


On 22 Jul 2009, at 10:31, Alberto Bacchelli wrote:

> Interesting :)
> Which projects did you study? So I can see if they are ok for me
>
> In the meanwhile,
> thank you for letting me know,
>
> Alberto
>
> 2009/7/22 Alexandre Bergel <alexandre@bergel.eu>
> Hi Alberto,
>
> To let you know, I did some case studies in C under Pharo.
>
> Cheers,
> Alexandre
>
>
> On 22 Jul 2009, at 08:36, Alberto Bacchelli wrote:
>
> > Hi,
> >
> > I need to study one (or more) C++ systems. However, due to the macro
> > definition issue, it is quite long (and the results can be
> > approximate) to generate the mse files using iPlasma (or also
> > inFusion), if you want to analyze a C++ system that you don't know.
> >
> > For this reason, I was wondering if there's somebody who can share
> > the mse files of C++ systems with me. The ideal situation is a
> > system big enough to have a bug reporting system (e.g. bugzilla) and
> > a mailing list.
> >
> >
> > Thank you in advance,
> > Alberto
> > _______________________________________________
> > Moose-dev mailing list
> > Moose-dev@iam.unibe.ch
> > https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> --
> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
> Alexandre Bergel  http://www.bergel.eu
> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
>
>
>
>
>
> _______________________________________________
> Moose-dev mailing list
> Moose-dev@iam.unibe.ch
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> _______________________________________________
> Moose-dev mailing list
> Moose-dev@iam.unibe.ch
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.





_______________________________________________
Moose-dev mailing list
Moose-dev@iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev