ClemsonRSRG/RESOLVE — pull request #131 by Welchd1 (2014-10-23 03:28:19+00:00)
Title: Records seem to be working.. Further testing needed.

This branch adds support for user defined facility record types. A bulk of the changes involved in this affect the populator, though there are some that have also been made to the java translator to accommodate their addition. These changes were tested on the (non trivial) Event_Fac facility that is to be used in 372 this Fall.

In terms of passing records to mathematical definitions (or structures containing records), the meeting today clarified that the language is still in flux with regards to this. That is to say, we're not going to bend over backwards getting these things to typecheck with with queues, etc since in the future, all definitions will be relegated to theory files (or theory extensions -- the details of which still need figuring out).