Disk Usage Trend

Disk usage

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

Builds older than Builds younger than
Project nameJobsBuilds allBuilds lockedAll workspaceNot current slave workspace
overture-master12 MB12 MB-42 GB-
overture-development997 MB997 MB-24 GB-
overture-master » The Overture Tool Platform root93 KB81 KB-19 GB-
overture-test235 MB235 MB-17 GB-
overture-development » The Overture Tool Platform root1 MB1 MB-11 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-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-development » Overture IDE Standalone Product5 MB5 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 GUI37 KB22 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 Tools35 KB22 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 Resources880 KB852 KB-62 MB-
overture-test » Overture External Resources194 KB168 KB-62 MB-
overture-master » Overture External Resources45 KB33 KB-62 MB-
overture-pvj-main » Overture External Resources16 KB16 KB-62 MB-
overture-development » The VDM Interpreter24 MB24 MB-34 MB-
overture-master » Prob interpreter runtime12 KB--56 MB-
overture-development » The VDM Type Checker29 MB29 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 feature4 MB4 MB-34 MB-
overture-test » Overture IDE Eclipse rcp feature983 KB955 KB-34 MB-
overture-master » Overture IDE Eclipse rcp feature339 KB339 KB-34 MB-
overture-development » Overture IDE Top-level543 KB512 KB-33 MB-
overture-master » The VDM Interpreter274 KB261 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 Tests24 MB24 MB-6 MB-
overture-master » The VDM Type Checker274 KB261 KB-25 MB-
overture-master » Prob interpreter runtime linux x6412 KB--25 MB-
overture-development » The Java Code Generator13 MB13 MB-12 MB-
overture-master » Prob interpreter runtime mac x6412 KB--24 MB-
overture-master » Prob interpreter runtime linux x8612 KB--24 MB-
overture-development » The Code Generation Platform6 MB6 MB-17 MB-
astcreator-master » Overture AstCreator Core library2 MB2 MB-22 MB-
overture-development » Core Tools543 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 Tree6 MB6 MB-12 MB-
overture-master » The Code Generation Platform83 KB69 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-test » The Proof Obligation Generator2 MB2 MB-14 MB-
overture-development » The Java Code Generator Plugin2 MB2 MB-13 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 Generator354 KB340 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 Generator1 MB1 MB-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 Tree930 KB901 KB-11 MB-
vdm2c » The C Code Generator VDM library sources236 KB200 KB-11 MB-
overture-master » The Intermediate Representation Tree66 KB54 KB-11 MB-
overture-development » The VDM parser3 MB3 MB-8 MB-
overture-pvj-main » The Intermediate Representation Tree21 KB21 KB-11 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 KB22 KB-9 MB-
overture-development » Overture Core Command Line Tool859 KB829 KB-8 MB-
overture-test » The VDM parser1 MB1 MB-8 MB-
overture-master » The VDM to JML Generator316 KB302 KB-8 MB-
overture-development » org.overture.ide.ui6 MB6 MB-2 MB-
overture-master » The VDM parser180 KB167 KB-8 MB-
overture-graphics-master » Overture Graphics Plugin8 MB8 MB---
overture-master » Overture Core Command Line Tool61 KB47 KB-8 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-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-pvj-main » The VDM parser37 KB37 KB-6 MB-
overture-development » The VDM to Isabelle Translator2 MB2 MB-4 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 Generation35 KB22 KB-5 MB-
overture-master » Overture Sample Tests53 KB41 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 Translator127 KB114 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 » Combinatorial Testing Runtime2 MB2 MB-2 MB-
overture-development » UML2 Translator3 MB3 MB-501 KB-
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 Runtime92 KB80 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 Testing540 KB511 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-test » Overture Testing124 KB98 KB-3 MB-
overture-master » Overture Demo Tests13 KB--3 MB-
overture-development » org.overture.ide.plugins.poviewer2 MB2 MB-784 KB-
overture-pvj-main » Overture Testing10 KB10 KB-3 MB-
overture-development » org.overture.ide.plugins.coverageeditor2 MB2 MB-199 KB-
overture-master » org.overture.ide.ui138 KB125 KB-2 MB-
overture-development » Overture IDE core plugins GUI746 KB715 KB-2 MB-
overture-development » Test Framework for Overture1 MB1 MB-1 MB-
overture-development » New Pretty Printer1 MB1 MB-1023 KB-
overture-master » Combinatorial Testing Runtime86 KB73 KB-2 MB-
vdm2c-pvj » The C Code Generator VDM distribution library sources722 KB722 KB-2 MB-
overture-development » org.overture.ide.plugins.quickinterpreter2 MB2 MB-140 KB-
overture-development » org.overture.ide.plugins.csk2 MB2 MB-172 KB-
overture-development » org.overture.ide.vdmrt.ui2 MB2 MB-254 KB-
overture-test » The Java Code Generator Maven Plugin496 KB469 KB-2 MB-
overture-development » org.overture.ide.vdmpp.ui2 MB2 MB-218 KB-
overture-development » org.overture.ide.vdmsl.ui2 MB2 MB-213 KB-
overture-development » org.overture.ide.vdmsl.debug2 MB2 MB-179 KB-
overture-development » org.overture.ide.vdmpp.debug2 MB2 MB-183 KB-
overture-development » org.overture.ide.vdmrt.debug2 MB2 MB-180 KB-
overture-development » Overture IDE Eclipse Combinatorial Testing feature2 MB2 MB-27 KB-
overture-development » Overture IDE Eclipse VDM Quick Interpreter feature2 MB2 MB-27 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 » The Java Code Generator Testing907 KB882 KB-1 MB-
overture-development » Overture IDE Eclipse Developer Utilities feature2 MB2 MB-28 KB-
overture-development » Overture IDE Eclipse Coverage Editor 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 core feature2 MB2 MB-39 KB-
overture-development » Overture IDE Eclipse CSK VDM Tools Link feature2 MB2 MB-27 KB-
overture-development » org.overture.ide.plugins.externaleditor2 MB2 MB-113 KB-
overture-development » org.overture.ide.builders.vdmj1 MB1 MB-1016 KB-
overture-development » Overture IDE Eclipse plugin uml2 feature2 MB2 MB-30 KB-
overture-test » Overture IDE core plugins GUI168 KB139 KB-2 MB-
example-packer » Overture Example Packager core228 KB217 KB-2 MB-
overture-development » Overture IDE Eclipse Java Code Generator feature2 MB2 MB-27 KB-
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-test » Combinatorial Testing773 KB745 KB-932 KB-
overture-development » Documentation511 KB493 KB-1 MB-
overture-development » POG - Isagen Integration999 KB974 KB-667 KB-
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 notes629 KB613 KB-893 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-development » Provided Annotations730 KB730 KB-615 KB-
overture-master » The Java Code Generator Testing64 KB51 KB-1 MB-
overture-test » Documentation112 KB94 KB-1 MB-
overture-test » UML2 Translator752 KB724 KB-494 KB-
overture-development » org.overture.ide.parsers.vdmj926 KB897 KB-315 KB-
overture-test » org.overture.ide.plugins.poviewer470 KB443 KB-765 KB-
overture-development » Combinatorial Testing Utilities786 KB757 KB-440 KB-
overture-master » Documentation32 KB21 KB-1 MB-
overture-master » Test Framework for Overture79 KB67 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 Printer106 KB93 KB-1021 KB-
overture-master » Combinatorial Testing154 KB141 KB-946 KB-
overture-development » org.overture.ide.vdmrt.core998 KB969 KB-98 KB-
overture-development » org.overture.ide.vdmpp.core998 KB969 KB-98 KB-
overture-development » org.overture.ide.vdmsl.core997 KB968 KB-97 KB-
overture-master » org.overture.ide.builders.vdmj67 KB54 KB-1016 KB-
overture-test » POG - Isagen Integration366 KB342 KB-666 KB-
overture-development » Annotation Examples739 KB739 KB-274 KB-
overture-test » org.overture.ide.plugins.latex664 KB636 KB-337 KB-
overture-development » The VDM to JML Generator Runtime740 KB715 KB-261 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 » The Overture release notes42 KB31 KB-893 KB-
overture-master » org.overture.ide.plugins.poviewer147 KB134 KB-783 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 KB517 KB-261 KB-
overture-development » Overture IDE VDM-SL top level549 KB520 KB-256 KB-
overture-master » POG - Isagen Integration71 KB59 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 Parsers547 KB518 KB-158 KB-
overture-development » VDM Pretty Printing536 KB507 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-test » org.overture.ide.vdmsl.debug486 KB459 KB-174 KB-
overture-master » Overture Testing Framework97 KB84 KB-561 KB-
overture-master » Provided Annotations42 KB42 KB-614 KB-
overture-master » UML2 Translator149 KB135 KB-500 KB-
overture-test » org.overture.ide.plugins.quickinterpreter506 KB479 KB-135 KB-
overture-test » org.overture.ide.vdmrt.debug465 KB438 KB-175 KB-
overture-development » Overture IDE Eclipse plugin features557 KB526 KB-82 KB-
overture-pvj-main » New Pretty Printer45 KB45 KB-578 KB-
overture-development » Overture IDE Builders542 KB513 KB-64 KB-
overture-test » Developer Utilities for Overture472 KB445 KB-126 KB-
overture-development » VDM Annotations495 KB495 KB-102 KB-
overture-test » org.overture.ide.plugins.externaleditor469 KB442 KB-108 KB-
overture-development » Overture IDE Eclipse features542 KB513 KB-26 KB-
overture-pvj-main » POG - Isagen Integration27 KB27 KB-508 KB-
overture-master » The VDM Pretty Printer47 KB35 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 Utilities54 KB42 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-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-315 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 Testing35 KB22 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-test » org.overture.ide.vdmpp.core226 KB199 KB-93 KB-
overture-test » org.overture.ide.vdmsl.core224 KB197 KB-92 KB-
overture-master » Annotation Examples42 KB42 KB-274 KB-
overture-pvj-main » Combinatorial Testing11 KB11 KB-305 KB-
overture-master » Overture IDE VDM-RT (RealTime) Top-level36 KB22 KB-277 KB-
overture-master » org.overture.ide.plugins.csk140 KB127 KB-172 KB-
overture-master » The VDM to JML Generator Runtime51 KB39 KB-260 KB-
overture-master » Overture IDE VDM-PP Top-level35 KB22 KB-261 KB-
overture-master » Overture IDE VDM-SL top level35 KB22 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 Printing34 KB22 KB-162 KB-
overture-master » Overture IDE Eclipse core feature155 KB142 KB-39 KB-
overture-master » Overture IDE Parsers35 KB22 KB-158 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 features37 KB23 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.vdmrt.core65 KB52 KB-98 KB-
overture-master » org.overture.ide.vdmpp.core65 KB52 KB-98 KB-
overture-master » org.overture.ide.vdmsl.core65 KB52 KB-97 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 Annotations22 KB22 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 Builders35 KB22 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 features35 KB22 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-112 GB2 GB