added codegen_repo
conflict fix
fixed conflict for real now
fixed conflict for real now
moved codegen_repo to alloy folder
removed trailing whitespaces
remember generated associations in CodegenRepo
added :from_scratch option to Migration
small renamings and helper methods
small improvements, mostly in red.js
nothing special
extracted module building from ModelBuilder to a more general purpose class and added it to SDGUTils
extracted class building from SigBuilder to a more general purpose class and added it to SDGUTils
broke red_model.rb into several files (one for data model, one for event model, one for security model); some policy unit tests
implemented policy classes and policy/rule instantiation
split alloy_ast.rb into several files
alloy expressions and operators; split ASig::Static into Builder and Static
renamed FieldMeta to Field
working on adding functions
fancy fun syntax