Commit f968ba18 authored by Filip Reaboi's avatar Filip Reaboi
Browse files

GREEN

parent 2449aa26
AF3z3Activator.java f29a89c9756639b3ee46c7f12379cdd4e902c648 RED
Z3Type.java fea8b1c2c1ce860070db7ba2bf662b43709f2375 GREEN
Z3javaAPIWrapper.java 6882b6796102105e23180eca8758f594c80dcae2 YELLOW
Z3javaAPIWrapper.java 6882b6796102105e23180eca8758f594c80dcae2 GREEN
AF3ComponentUIActivator.java 8f74f89c6dd44b6396a051fbbb3ac41484f82b92 GREEN
DefaultStyle.java 64d6d28d47a01d7ceb5339b5c49eada72ebd38cf YELLOW
DefaultStyle.java 64d6d28d47a01d7ceb5339b5c49eada72ebd38cf GREEN
SimulationManager.java 1baf28d38d392cce28eb5fd90c3e8aed2d3ceb10 GREEN
SimulationPerspective.java 761e1b09d3dd967a17b5e93b10a32e203bfe2901 GREEN
SimulationView.java 44835afce45c30a4c0b9ecaa1ac75673c8aa0a05 GREEN
SimulatorEasyStartMenu.java 73ed741f4931e1478e6f2e621fb7bf8f5a917e4c YELLOW
SimulatorEasyStartMenu.java 73ed741f4931e1478e6f2e621fb7bf8f5a917e4c GREEN
SimulatorExecutionTarget.java cd0bbf9be14acb8d3d20044eaa52f01f4ce9e560 GREEN
SimulatorExecutionTargetBase.java fc6e284fe88d6343d75d1cd28bf128c400fa3457 GREEN
......@@ -2,6 +2,6 @@ BehaviorComponentCompositor.java 0a82795d43fb303d75e0f6377e1826c384f5f1db GREEN
BehaviorComponentCompositorBase.java fa16f1739da71d2ce121bdf80312f86ff9b6f44b GREEN
ComponentArchitectureCompositor.java 4ca5788c4f0cc2705256da50ab2701dc94c85526 GREEN
ComponentArchitectureFileProjectCompositor.java f4e5bf61a0630bd34814e8264504c86f8ea446ac GREEN
ComponentCompositor.java bc59408b5841fba98728de27ba5f4c2444313dbf YELLOW
ComponentCompositor.java bc59408b5841fba98728de27ba5f4c2444313dbf GREEN
LibraryComponentPackageCompositor.java de7a6574347521bc813db4fcac55e0c490eea28a GREEN
LibraryCompositor.java dfb4467f3f2c818c9750996d3dfb97c22dc4721f GREEN
BehaviorModelElementFactory.java 7e4e9de4fcac3790eb0664963dd2b403db1659d0 GREEN
ComponentArchitectureTransformationBase.java 8feabb8dc141d4e2c4d2f56526bffac06c6734ce GREEN
ComponentArchitectureUtils.java a593a80e91148ba1324e5c84de0feeec60004a90 YELLOW
ComponentArchitectureUtils.java a593a80e91148ba1324e5c84de0feeec60004a90 GREEN
ComponentLibraryModelElementFactory.java 186b2e27e184cac8149ac28a28343ecd76ddf157 GREEN
ComponentLibraryUtils.java 69bb291f7c5c9fb037fcc6b938793df2b1281b26 GREEN
ComponentModelElementFactory.java 2f3e136e37f56f3675121fa9c3515cc083f10d12 GREEN
......
AF3ExplorationSMTActivator.java 871c6e262a7cceb233f608290c8ffaba4bc3aeba YELLOW
AF3ExplorationSMTActivator.java 871c6e262a7cceb233f608290c8ffaba4bc3aeba GREEN
BasicDeploymentConstraint.java 31b6ee4370a371c959dab902034394cc87d9ae55 YELLOW
ConstraintToNONQuantifiedSMT.java 0bb4ef00bed982f0356ea8de75b4dd2586bb3159 YELLOW
ConstraintToQuantifiedSMT.java 9ce6e6f75f71c8fc9477a4a339bd9acd67ea8f4d YELLOW
DSMLTransformationService.java 57217d40598d8028d0f0db2b940229a463e03c46 YELLOW
DSMLtoSMTTransformator.java 5ed555b000db8eeb8768d06a57c3aa68226ea45f YELLOW
DeploymentRun2.java 8c4b10a06b3e76c2ee6364d27ee2cd37f3feb370 YELLOW
IDSMLTransformationService.java 381cd084ac01f6289893e026b8317ad0d8b1c4e1 YELLOW
BasicDeploymentConstraint.java 31b6ee4370a371c959dab902034394cc87d9ae55 GREEN
ConstraintToNONQuantifiedSMT.java 0bb4ef00bed982f0356ea8de75b4dd2586bb3159 GREEN
ConstraintToQuantifiedSMT.java 9ce6e6f75f71c8fc9477a4a339bd9acd67ea8f4d GREEN
DSMLTransformationService.java 57217d40598d8028d0f0db2b940229a463e03c46 GREEN
DSMLtoSMTTransformator.java 5ed555b000db8eeb8768d06a57c3aa68226ea45f GREEN
DeploymentRun2.java 8c4b10a06b3e76c2ee6364d27ee2cd37f3feb370 GREEN
IDSMLTransformationService.java 381cd084ac01f6289893e026b8317ad0d8b1c4e1 GREEN
SMTTransformationUtils.java e0002fedbebe5fc5386d63b114ccb4e29afba26b GREEN
SolvedSMTResult.java 6c835cd7223eeb13cfeeccad3d8ea4bebb60f6fb YELLOW
SolverRun2.java 7af4762df4b1bd9d797fbc0516f49b3d420fbab0 YELLOW
SolvedSMTResult.java 6c835cd7223eeb13cfeeccad3d8ea4bebb60f6fb GREEN
SolverRun2.java 7af4762df4b1bd9d797fbc0516f49b3d420fbab0 GREEN
AllocationToSchedule.java 95107de08b686a5a2e82d34b6ac1ad6eb896988e YELLOW
RouteUtils.java a8209de503edf765699869c3f877e5f018614995 YELLOW
Z3ModelElementFactory.java f25d51e0cfa30c3f4142d6d841c13f9f4eb4e8d3 YELLOW
AllocationToSchedule.java 95107de08b686a5a2e82d34b6ac1ad6eb896988e GREEN
RouteUtils.java a8209de503edf765699869c3f877e5f018614995 GREEN
Z3ModelElementFactory.java f25d51e0cfa30c3f4142d6d841c13f9f4eb4e8d3 GREEN
DSEPerspectiveManager.java b09710c2963faaffb79f3efba66ece32800b845a YELLOW
DSEPerspectiveManager.java b09710c2963faaffb79f3efba66ece32800b845a GREEN
ExternalDSEExtensionService.java 4c9f25697ecbcc380ca0ef17bf9a9669b25eeb46 RED
IDSEPerspectiveManager.java b53eb0a20d3e64400bb42fb4e2212c1959a45dc5 GREEN
IExternalDSEExtensionService.java c5379c604d14cd16871c8a3a5ac3c210a87a98e9 RED
DataDictionaryEditor.java 077b9614ffe8e977e45473a6019ed10e4c82e7f2 YELLOW
DataDictionaryEditor.java 077b9614ffe8e977e45473a6019ed10e4c82e7f2 GREEN
DataDictionaryEditorBinding.java 0afd69998e31b243361ecbbd6a4691f8ee72b3a9 GREEN
DataDictionaryEvaluatorBackend.java 02d1a65628734717908b5da0cce58a36fceaaa18 YELLOW
DataDictionaryEvaluatorBackend.java 02d1a65628734717908b5da0cce58a36fceaaa18 GREEN
DataDictionaryEvaluatorBinding.java ed402d190105d8be10c1b126f98b3de447387033 GREEN
DataDictionaryTreeContentProvider.java 49d5f33a02ba8389f27a11f91130f97c2624208e GREEN
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment