100644 blob b583a6d666f4bc5f0d0f24c904f7917ac68ed8e8	ContextType.java
100644 blob 5814b4a3d16843acb481ab8648743cdb6ab657d9	ContextTypeManager.java
100644 blob e8cdd38627699ea9fecc1f6b8035f4c45cdca65a	DefaultContextMaker.java
100644 blob b596b41f49e84c1f0163887225975b84cff3770b	DefaultVerificationMaker.java
100644 blob 1f9a05c28497f958bb1dd322968d37d4e4c7871c	IContextMaker.java
100644 blob 4f408385e24bac5df7d043b475328ffd7562796c	IContextProcessor.java
100644 blob 3f4ed799814d0aff126b59a1e8281cda735321fd	IEclAwareProcessor.java
100644 blob 6ba3eda94e1f89c1a021963bda8997338b7bc6b0	IQ7Extension.java
100644 blob bb37e97cb3b3f1208b9385e1806bf8686450baf3	IVerificationMaker.java
100644 blob 4dc83c310f2deed85be676a57761c517bd9c1b43	IVerificationProcessor.java
100644 blob 7d540dfcacc342a39b5fc4acb489c4e6bf39d61b	OptionsHandler.java
100644 blob c7b5d3cc2c156a3d43fff3a8d7d5c55720dd4682	Q7.java
100644 blob 9410aab53e8839da04425c9878bfc94d942f65c8	Q7Features.java
100644 blob 950f4acfc3ba3395ca37821994b3854541f2c991	ResolvedVerificationType.java
100644 blob 9e8507b66879eefa0aec932903fe263b2b6f8b53	Scenarios.java
100644 blob 1c28a6591b0bc50f39935f599acb768054c64f23	UnresolvedType.java
100644 blob 971b21591bff38515ab0d8ce6b1a6f902aff6ccb	VerificationProcessor.java
100644 blob 0a9623ad8bd515b18686f6398768e043d3253e32	VerificationType.java
100644 blob 2f321655b10990d2b24ccfdd1fa3ac003164faad	VerificationTypeManager.java
100644 blob b08de95ae011029e7f1ba9a008427674787d506f	VerificationsRuntime.java
040000 tree 30294bed9a0559ae006705a6904a2490fcda293e	model
040000 tree 3396c796388e9354d0c00172e2af41f2dbb44c80	nature
040000 tree 1965c034030782e795607dfa74ef61dece04a5e6	persistence
040000 tree 268927f4cfcab4170f208df9560483985647af0f	recording
040000 tree b35637fabf18f1305bd067cede8946a621c75689	utils
040000 tree fa6623c134797362737605174732785b8f1ef8b8	versioning
040000 tree e7e643bb1d8ca80f27e5b122d1b2b1913a2bdcc7	workspace