Re: [CIL users] A wish for 2.0

2013-10-15 Thread Gabriel Kerneis
Dear Pietro, On Tue, Oct 15, 2013 at 01:23:46PM +0200, Pietro Braione wrote: > How far is CIL from this ideal? Would be happy to hear that we are > already there. Not that far away. Let's imagine for a second that Simplify is split in a series of simpler passes with well defined interfaces (.mli

[CIL users] A wish for 2.0

2013-10-15 Thread Pietro Braione
Hello to all. I would like to express two personal wishes for 2.0, motivated by my personal experience with CIL and the recent support to plugins. I think that plugins should lead to a situation where: 1- complex CIL transformation passes are "unentangled" as compositions of basic ("primitive")

Re: [CIL users] New feature: CIL plugins

2013-10-15 Thread Alex Susu
Hi, Jonathan, I hope Gabriel gave you the right answer - he seems to know more about findlib than I do. Will you be posting the GameTime tool at http://uclid.eecs.berkeley.edu/gametime/ ? Best regards, Alex On 10/12/2013 11:04 AM, Gabriel Kerneis wrote: > On Fri, Oct 11,

Re: [CIL users] New feature: CIL plugins

2013-10-15 Thread Jonathan Kotker
That did it! Thank you very much, Gabriel -- my beta-tester is able to install my software package, without having to install the Findlib module. To summarize, this is what I had to do -- and please correct me if I am mistaken somewhere: First, I compiled CIL and my modules into a directory, with