trace check code and test cases


Former-commit-id: efc5cb673e52b5bbaf8caf62e38ba445e1601843
The Xtext code for both OCLR and trace specifications, and the java code for creating instances (XMI files) from the specifications.


Former-commit-id: 3a59168a8d70d41c886f07b2a6d381150673fb36
OCLR constraints


Former-commit-id: 3483b9c9a57cf38a53a935b99f0c9e77ccf8a913
rename the folder's name for *test cases*


Former-commit-id: db3ed076089817bdde5f778b6cd252a6c2c899fd
create a new directory *checker*


Former-commit-id: c10383b374cbda9968b958ae2b104f87a30c8a46
trace generators


Former-commit-id: ee037fe68fa8324585d20d098187f0ac0e513e36
a simple introduction


Former-commit-id: be142f9528fdb66b8401f34cbdceeb15054bc524
minor change


Former-commit-id: 7b8b0c8240293ae3be2dee4747a3e5790839b218
tabs -> (2) spaces


Former-commit-id: fb9e23e6f5314f9400da4ff912f5a3ecb8c53a54
slight change for *after* trace generator


Former-commit-id: 0a3077c9151154a18dec08da2cd87fada11b7fd2
minor change


Former-commit-id: f47c2ca6d91e0081e386d16baa07a8f513703846
reorganize the directories


Former-commit-id: 0ade3fae31a486e700784da0f88e834071b132c9
updated README


Former-commit-id: 1a0de28c91eee438c5d1dd3307411ddcde79eaf1
minor change


Former-commit-id: 778ac7a7d26b9bdb811cf41bd099edc7d4edda57
minor changes to the project description


Former-commit-id: 9dca0e59f8bd70514a5dcb5dc7800eca8a06942f
quantity->value


Former-commit-id: e584a618d5e59c3ce24e8551a3dba47e3d0f08b7
old traces (using 'quantity') deleted


Former-commit-id: 13a062a8a4b8f01884bf5b9f2af7cf8562c71617
public traces (CSV) and our traces (XMI)


Former-commit-id: 030cf88423b856ed7f2b61d97494eb36923a33c3
minor change for program explanation


Former-commit-id: 8bce28d143781e9373e561c87c92c2e3ee34608e
updated description of modules


Former-commit-id: 22ca26d5a1c16837f81d895f47804f414d2594a9