Merged horn_traces branch
Prepared first stage of code reorg:1. moved type def in lustrespec.ml2. moved constructor and basic functions in corelang3. Modified eexpr with prenext quantifiers
Merged trunk updates
Specialized the prefix/postfix modifiers through functors arguments
Split all functions of C backends in separate files
Moved c_backend in separate folder
View revisions
Also available in: Atom