Including Boogie as a submodule?

[lleraromero]

It would be nice to include Boogie as a submodule, in order to make it easier to download the project from scratch.
I know, probably it isn't the best alternative to handle this dependency, but since very few people might be using this project (maybe I'm the only one?) I think it's the best way to solve this issue.

[delcypher]

Sounds like a good idea to me. This is what I do for Symbooglix (see ExternalLibs/Boogie).

I don't maintain this project though so perhaps @akashlal or @shazqadeer have something to say.

[lleraromero]

@akashlal @shazqadeer any thoughts?

[akashlal]

@lleraromero This is a good idea. Please go ahead.
Can I ask what interests you in BCT? BCT is still in use by folks here in MSR, but has not been maintained for a while.

[lleraromero]

Great! I will make the changes and submit a pull request.

Basically, I'm conducting some experiments using Corral as a model checker for a tool, which analyses .NET bytecode, that we are using in our research group. We are interested in studying and proposing abstractions of system behaviour that are amenable to human consumption. In particular we are interested in Enabledness Preserving Abstractions (abstractions which quotient a concrete state space so as to group together all concrete states that enable the same set of actions).

You can get more info in the tool's site: http://lafhis.dc.uba.ar/contractor/contractor.net-web/