Disk Usage Trend

Disk usage

Jobs:5 GB, Builds:5 GB, Locked builds:-, All workspace:108 GB, Not current workspace:2 GB

Builds older than Builds younger than
Project nameJobsBuilds allBuilds lockedAll workspaceNot current slave workspace
overture-master12 MB12 MB-40 GB-
overture-development961 MB961 MB-23 GB-
overture-master » The Overture Tool Platform root93 KB81 KB-18 GB-
overture-test235 MB235 MB-17 GB-
overture-development » The Overture Tool Platform root1 MB1 MB-10 GB-
overture-test » The Overture Tool Platform root276 KB250 KB-7 GB-
vdm2c4 MB4 MB-6 GB-
vdm2c-vpb8 MB8 MB-6 GB-
vdm2c-pvj5 MB5 MB-5 GB-
vdm2c-release16 MB16 MB-5 GB-
into-cps-application60 MB60 MB-3 GB2 GB
vdm2c-vpb » Overture VDM 2 C Translator Root69 KB69 KB-3 GB-
vdm2c-pvj » Overture VDM 2 C Translator Root57 KB57 KB-3 GB-
overture-graphics-master2 GB2 GB---
vdm2c » Overture VDM 2 C Translator Root115 KB75 KB-2 GB-
overture-development » Overture IDE Standalone Product5 MB5 MB-2 GB-
overture-master » Overture IDE Standalone Product379 KB366 KB-2 GB-
overture-test » Overture IDE Standalone Product1 MB1 MB-2 GB-
overture-pvj-main4 MB4 MB-2 GB-
overture-graphics-development2 GB2 GB---
vdm2c » The C Code Generator27 KB--2 GB-
vdm2c-vdmlib10 MB10 MB-1 GB-
overture-graphics-master » Overture Graphics IDE Eclipse repository1 GB1 GB---
overture-graphics-development » Overture Graphics IDE Eclipse repository790 MB790 MB---
overture-pvj-main » The Overture Tool Platform root13 KB13 KB-730 MB-
Maestro Test FMUs59 MB59 MB-649 MB-
into-cps-public-fmu-examples3 MB3 MB-682 MB-
overture-graphics-master » org.overturetool.ide.overturegraphics.macosx.x86_64419 MB419 MB---
vdm2c-vpb » The C Code Generator799 KB799 KB-400 MB-
vdm2c-vpb » Core Tools for vdm2c62 KB62 KB-400 MB-
vdm2c-pvj » Core Tools for vdm2c49 KB49 KB-400 MB-
overture-graphics-development » org.overturetool.ide.overturegraphics.macosx.x86_64286 MB286 MB---
astcreator-master5 MB5 MB-273 MB-
overture-graphics-master » org.overturetool.ide.overturegraphics.win32.win64229 MB229 MB---
overture-master » Overture IDE Top-level37 KB22 KB-208 MB-
overture-graphics-master » org.overturetool.ide.overturegraphics.win32.win32207 MB207 MB---
overture-docs25 KB8 KB-205 MB-
overture-graphics-master » org.overturetool.ide.overturegraphics.linux.x86_64199 MB199 MB---
overture-master » Overture IDE core plugins GUI38 KB23 KB-173 MB-
overture-graphics-development » org.overturetool.ide.overturegraphics.win32.win64161 MB161 MB---
overture-master » Runtime for Prob13 KB--161 MB-
overture-graphics-development » org.overturetool.ide.overturegraphics.win32.win32144 MB144 MB---
overture-master » Core Tools36 KB23 KB-141 MB-
overture-graphics-development » org.overturetool.ide.overturegraphics.linux.x86_64138 MB138 MB---
astcreator-master » Overture AstCreator superpom130 KB119 KB-130 MB-
vdm2c » Overture FMI IDE Top-level78 KB37 KB-115 MB-
vdm2c-pvj » Overture FMI IDE Top-level67 KB67 KB-115 MB-
vdm2c-vpb » Overture FMI IDE Top-level58 KB58 KB-115 MB-
vdm2c » Overture IDE Eclipse repository134 KB93 KB-105 MB-
vdm2c-vpb » Overture IDE Eclipse repository243 KB243 KB-105 MB-
vdm2c-pvj » Overture IDE Eclipse repository95 KB95 KB-105 MB-
vdm2c-pvj » The C Code Generator472 KB472 KB-103 MB-
overture-master » Model Checkers for VDM11 KB--99 MB-
overture-master » Integration of the ProB Solver for the VDM Interpreter12 KB--95 MB-
vdm2c » The C Code Generator691 KB647 KB-93 MB-
overture-development » org.overture.ide.help2 MB2 MB-67 MB-
overture-test » org.overture.ide.help444 KB417 KB-67 MB-
overture-master » org.overture.ide.help141 KB128 KB-67 MB-
overture-development » Overture External Resources888 KB860 KB-62 MB-
overture-test » Overture External Resources194 KB168 KB-62 MB-
overture-master » Overture External Resources46 KB34 KB-62 MB-
overture-pvj-main » Overture External Resources16 KB16 KB-62 MB-
overture-development » The VDM Interpreter24 MB23 MB-34 MB-
overture-master » Prob interpreter runtime12 KB--56 MB-
overture-development » The VDM Type Checker30 MB30 MB-26 MB-
vdm2c » Core Tools for vdm2c106 KB65 KB-45 MB-
example-packer550 KB532 KB-43 MB-
overture-test » The VDM Interpreter6 MB6 MB-33 MB-
overture-development » Overture IDE Eclipse rcp feature5 MB5 MB-34 MB-
overture-test » Overture IDE Eclipse rcp feature983 KB955 KB-34 MB-
overture-master » Overture IDE Eclipse rcp feature169 KB169 KB-34 MB-
overture-development » Overture IDE Top-level543 KB512 KB-33 MB-
overture-master » The VDM Interpreter277 KB263 KB-33 MB-
overture-test » Overture IDE Top-level127 KB98 KB-33 MB-
overture-master » Prob interpreter runtime win3212 KB--32 MB-
overture-test » The VDM Type Checker7 MB7 MB-24 MB-
overture-development » Overture Sample Tests23 MB23 MB-6 MB-
overture-master » Prob interpreter runtime linux x6412 KB--25 MB-
overture-development » The Java Code Generator13 MB13 MB-12 MB-
overture-master » The VDM Type Checker274 KB261 KB-24 MB-
overture-master » Prob interpreter runtime mac x6412 KB--24 MB-
overture-master » Prob interpreter runtime linux x8612 KB--24 MB-
astcreator-master » Overture AstCreator Core library2 MB2 MB-22 MB-
overture-development » The Code Generation Platform6 MB6 MB-17 MB-
overture-development » Core Tools542 KB513 KB-22 MB-
overture-pvj-main » Core Tools10 KB10 KB-22 MB-
overture-test » Core Tools126 KB98 KB-22 MB-
example-packer » Overture Example Packager superpom83 KB72 KB-22 MB-
overture-test » The Code Generation Platform2 MB2 MB-17 MB-
overture-development » The Proof Obligation Generator5 MB5 MB-14 MB-
overture-development » The Overture Abstract Syntax Tree5 MB5 MB-12 MB-
overture-master » The Code Generation Platform84 KB70 KB-17 MB-
overture-pvj-main » The VDM Interpreter335 KB335 KB-16 MB-
overture-pvj-main » The VDM Type Checker577 KB577 KB-15 MB-
overture-development » The Java Code Generator Plugin2 MB2 MB-13 MB-
overture-test » The Proof Obligation Generator2 MB2 MB-14 MB-
overture-development » org.overture.ide.debug10 MB10 MB-5 MB-
overture-test » The Java Code Generator3 MB3 MB-11 MB-
overture-master » The Proof Obligation Generator353 KB339 KB-14 MB-
overture-test » The Overture Abstract Syntax Tree2 MB2 MB-12 MB-
overture-master » Overture GUI Builder12 KB--14 MB-
overture-pvj-main » The Java Code Generator490 KB490 KB-14 MB-
overture-test » The Java Code Generator Plugin479 KB455 KB-13 MB-
vdm2c » C native root vdm2c106 KB70 KB-13 MB-
overture-development » The VDM to JML Generator6 MB6 MB-8 MB-
overture-master » The Java Code Generator Plugin155 KB142 KB-13 MB-
overture-master » The Overture Abstract Syntax Tree57 KB44 KB-12 MB-
overture-master » The Java Code Generator1018 KB1005 KB-12 MB-
overture-pvj-main » The Overture Abstract Syntax Tree20 KB20 KB-12 MB-
overture-test » The Intermediate Representation Tree1 MB1 MB-11 MB-
overture-development » The Intermediate Representation Tree945 KB916 KB-11 MB-
vdm2c » The C Code Generator VDM library sources236 KB200 KB-11 MB-
overture-master » The Intermediate Representation Tree68 KB56 KB-11 MB-
overture-pvj-main » The Intermediate Representation Tree21 KB21 KB-11 MB-
overture-development » The VDM parser3 MB3 MB-8 MB-
overture-test » Overture Sample Tests5 MB5 MB-6 MB-
vdm2c-vpb » The C Code Generator Plugin292 KB292 KB-10 MB-
vdm2c » The C Code Generator Plugin151 KB109 KB-10 MB-
vdm2c-pvj » The C Code Generator Plugin111 KB111 KB-10 MB-
overture-test » The VDM to JML Generator2 MB2 MB-8 MB-
overture-pvj-main » The Proof Obligation Generator87 KB87 KB-9 MB-
overture-master » The Java Code Generator Plugin12 KB--9 MB-
overture-graphics-master » Overture Graphics value interpreter with JSON9 MB9 MB---
overture-master » Overture Testing35 KB23 KB-9 MB-
overture-development » Overture Core Command Line Tool885 KB855 KB-8 MB-
overture-test » The VDM parser1 MB1 MB-8 MB-
overture-master » The VDM to JML Generator317 KB304 KB-8 MB-
overture-development » org.overture.ide.ui6 MB6 MB-2 MB-
overture-master » The VDM parser181 KB169 KB-8 MB-
overture-graphics-master » Overture Graphics Plugin8 MB8 MB---
vdm2c-vpb » C native root vdm2c67 KB67 KB-8 MB-
vdm2c-pvj » C native root vdm2c53 KB53 KB-8 MB-
overture-test » Overture Core Command Line Tool193 KB165 KB-8 MB-
overture-master » Overture Core Command Line Tool61 KB47 KB-8 MB-
overture-pvj-main » Overture Core Command Line Tool24 KB24 KB-8 MB-
overture-development » Code Generation2 MB2 MB-6 MB-
overture-test » org.overture.ide.debug2 MB2 MB-5 MB-
overture-pvj-main » The Code Generation Platform30 KB30 KB-7 MB-
overture-pvj-main » Overture Sample Tests940 KB940 KB-6 MB-
overture-development » org.overture.ide.core3 MB3 MB-3 MB-
overture-development » The VDM to Isabelle Translator2 MB2 MB-4 MB-
overture-pvj-main » The VDM parser37 KB37 KB-6 MB-
overture-pvj-main » The VDM to JML Generator149 KB149 KB-6 MB-
overture-graphics-development » Overture Graphics value interpreter with JSON6 MB6 MB---
vdm2c-vpb » The C Code Generator VDM library sources202 KB202 KB-6 MB-
overture-test » Code Generation379 KB352 KB-6 MB-
vdm2c-pvj » The C Code Generator VDM library sources144 KB144 KB-6 MB-
overture-pvj-main » Code Generation10 KB10 KB-6 MB-
overture-master » Code Generation36 KB23 KB-5 MB-
overture-master » Overture Sample Tests56 KB44 KB-5 MB-
overture-graphics-development » Overture Graphics Plugin5 MB5 MB---
overture-test » The VDM to Isabelle Translator982 KB957 KB-4 MB-
overture-development » The Java Code Generator Runtime1 MB1 MB-4 MB-
overture-master » org.overture.ide.debug143 KB130 KB-5 MB-
overture-development » RT Trace Viewer Plugin4 MB4 MB-718 KB-
overture-master » The VDM to Isabelle Translator131 KB118 KB-4 MB-
overture-development » Combinatorial Testing3 MB3 MB-946 KB-
overture-test » org.overture.ide.core644 KB617 KB-3 MB-
overture-test » The Java Code Generator Runtime529 KB502 KB-3 MB-
overture-development » UML2 Translator4 MB3 MB-501 KB-
overture-development » Combinatorial Testing Runtime2 MB2 MB-2 MB-
overture-development » The Java Code Generator Maven Plugin2 MB2 MB-2 MB-
overture-test » org.overture.ide.ui1 MB1 MB-2 MB-
overture-pvj-main » The VDM to Isabelle Translator52 KB52 KB-4 MB-
overture-master » Integration of the ProB Solver for VDM12 KB--4 MB-
overture-master » The Java Code Generator Runtime94 KB81 KB-4 MB-
overture-master » Overture IDE tests12 KB--4 MB-
overture-master » org.overture.ide.tests.ui12 KB--4 MB-
overture-master » org.overture.ide.core66 KB53 KB-3 MB-
overture-development » org.overture.ide.plugins.latex3 MB3 MB-344 KB-
overture-development » org.overture.ide.platform2 MB2 MB-1 MB-
overture-development » Overture Testing541 KB512 KB-3 MB-
astcreator-master » Overture AstCreator Eclipse editor plugin2 MB2 MB-1 MB-
overture-test » Combinatorial Testing Runtime642 KB615 KB-2 MB-
overture-master » Overture Example Tests13 KB--3 MB-
overture-development » org.overture.ide.plugins.poviewer2 MB2 MB-784 KB-
overture-test » Overture Testing124 KB98 KB-3 MB-
overture-master » Overture Demo Tests13 KB--3 MB-
overture-development » org.overture.ide.plugins.coverageeditor3 MB3 MB-199 KB-
overture-pvj-main » Overture Testing10 KB10 KB-3 MB-
overture-master » org.overture.ide.ui138 KB125 KB-2 MB-
overture-development » Overture IDE core plugins GUI745 KB714 KB-2 MB-
overture-development » Test Framework for Overture1 MB1 MB-1 MB-
overture-development » org.overture.ide.plugins.csk2 MB2 MB-172 KB-
overture-development » org.overture.ide.plugins.quickinterpreter2 MB2 MB-140 KB-
overture-development » New Pretty Printer1 MB1 MB-1023 KB-
overture-development » org.overture.ide.vdmrt.ui2 MB2 MB-254 KB-
overture-master » Combinatorial Testing Runtime89 KB76 KB-2 MB-
overture-development » org.overture.ide.vdmsl.ui2 MB2 MB-213 KB-
vdm2c-pvj » The C Code Generator VDM distribution library sources722 KB722 KB-2 MB-
overture-development » org.overture.ide.vdmpp.debug2 MB2 MB-183 KB-
overture-development » org.overture.ide.vdmpp.ui2 MB2 MB-218 KB-
overture-development » org.overture.ide.vdmsl.debug2 MB2 MB-179 KB-
overture-development » org.overture.ide.vdmrt.debug2 MB2 MB-180 KB-
overture-development » Overture IDE Eclipse VDM Quick Interpreter feature2 MB2 MB-27 KB-
overture-development » Overture IDE Eclipse Developer Utilities feature2 MB2 MB-28 KB-
overture-development » Overture IDE Eclipse LaTeX Creator feature2 MB2 MB-27 KB-
overture-development » Overture IDE Eclipse Realtime Trace Viewer feature2 MB2 MB-27 KB-
overture-development » Developer Utilities for Overture2 MB2 MB-131 KB-
overture-development » Overture IDE Eclipse Proof Obligation Viewer feature2 MB2 MB-27 KB-
overture-development » Overture IDE Eclipse Combinatorial Testing feature2 MB2 MB-27 KB-
overture-development » Overture IDE Eclipse Coverage Editor feature2 MB2 MB-27 KB-
overture-test » The Java Code Generator Maven Plugin496 KB469 KB-2 MB-
overture-development » Overture IDE Eclipse CSK VDM Tools Link feature2 MB2 MB-27 KB-
overture-development » Overture IDE Eclipse core feature2 MB2 MB-39 KB-
overture-development » The Java Code Generator Testing951 KB925 KB-1 MB-
overture-development » org.overture.ide.plugins.externaleditor2 MB2 MB-113 KB-
overture-development » Overture IDE Eclipse plugin uml2 feature2 MB2 MB-30 KB-
overture-development » org.overture.ide.builders.vdmj1 MB1 MB-1016 KB-
overture-development » Overture IDE Eclipse Java Code Generator feature2 MB2 MB-27 KB-
overture-test » Overture IDE core plugins GUI168 KB139 KB-2 MB-
example-packer » Overture Example Packager core228 KB217 KB-2 MB-
overture-master » The Java Code Generator Maven Plugin156 KB144 KB-2 MB-
overture-test » org.overture.ide.platform441 KB414 KB-1 MB-
overture-development » Overture Testing Framework1 MB1 MB-562 KB-
vdm2c » The C Code Generator VDM distribution library sources146 KB146 KB-2 MB-
vdm2c-vpb » The C Code Generator VDM distribution library sources147 KB147 KB-2 MB-
overture-development » The VDM Pretty Printer1 MB1 MB-486 KB-
overture-test » The Java Code Generator Testing439 KB415 KB-1 MB-
overture-development » POG - Isagen Integration1 MB1017 KB-667 KB-
overture-test » Combinatorial Testing773 KB745 KB-932 KB-
overture-development » Documentation511 KB493 KB-1 MB-
overture-pvj-main » The Java Code Generator Runtime31 KB31 KB-2 MB-
overture-master » org.overture.ide.platform140 KB127 KB-1 MB-
overture-test » RT Trace Viewer Plugin860 KB833 KB-707 KB-
overture-test » Test Framework for Overture416 KB390 KB-1 MB-
overture-development » The Overture release notes636 KB620 KB-886 KB-
overture-pvj-main » Combinatorial Testing Runtime34 KB34 KB-1 MB-
overture-pvj-main » The Java Code Generator Maven Plugin71 KB71 KB-1 MB-
overture-test » New Pretty Printer421 KB393 KB-1023 KB-
overture-master » The Java Code Generator Testing69 KB56 KB-1 MB-
overture-test » Documentation112 KB94 KB-1 MB-
overture-development » org.overture.ide.parsers.vdmj956 KB927 KB-315 KB-
overture-development » Combinatorial Testing Utilities814 KB786 KB-440 KB-
overture-test » UML2 Translator752 KB724 KB-494 KB-
overture-test » org.overture.ide.plugins.poviewer470 KB443 KB-765 KB-
overture-master » Test Framework for Overture81 KB69 KB-1 MB-
overture-master » Documentation32 KB21 KB-1 MB-
overture-pvj-main » Documentation10 KB10 KB-1 MB-
overture-test » org.overture.ide.builders.vdmj241 KB213 KB-951 KB-
overture-master » New Pretty Printer108 KB95 KB-1021 KB-
overture-development » org.overture.ide.vdmpp.core1 MB999 KB-98 KB-
overture-development » org.overture.ide.vdmrt.core1 MB996 KB-98 KB-
overture-development » org.overture.ide.vdmsl.core1024 KB995 KB-97 KB-
overture-development » Provided Annotations494 KB494 KB-615 KB-
overture-master » Combinatorial Testing154 KB141 KB-946 KB-
overture-master » org.overture.ide.builders.vdmj71 KB58 KB-966 KB-
overture-test » POG - Isagen Integration366 KB342 KB-666 KB-
overture-development » The VDM to JML Generator Runtime756 KB731 KB-261 KB-
overture-test » org.overture.ide.plugins.latex664 KB636 KB-337 KB-
overture-test » The Overture release notes135 KB120 KB-864 KB-
overture-master » GUI Builder Plugin12 KB--937 KB-
overture-test » Overture Testing Framework380 KB352 KB-561 KB-
overture-master » org.overture.ide.plugins.poviewer147 KB134 KB-782 KB-
overture-master » The Overture release notes43 KB32 KB-886 KB-
overture-pvj-main » The Overture release notes15 KB15 KB-875 KB-
overture-master » RT Trace Viewer Plugin151 KB138 KB-718 KB-
overture-development » Combinatorial Testing545 KB516 KB-305 KB-
overture-test » The VDM Pretty Printer364 KB337 KB-486 KB-
overture-development » Overture IDE VDM-RT (RealTime) Top-level547 KB517 KB-277 KB-
overture-development » Overture IDE VDM-PP Top-level546 KB516 KB-261 KB-
overture-development » Overture IDE VDM-SL top level548 KB519 KB-256 KB-
overture-development » Annotation Examples507 KB507 KB-274 KB-
overture-master » POG - Isagen Integration76 KB63 KB-666 KB-
overture-test » org.overture.ide.plugins.coverageeditor538 KB511 KB-193 KB-
astcreator-master » Overture AstCreator Maven Plugin514 KB503 KB-205 KB-
overture-test » org.overture.ide.vdmrt.ui467 KB439 KB-248 KB-
overture-development » Overture IDE Parsers548 KB519 KB-158 KB-
overture-development » VDM Pretty Printing539 KB511 KB-162 KB-
overture-test » org.overture.ide.vdmsl.ui481 KB454 KB-207 KB-
overture-test » Combinatorial Testing Utilities236 KB210 KB-440 KB-
overture-test » org.overture.ide.vdmpp.ui458 KB431 KB-212 KB-
overture-test » org.overture.ide.vdmpp.debug492 KB465 KB-177 KB-
overture-test » org.overture.ide.plugins.csk495 KB468 KB-166 KB-
overture-master » Overture Testing Framework100 KB86 KB-561 KB-
overture-test » org.overture.ide.vdmsl.debug486 KB459 KB-174 KB-
overture-master » Provided Annotations45 KB45 KB-614 KB-
overture-master » UML2 Translator149 KB135 KB-500 KB-
overture-development » Overture IDE Eclipse plugin features561 KB530 KB-82 KB-
overture-test » org.overture.ide.plugins.quickinterpreter506 KB479 KB-135 KB-
overture-test » org.overture.ide.vdmrt.debug465 KB438 KB-175 KB-
overture-pvj-main » New Pretty Printer45 KB45 KB-578 KB-
overture-development » Overture IDE Builders543 KB514 KB-64 KB-
overture-test » Developer Utilities for Overture472 KB445 KB-126 KB-
overture-test » org.overture.ide.plugins.externaleditor469 KB442 KB-108 KB-
overture-development » Overture IDE Eclipse features544 KB515 KB-26 KB-
overture-pvj-main » POG - Isagen Integration27 KB27 KB-508 KB-
overture-master » The VDM Pretty Printer49 KB37 KB-486 KB-
overture-test » Overture IDE Eclipse Realtime Trace Viewer feature508 KB481 KB-22 KB-
overture-test » Overture IDE Eclipse core feature494 KB467 KB-35 KB-
overture-test » Overture IDE Eclipse VDM Quick Interpreter feature506 KB479 KB-23 KB-
overture-test » Overture IDE Eclipse Developer Utilities feature505 KB478 KB-23 KB-
overture-test » Overture IDE Eclipse Coverage Editor feature505 KB478 KB-22 KB-
overture-test » Overture IDE Eclipse Proof Obligation Viewer feature504 KB477 KB-22 KB-
overture-test » Overture IDE Eclipse LaTeX Creator feature503 KB476 KB-23 KB-
overture-test » Overture IDE Eclipse CSK VDM Tools Link feature503 KB476 KB-22 KB-
overture-test » org.overture.ide.parsers.vdmj210 KB183 KB-309 KB-
overture-graphics-master » Overture IDE Eclipse graphics core feature511 KB511 KB---
overture-master » Combinatorial Testing Utilities57 KB45 KB-440 KB-
overture-master » org.overture.ide.plugins.latex146 KB133 KB-344 KB-
overture-test » Overture IDE Eclipse Combinatorial Testing feature460 KB433 KB-23 KB-
overture-graphics-development » Overture IDE Eclipse graphics core feature472 KB472 KB---
overture-test » The VDM to JML Generator Runtime211 KB188 KB-261 KB-
overture-test » Overture IDE Eclipse Java Code Generator feature449 KB425 KB-23 KB-
overture-test » Overture IDE Eclipse plugin uml2 feature445 KB418 KB-26 KB-
overture-development » VDM Annotations332 KB332 KB-102 KB-
overture-test » Combinatorial Testing124 KB98 KB-305 KB-
overture-test » Overture IDE VDM-RT (RealTime) Top-level127 KB100 KB-277 KB-
overture-master » org.overture.ide.vdmrt.ui144 KB132 KB-254 KB-
overture-test » Overture IDE VDM-PP Top-level127 KB99 KB-261 KB-
overture-test » Overture IDE VDM-SL top level126 KB98 KB-255 KB-
overture-master » Overture Example Testing Support14 KB--366 KB-
overture-master » org.overture.ide.parsers.vdmj65 KB52 KB-314 KB-
overture-master » org.overture.ide.vdmpp.ui142 KB130 KB-218 KB-
overture-master » org.overture.ide.vdmsl.ui142 KB130 KB-213 KB-
overture-master » org.overture.ide.plugins.coverageeditor149 KB137 KB-199 KB-
overture-pvj-main » The Java Code Generator Testing24 KB24 KB-321 KB-
overture-master » Combinatorial Testing36 KB23 KB-305 KB-
overture-master » org.overture.ide.vdmpp.debug144 KB131 KB-182 KB-
overture-master » org.overture.ide.vdmrt.debug145 KB133 KB-180 KB-
overture-master » org.overture.ide.vdmsl.debug144 KB131 KB-179 KB-
overture-test » org.overture.ide.vdmrt.core230 KB203 KB-93 KB-
overture-master » Annotation Examples45 KB45 KB-274 KB-
overture-test » org.overture.ide.vdmpp.core226 KB199 KB-93 KB-
overture-test » org.overture.ide.vdmsl.core224 KB197 KB-92 KB-
overture-pvj-main » Combinatorial Testing11 KB11 KB-305 KB-
overture-master » Overture IDE VDM-RT (RealTime) Top-level36 KB23 KB-277 KB-
overture-master » The VDM to JML Generator Runtime53 KB41 KB-260 KB-
overture-master » org.overture.ide.plugins.csk140 KB127 KB-172 KB-
overture-master » Overture IDE VDM-PP Top-level35 KB22 KB-261 KB-
overture-master » Overture IDE VDM-SL top level36 KB23 KB-255 KB-
overture-master » org.overture.ide.plugins.quickinterpreter149 KB136 KB-140 KB-
overture-test » VDM Pretty Printing125 KB98 KB-162 KB-
overture-test » Overture IDE Parsers125 KB98 KB-158 KB-
overture-pvj-main » Test Framework for Overture16 KB16 KB-261 KB-
overture-master » Developer Utilities for Overture141 KB128 KB-130 KB-
overture-master » org.overture.ide.plugins.externaleditor148 KB136 KB-113 KB-
vdm2c-vpb » Overture IDE Eclipse C Code Generator feature237 KB237 KB-23 KB-
astcreator-master » Overture AstCreator Eclipse superpom113 KB102 KB-116 KB-
overture-test » Overture IDE Eclipse plugin features130 KB101 KB-82 KB-
overture-master » VDM Pretty Printing35 KB23 KB-162 KB-
overture-master » Overture IDE Parsers36 KB23 KB-158 KB-
overture-master » Overture IDE Eclipse core feature155 KB142 KB-39 KB-
example-packer » Overture Example Packager Maven plug-in150 KB138 KB-42 KB-
overture-test » Overture IDE Builders125 KB98 KB-64 KB-
overture-pvj-main » Overture Testing Framework19 KB19 KB-168 KB-
overture-master » Overture IDE Eclipse Realtime Trace Viewer feature160 KB147 KB-27 KB-
overture-master » Overture IDE Eclipse Combinatorial Testing feature159 KB147 KB-27 KB-
overture-master » Overture IDE Eclipse Developer Utilities feature159 KB146 KB-27 KB-
overture-master » Overture IDE Eclipse VDM Quick Interpreter feature159 KB146 KB-27 KB-
overture-master » Overture IDE Eclipse Coverage Editor feature159 KB146 KB-27 KB-
overture-master » Overture IDE Eclipse LaTeX Creator feature158 KB145 KB-27 KB-
overture-master » Overture IDE Eclipse Proof Obligation Viewer feature158 KB146 KB-27 KB-
overture-master » Overture IDE Eclipse CSK VDM Tools Link feature158 KB145 KB-27 KB-
overture-pvj-main » Provided Annotations20 KB20 KB-163 KB-
overture-master » Overture IDE Eclipse plugin features38 KB24 KB-142 KB-
overture-master » Overture IDE Eclipse plugin uml2 feature147 KB134 KB-30 KB-
overture-pvj-main » VDM Pretty Printing10 KB10 KB-162 KB-
overture-master » Overture IDE Eclipse Java Code Generator feature142 KB130 KB-27 KB-
overture-master » org.overture.ide.vdmsl.core69 KB56 KB-97 KB-
overture-master » org.overture.ide.vdmrt.core65 KB52 KB-98 KB-
overture-master » org.overture.ide.vdmpp.core65 KB52 KB-98 KB-
vdm2c » Overture IDE Eclipse C Code Generator feature132 KB91 KB-27 KB-
overture-pvj-main » The VDM Pretty Printer16 KB16 KB-138 KB-
overture-test » Overture IDE Eclipse features126 KB99 KB-26 KB-
overture-pvj-main » Combinatorial Testing Utilities20 KB20 KB-123 KB-
overture-graphics-master » Overture Graphics Root Pom142 KB142 KB---
vdm2c-pvj » Overture IDE Eclipse C Code Generator feature114 KB114 KB-23 KB-
overture-pvj-main » The VDM to JML Generator Runtime18 KB18 KB-110 KB-
overture-master » VDM Annotations23 KB23 KB-102 KB-
overture-pvj-main » Annotation Examples20 KB20 KB-99 KB-
overture-pvj-main » VDM Annotations10 KB10 KB-102 KB-
vdm2c » Overture IDE Eclipse VDM2C features74 KB33 KB-32 KB-
overture-graphics-development » Overture Graphics Root Pom105 KB105 KB---
overture-graphics-master » Overture Graphics IDE Top-level104 KB104 KB---
overture-master » Overture IDE Builders36 KB23 KB-64 KB-
vdm2c-vpb » Overture IDE Eclipse VDM2C features60 KB60 KB-28 KB-
overture-graphics-master » Core graphics Tools84 KB84 KB---
overture-graphics-development » Overture Graphics IDE Top-level80 KB80 KB---
overture-graphics-master » Overture Graphics79 KB79 KB---
overture-graphics-master » Overture IDE Eclipse graphics features79 KB79 KB---
overture-graphics-development » Core graphics Tools68 KB68 KB---
overture-graphics-development » Overture Graphics64 KB64 KB---
overture-graphics-development » Overture IDE Eclipse graphics features64 KB64 KB---
overture-master » Overture IDE Eclipse features36 KB23 KB-26 KB-
vdm2c-pvj » Overture IDE Eclipse VDM2C features34 KB34 KB-28 KB-
overture-master » Overture IDE Eclipse plugin probruntime feature12 KB--22 KB-
overture-master » Overture IDE Eclipse Code Generator feature12 KB--20 KB-
overture-master » Overture IDE Eclipse GUI Builder feature12 KB--19 KB-
overture-development » Overture Example Testing Support25 KB----
overture-development » Overture Example Tests24 KB----
overture-development » Overture Demo Tests24 KB----
overture-test » Overture Example Testing Support23 KB----
overture-test » Overture Example Tests22 KB----
overture-test » Overture Demo Tests22 KB----
overture-development » Runtime for Prob16 KB----
overture-test » GUI Builder Plugin16 KB----
overture-development » GUI Builder Plugin16 KB----
overture-development » Prob interpreter runtime linux x6416 KB----
overture-development » Prob interpreter runtime mac x6416 KB----
overture-development » Prob interpreter runtime linux x8616 KB----
overture-development » Prob interpreter runtime win3216 KB----
overture-test » Overture IDE Eclipse GUI Builder feature16 KB----
overture-development » Overture IDE Eclipse GUI Builder feature16 KB----
overture-development » Prob interpreter runtime15 KB----
overture-test » Overture GUI Builder15 KB----
overture-development » The Java Code Generator Plugin15 KB----
overture-development » Integration of the ProB Solver for the VDM Interpreter15 KB----
overture-development » Overture GUI Builder15 KB----
overture-development » Integration of the ProB Solver for VDM15 KB----
overture-test » Runtime for Prob15 KB----
overture-development » Overture IDE Eclipse plugin probruntime feature15 KB----
overture-development » org.overture.ide.tests.ui15 KB----
overture-development » Overture IDE tests15 KB----
overture-development » Overture IDE Eclipse Code Generator feature15 KB----
overture-test » Prob interpreter runtime mac x6415 KB----
overture-test » Prob interpreter runtime linux x6415 KB----
overture-test » Prob interpreter runtime linux x8615 KB----
overture-test » Prob interpreter runtime win3215 KB----
overture-test » The Java Code Generator Plugin15 KB----
overture-test » Prob interpreter runtime15 KB----
overture-development » Model Checkers for VDM15 KB----
overture-test » Integration of the ProB Solver for the VDM Interpreter15 KB----
overture-test » org.overture.ide.tests.ui14 KB----
overture-test » Integration of the ProB Solver for VDM14 KB----
overture-test » Overture IDE tests14 KB----
overture-test » Overture IDE Eclipse plugin probruntime feature14 KB----
overture-test » Overture IDE Eclipse Code Generator feature14 KB----
overture-test » Model Checkers for VDM14 KB----
overture-test » Overture Examples Jar File12 KB----
overture-development » Overture Examples Jar File11 KB----
Total9 GB9 GB-108 GB2 GB