type conf args
added a conf option to disable appended fact
my local data
marge
 fixed and organized the compiler , added comments for methods
cleaned up compiler.rb:
 - renamed some methods
 - added a parameter to sigs_fields' to return a flat list of fields instead of list of lists of fields grouped by the parent sig;
 - fixed broken compiler_test;
 - renamed variables in file_system_test to follow the convention that names of proxy variables should start with a4
set the @@rep variable (A4Reporter) to nil, as we don't care to listen to reports from alloy
renamed flat_list_of_atoms to all_atoms, and sigs_fields to all_fields
added a test for 'all_fields'
 - made all methods in Compiler static
 - added instance methods to the Compiler class that delegate the calls to corresponding static methods, but carry some state around
 - created a Solution class that wraps A4Solution
 - moved some methods from Compiler to Solution (namely those that deal with extracting stuff from a solution, e.g., 'all_atoms')
 - the Solution class follows the same pattern as Compiler: static functional-style API + instance methods delegating to static API and carrying some state around in instance variables
 - rewrote CompilerTest to use the static API
 - added a new unit test, CompilerOOTest, to demonstrate the new instance-level API
 - rewrote FileSystemTest to use the new instance-level API
Merge branch 'ido' into exp
Merge branch 'exp'