On Feb 21, 2018, at 5:39 AM, Stéphane Ducasse <stephane.ducasse(a)inria.fr&gt; wrote: Hi I learned that Understand supports now solidity and I’m thinking that it would be good to expose our Solidity parser in Moose. We should discuss it because it could give more exposure. Stef -------------------------------------------- Stéphane Ducasse http://stephane.ducasse.free.fr http://www.synectique.eu / http://www.pharo.org 03 59 35 87 52 Assistant: Julie Jonas FAX 03 59 57 78 50 TEL 03 59 35 86 16 S. Ducasse - Inria 40, avenue Halley, Parc Scientifique de la Haute Borne, Bât.A, Park Plaza Villeneuve d'Ascq 59650 France _______________________________________________ Moose-dev mailing list Moose-dev(a)list.inf.unibe.ch https://www.list.inf.unibe.ch/listinfo/moose-dev

On 22 Feb 2018, at 12:24, Tudor Girba <tudor(a)tudorgirba.com&gt; wrote: Understand is a static analysis tool: https://scitools.com Cheers, Doru > On Feb 22, 2018, at 12:18 PM, Alexandre Bergel <alexandre.bergel(a)me.com&gt; wrote: > > What is “Understand”? Is it a project name? Very hard to google. > > Having a Pharo parser for solidity would be great! > > Alexandre > >> On Feb 21, 2018, at 5:39 AM, Stéphane Ducasse <stephane.ducasse(a)inria.fr&gt; wrote: >> >> Hi >> >> I learned that Understand supports now solidity and I’m thinking that it would be good to >> expose our Solidity parser in Moose. >> We should discuss it because it could give more exposure. >> >> Stef >> >> -------------------------------------------- >> Stéphane Ducasse >> http://stephane.ducasse.free.fr >> http://www.synectique.eu / http://www.pharo.org >> 03 59 35 87 52 >> Assistant: Julie Jonas >> FAX 03 59 57 78 50 >> TEL 03 59 35 86 16 >> S. Ducasse - Inria >> 40, avenue Halley, >> Parc Scientifique de la Haute Borne, Bât.A, Park Plaza >> Villeneuve d'Ascq 59650 >> France >> >> _______________________________________________ >> Moose-dev mailing list >> Moose-dev(a)list.inf.unibe.ch >> https://www.list.inf.unibe.ch/listinfo/moose-dev > > _______________________________________________ > Moose-dev mailing list > Moose-dev(a)list.inf.unibe.ch > https://www.list.inf.unibe.ch/listinfo/moose-dev -- www.tudorgirba.com www.feenk.com “Live like you mean it." _______________________________________________ Moose-dev mailing list Moose-dev(a)list.inf.unibe.ch https://www.list.inf.unibe.ch/listinfo/moose-dev

On Feb 22, 2018, at 8:35 AM, Stéphane Ducasse <stephane.ducasse(a)inria.fr&gt; wrote: We will add it to Moose and if you are interested you can work with us on some visualisation papers. Stef > On 22 Feb 2018, at 12:18, Alexandre Bergel <alexandre.bergel(a)me.com&gt; wrote: > > What is “Understand”? Is it a project name? Very hard to google. > > Having a Pharo parser for solidity would be great! > > Alexandre > >> On Feb 21, 2018, at 5:39 AM, Stéphane Ducasse <stephane.ducasse(a)inria.fr&gt; wrote: >> >> Hi >> >> I learned that Understand supports now solidity and I’m thinking that it would be good to >> expose our Solidity parser in Moose. >> We should discuss it because it could give more exposure. >> >> Stef >> >> -------------------------------------------- >> Stéphane Ducasse >> http://stephane.ducasse.free.fr >> http://www.synectique.eu / http://www.pharo.org >> 03 59 35 87 52 >> Assistant: Julie Jonas >> FAX 03 59 57 78 50 >> TEL 03 59 35 86 16 >> S. Ducasse - Inria >> 40, avenue Halley, >> Parc Scientifique de la Haute Borne, Bât.A, Park Plaza >> Villeneuve d'Ascq 59650 >> France >> >> _______________________________________________ >> Moose-dev mailing list >> Moose-dev(a)list.inf.unibe.ch >> https://www.list.inf.unibe.ch/listinfo/moose-dev > > _______________________________________________ > Moose-dev mailing list > Moose-dev(a)list.inf.unibe.ch > https://www.list.inf.unibe.ch/listinfo/moose-dev -------------------------------------------- Stéphane Ducasse http://stephane.ducasse.free.fr http://www.synectique.eu / http://www.pharo.org 03 59 35 87 52 Assistant: Julie Jonas FAX 03 59 57 78 50 TEL 03 59 35 86 16 S. Ducasse - Inria 40, avenue Halley, Parc Scientifique de la Haute Borne, Bât.A, Park Plaza Villeneuve d'Ascq 59650 France _______________________________________________ Moose-dev mailing list Moose-dev(a)list.inf.unibe.ch https://www.list.inf.unibe.ch/listinfo/moose-dev