Index of /trunk/source/BA_SiteRepository/target/repository/plugins
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
com.github.jhoenicke.javacup_1.2.0.jar 2024-10-27 17:48 155K
com.google.gson_2.8.2.v20180104-1110.jar 2024-10-27 17:48 254K
com.ibm.icu_67.1.0.v20200706-1749.jar 2024-10-27 17:48 13M
com.lmax.disruptor_3.3.5.jar 2024-10-27 17:48 83K
com.sun.jna.platform_5.6.0.v20200722-0209.jar 2024-10-27 17:48 1.4M
com.sun.jna_5.6.0.v20200716-0148.jar 2024-10-27 17:48 1.5M
com.sun.xml.bind_2.2.0.v201505121915.jar 2024-10-27 17:48 933K
de.uni_freiburg.informatik.ultimate.acsl.parser_0.2.5.jar 2024-10-27 17:48 238K
de.uni_freiburg.informatik.ultimate.astbuilder_0.2.5.jar 2024-10-27 17:48 43K
de.uni_freiburg.informatik.ultimate.boogie.parser_0.2.5.jar 2024-10-27 17:48 62K
de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.2.5.jar 2024-10-27 17:48 135K
de.uni_freiburg.informatik.ultimate.boogie.printer_0.2.5.jar 2024-10-27 17:48 9.5K
de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.2.5.jar 2024-10-27 17:48 97K
de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.2.5.jar 2024-10-27 17:48 30K
de.uni_freiburg.informatik.ultimate.cdt.parser_0.2.5.jar 2024-10-27 17:48 68K
de.uni_freiburg.informatik.ultimate.chcprinter_0.2.5.jar 2024-10-27 17:48 9.9K
de.uni_freiburg.informatik.ultimate.cli_0.2.5.jar 2024-10-27 17:48 37K
de.uni_freiburg.informatik.ultimate.controller.eliminator_0.2.5.jar 2024-10-27 17:48 13K
de.uni_freiburg.informatik.ultimate.core_0.2.5.jar 2024-10-27 17:48 349K
de.uni_freiburg.informatik.ultimate.deltadebugger_0.2.5.jar 2024-10-27 17:48 346K
de.uni_freiburg.informatik.ultimate.gui.logging_0.2.5.jar 2024-10-27 17:48 12K
de.uni_freiburg.informatik.ultimate.gui.preferencepages_0.2.5.jar 2024-10-27 17:48 40K
de.uni_freiburg.informatik.ultimate.gui_0.2.5.jar 2024-10-27 17:48 82K
de.uni_freiburg.informatik.ultimate.lib.acceleratedinterpolation_0.2.5.jar 2024-10-27 17:48 66K
de.uni_freiburg.informatik.ultimate.lib.automata_0.2.5.jar 2024-10-27 17:48 10M
de.uni_freiburg.informatik.ultimate.lib.boogieast_0.2.5.jar 2024-10-27 17:48 272K
de.uni_freiburg.informatik.ultimate.lib.chc_0.2.5.jar 2024-10-27 17:48 23M
de.uni_freiburg.informatik.ultimate.lib.core_0.2.5.jar 2024-10-27 17:48 211K
de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.2.5.jar 2024-10-27 17:48 578K
de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 2024-10-27 17:48 330K
de.uni_freiburg.informatik.ultimate.lib.mcr_0.2.5.jar 2024-10-27 17:48 32K
de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.2.5.jar 2024-10-27 17:48 906K
de.uni_freiburg.informatik.ultimate.lib.mso_0.2.5.jar 2024-10-27 17:48 43K
de.uni_freiburg.informatik.ultimate.lib.pathexpressions_0.2.5.jar 2024-10-27 17:48 26K
de.uni_freiburg.informatik.ultimate.lib.pdr_0.2.5.jar 2024-10-27 17:48 32K
de.uni_freiburg.informatik.ultimate.lib.pea_0.89.0.jar 2024-10-27 17:48 211K
de.uni_freiburg.informatik.ultimate.lib.preferencejson_0.2.5.jar 2024-10-27 17:48 9.2K
de.uni_freiburg.informatik.ultimate.lib.sifa_0.2.5.jar 2024-10-27 17:48 149K
de.uni_freiburg.informatik.ultimate.lib.smtlib_0.2.5.jar 2024-10-27 17:48 229K
de.uni_freiburg.informatik.ultimate.lib.smtlibutils_0.2.5.jar 2024-10-27 17:48 786K
de.uni_freiburg.informatik.ultimate.lib.srparse_1.0.0.jar 2024-10-27 17:48 138K
de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils_0.2.5.jar 2024-10-27 17:48 333K
de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.2.5.jar 2024-10-27 17:48 90K
de.uni_freiburg.informatik.ultimate.lib.util_0.2.5.jar 2024-10-27 17:48 453K
de.uni_freiburg.informatik.ultimate.ltl2aut_0.2.5.jar 2024-10-27 17:48 74K
de.uni_freiburg.informatik.ultimate.pea2boogie_0.2.5.jar 2024-10-27 17:48 172K
de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2_0.2.5.jar 2024-10-27 17:48 707K
de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies_0.2.5.jar 2024-10-27 17:48 106K
de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker_0.2.5.jar 2024-10-27 17:48 32K
de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions_0.2.5.jar 2024-10-27 17:48 81K
de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker_0.2.5.jar 2024-10-27 17:48 12K
de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.2.5.jar 2024-10-27 17:48 66K
de.uni_freiburg.informatik.ultimate.plugins.chcsolver_0.2.5.jar 2024-10-27 17:48 13K
de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.2.5.jar 2024-10-27 17:48 30K
de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter_0.2.5.jar 2024-10-27 17:48 68K
de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer_0.2.5.jar 2024-10-27 17:48 152K
de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator_0.2.5.jar 2024-10-27 17:48 758K
de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck_0.2.5.jar 2024-10-27 17:48 86K
de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis_0.2.5.jar 2024-10-27 17:48 22K
de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator_0.2.5.jar 2024-10-27 17:48 14K
de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder_0.2.5.jar 2024-10-27 17:48 139K
de.uni_freiburg.informatik.ultimate.plugins.generator.referee_0.2.5.jar 2024-10-27 17:48 11K
de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction_0.2.5.jar 2024-10-27 17:48 925K
de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas_0.2.5.jar 2024-10-27 17:48 37K
de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer_0.2.5.jar 2024-10-27 17:48 53K
de.uni_freiburg.informatik.ultimate.plugins.icfgtochc_0.2.5.jar 2024-10-27 17:48 45K
de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.2.5.jar 2024-10-27 17:48 25K
de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization_0.2.5.jar 2024-10-27 17:48 50K
de.uni_freiburg.informatik.ultimate.plugins.sifa_0.2.5.jar 2024-10-27 17:48 21K
de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser_0.2.5.jar 2024-10-27 17:48 149K
de.uni_freiburg.informatik.ultimate.req.printer_0.2.5.jar 2024-10-27 17:48 11K
de.uni_freiburg.informatik.ultimate.reqparser_0.2.5.jar 2024-10-27 17:48 15K
de.uni_freiburg.informatik.ultimate.reqtotest_0.2.5.jar 2024-10-27 17:48 58K
de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 2024-10-27 17:48 1.3M
de.uni_freiburg.informatik.ultimate.smtsolver.external_0.2.5.jar 2024-10-27 17:48 99K
de.uni_freiburg.informatik.ultimate.source.smtparser_0.2.5.jar 2024-10-27 17:48 40K
de.uni_freiburg.informatik.ultimate.web.backend_0.2.5.jar 2024-10-27 17:48 60K
de.uni_freiburg.informatik.ultimate.witnessparser_0.2.5.jar 2024-10-27 17:48 38K
de.uni_freiburg.informatik.ultimate.witnessprinter_0.2.5.jar 2024-10-27 17:48 133K
edu.uci.ics.jung_2.0.1.jar 2024-10-27 17:48 4.5M
javax.activation_1.1.0.v201211130549.jar 2024-10-27 17:48 54K
javax.annotation_1.3.5.v20200504-1837.jar 2024-10-27 17:48 46K
javax.inject_1.0.0.v20091030.jar 2024-10-27 17:48 14K
javax.servlet_3.1.0.v201410161800.jar 2024-10-27 17:48 103K
javax.xml.bind_2.2.0.v201105210648.jar 2024-10-27 17:48 116K
javax.xml.stream_1.0.1.v201004272200.jar 2024-10-27 17:48 43K
javax.xml_1.3.4.v201005080400.jar 2024-10-27 17:48 246K
net.sf.javabdd_0.6.0.jar 2024-10-27 17:48 400K
net.sourceforge.czt_1.5.0.jar 2024-10-27 17:48 4.6M
org.apache.batik.anim_1.9.1.v20190730-1743.jar 2024-10-27 17:48 516K
org.apache.batik.constants_1.13.0.v20200622-2037.jar 2024-10-27 17:48 20K
org.apache.batik.css_1.13.0.v20200622-2037.jar 2024-10-27 17:48 354K
org.apache.batik.dom.svg_1.9.1.v20190730-1743.jar 2024-10-27 17:48 251K
org.apache.batik.dom_1.9.1.v20190730-1743.jar 2024-10-27 17:48 203K
org.apache.batik.ext.awt_1.9.1.v20190730-1743.jar 2024-10-27 17:48 442K
org.apache.batik.i18n_1.13.0.v20200622-2037.jar 2024-10-27 17:48 23K
org.apache.batik.parser_1.9.1.v20190730-1743.jar 2024-10-27 17:48 92K
org.apache.batik.svggen_1.9.1.v20190730-1743.jar 2024-10-27 17:48 244K
org.apache.batik.util.gui_1.9.1.v20190730-1743.jar 2024-10-27 17:48 200K
org.apache.batik.util_1.13.0.v20200622-2037.jar 2024-10-27 17:48 144K
org.apache.batik.xml_1.9.1.v20190730-1743.jar 2024-10-27 17:48 46K
org.apache.commons.cli_1.3.1.jar 2024-10-27 17:48 47K
org.apache.commons.io_2.6.0.v20190123-2029.jar 2024-10-27 17:48 227K
org.apache.commons.jxpath_1.3.0.v200911051830.jar 2024-10-27 17:48 318K
org.apache.commons.lang_3.12.0.jar 2024-10-27 17:48 1.2M
org.apache.commons.logging_1.2.0.v20180409-1502.jar 2024-10-27 17:48 71K
org.apache.felix.scr_2.1.16.v20200110-1820.jar 2024-10-27 17:48 407K
org.apache.log4j_1.2.15.v201012070815.jar 2024-10-27 17:48 419K
org.apache.logging.log4j_2.8.2.v20200818-1118.jar 2024-10-27 17:48 1.6M
org.apache.xalan_2.7.1.v201005080400.jar 2024-10-27 17:48 2.7M
org.apache.xerces_2.9.0.v201101211617.jar 2024-10-27 17:48 1.3M
org.apache.xml.resolver_1.2.0.v201005080400.jar 2024-10-27 17:48 98K
org.apache.xml.serializer_2.7.1.v201005080400.jar 2024-10-27 17:48 294K
org.apache.xmlgraphics_2.4.0.v20200622-2037.jar 2024-10-27 17:48 704K
org.eclipse.cdt.build.gcc.core_1.1.0.202008310002.jar 2024-10-27 17:48 38K
org.eclipse.cdt.core.linux.x86_64_6.0.0.202008310002.jar 2024-10-27 17:48 21K
org.eclipse.cdt.core.linux_6.0.0.202008310002.jar 2024-10-27 17:48 13K
org.eclipse.cdt.core.macosx_6.0.0.202008310002.jar 2024-10-27 17:48 32K
org.eclipse.cdt.core.native_6.0.0.202009030027.jar 2024-10-27 17:48 46K
org.eclipse.cdt.core.win32.x86_64_6.0.0.202008310002.jar 2024-10-27 17:48 555K
org.eclipse.cdt.core.win32_6.0.0.202008310002.jar 2024-10-27 17:48 17K
org.eclipse.cdt.core_7.0.1.202010091427.jar 2024-10-27 17:48 5.8M
org.eclipse.cdt.make.core_7.5.0.202009040332.jar 2024-10-27 17:48 454K
org.eclipse.cdt.managedbuilder.core_9.0.0.202009010132.jar 2024-10-27 17:48 1.3M
org.eclipse.core.commands_3.9.700.v20191217-1850.jar 2024-10-27 17:48 113K
org.eclipse.core.contenttype_3.7.800.v20200724-0804.jar 2024-10-27 17:48 98K
org.eclipse.core.databinding.observable_1.10.0.v20200730-0848.jar 2024-10-27 17:48 307K
org.eclipse.core.databinding.property_1.8.100.v20200619-0651.jar 2024-10-27 17:48 161K
org.eclipse.core.databinding_1.10.0.v20200815-1752.jar 2024-10-27 17:48 180K
org.eclipse.core.expressions_3.7.0.v20200720-1126.jar 2024-10-27 17:48 91K
org.eclipse.core.filebuffers_3.6.1000.v20200409-1035.jar 2024-10-27 17:48 114K
org.eclipse.core.filesystem.linux.x86_64_1.2.300.v20180828-0158.jar 2024-10-27 17:48 11K
org.eclipse.core.filesystem.macosx_1.3.200.v20190903-0945.jar 2024-10-27 17:48 17K
org.eclipse.core.filesystem.win32.x86_64_1.4.200.v20190812-0909.jar 2024-10-27 17:48 37K
org.eclipse.core.filesystem_1.7.700.v20200110-1734.jar 2024-10-27 17:48 65K
org.eclipse.core.jobs_3.10.800.v20200421-0950.jar 2024-10-27 17:48 105K
org.eclipse.core.resources.win32.x86_64_3.5.400.v20190812-0909.jar 2024-10-27 17:48 58K
org.eclipse.core.resources_3.13.800.v20200706-2152.jar 2024-10-27 17:48 876K
org.eclipse.core.runtime_3.19.0.v20200724-1004.jar 2024-10-27 17:48 72K
org.eclipse.core.variables_3.4.800.v20200120-1101.jar 2024-10-27 17:48 35K
org.eclipse.e4.core.commands_0.12.900.v20200110-1732.jar 2024-10-27 17:48 25K
org.eclipse.e4.core.contexts_1.8.400.v20191217-1710.jar 2024-10-27 17:48 47K
org.eclipse.e4.core.di.annotations_1.6.600.v20191216-2352.jar 2024-10-27 17:48 12K
org.eclipse.e4.core.di.extensions.supplier_0.15.700.v20200622-1247.jar 2024-10-27 17:48 34K
org.eclipse.e4.core.di.extensions_0.16.0.v20200507-0938.jar 2024-10-27 17:48 11K
org.eclipse.e4.core.di_1.7.600.v20200428-0912.jar 2024-10-27 17:48 52K
org.eclipse.e4.core.services_2.2.400.v20200622-1247.jar 2024-10-27 17:48 69K
org.eclipse.e4.emf.xpath_0.2.800.v20200609-0849.jar 2024-10-27 17:48 50K
org.eclipse.e4.ui.bindings_0.12.900.v20200513-0930.jar 2024-10-27 17:48 45K
org.eclipse.e4.ui.css.core_0.12.1300.v20200615-1701.jar 2024-10-27 17:48 211K
org.eclipse.e4.ui.css.swt.theme_0.12.700.v20200527-0719.jar 2024-10-27 17:48 27K
org.eclipse.e4.ui.css.swt_0.13.1100.v20200819-0632.jar 2024-10-27 17:48 199K
org.eclipse.e4.ui.di_1.2.800.v20200128-0855.jar 2024-10-27 17:48 16K
org.eclipse.e4.ui.dialogs_1.2.0.v20200807-0944.jar 2024-10-27 17:48 57K
org.eclipse.e4.ui.model.workbench_2.1.800.v20200828-0938.jar 2024-10-27 17:48 388K
org.eclipse.e4.ui.services_1.3.700.v20190930-1643.jar 2024-10-27 17:48 24K
org.eclipse.e4.ui.widgets_1.2.700.v20191222-1048.jar 2024-10-27 17:48 13K
org.eclipse.e4.ui.workbench.addons.swt_1.3.1100.v20200703-0611.jar 2024-10-27 17:48 115K
org.eclipse.e4.ui.workbench.renderers.swt_0.14.1300.v20200829-1411.jar 2024-10-27 17:48 245K
org.eclipse.e4.ui.workbench.swt_0.14.1100.v20200619-0644.jar 2024-10-27 17:48 139K
org.eclipse.e4.ui.workbench3_0.15.400.v20191216-0805.jar 2024-10-27 17:48 21K
org.eclipse.e4.ui.workbench_1.11.400.v20200828-0938.jar 2024-10-27 17:48 243K
org.eclipse.emf.common_2.20.0.v20200822-0801.jar 2024-10-27 17:48 367K
org.eclipse.emf.ecore.change_2.14.0.v20190528-0725.jar 2024-10-27 17:48 101K
org.eclipse.emf.ecore.xmi_2.16.0.v20190528-0725.jar 2024-10-27 17:48 230K
org.eclipse.emf.ecore_2.23.0.v20200630-0516.jar 2024-10-27 17:48 1.3M
org.eclipse.equinox.app_1.5.0.v20200717-0620.jar 2024-10-27 17:48 87K
org.eclipse.equinox.bidi_1.3.0.v20200612-1624.jar 2024-10-27 17:48 50K
org.eclipse.equinox.common_3.13.0.v20200828-1034.jar 2024-10-27 17:48 132K
org.eclipse.equinox.ds_1.6.200.v20200422-1833.jar 2024-10-27 17:48 28K
org.eclipse.equinox.event_1.5.500.v20200616-0800.jar 2024-10-27 17:48 34K
org.eclipse.equinox.preferences_3.8.0.v20200422-1833.jar 2024-10-27 17:48 134K
org.eclipse.equinox.registry_3.9.0.v20200625-1425.jar 2024-10-27 17:48 190K
org.eclipse.help_3.8.800.v20200525-0755.jar 2024-10-27 17:48 267K
org.eclipse.jdt.annotation_2.2.600.v20200408-1511.jar 2024-10-27 17:48 25K
org.eclipse.jetty.http_9.4.31.v20200723.jar 2024-10-27 17:48 222K
org.eclipse.jetty.io_9.4.31.v20200723.jar 2024-10-27 17:48 173K
org.eclipse.jetty.security_9.4.31.v20200723.jar 2024-10-27 17:48 127K
org.eclipse.jetty.server_9.4.31.v20200723.jar 2024-10-27 17:48 722K
org.eclipse.jetty.servlet_9.4.31.v20200723.jar 2024-10-27 17:48 139K
org.eclipse.jetty.util_9.4.31.v20200723.jar 2024-10-27 17:48 578K
org.eclipse.jface.databinding_1.12.0.v20200717-1533.jar 2024-10-27 17:48 292K
org.eclipse.jface.notifications_0.2.0.v20200810-0826.jar 2024-10-27 17:48 26K
org.eclipse.jface_3.21.0.v20200821-1458.jar 2024-10-27 17:48 1.1M
org.eclipse.ltk.core.refactoring_3.11.100.v20200720-0748.jar 2024-10-27 17:48 336K
org.eclipse.osgi.services_3.9.0.v20200511-1725.jar 2024-10-27 17:48 126K
org.eclipse.osgi.util_3.5.300.v20190708-1141.jar 2024-10-27 17:48 72K
org.eclipse.osgi_3.16.0.v20200828-0759.jar 2024-10-27 17:48 1.4M
org.eclipse.swt.cocoa.macosx.x86_64_3.115.0.v20200831-1002.jar 2024-10-27 17:48 2.1M
org.eclipse.swt.gtk.linux.x86_64_3.115.0.v20200831-1002.jar 2024-10-27 17:48 2.0M
org.eclipse.swt.win32.win32.x86_64_3.115.0.v20200831-1002.jar 2024-10-27 17:48 2.3M
org.eclipse.swt_3.115.0.v20200831-1002.jar 2024-10-27 17:48 17K
org.eclipse.text_3.10.300.v20200807-0831.jar 2024-10-27 17:48 288K
org.eclipse.tools.templates.core_1.2.0.202008310315.jar 2024-10-27 17:48 11K
org.eclipse.tools.templates.freemarker_1.2.0.202008311307.jar 2024-10-27 17:48 20K
org.eclipse.ui.workbench_3.120.0.v20200829-1411.jar 2024-10-27 17:48 3.4M
org.eclipse.ui_3.118.0.v20200807-0902.jar 2024-10-27 17:48 432K
org.eclipse.urischeme_1.1.100.v20200729-2048.jar 2024-10-27 17:48 48K
org.freemarker_2.3.22.v20160210-1233.jar 2024-10-27 17:48 1.3M
org.jdom_1.1.1.v201101151400.jar 2024-10-27 17:48 178K
org.ojalgo_38.18.0.jar 2024-10-27 17:48 2.6M
org.w3c.css.sac_1.3.1.v200903091627.jar 2024-10-27 17:48 36K
org.w3c.dom.events_3.0.0.draft20060413_v201105210656.jar 2024-10-27 17:48 15K
org.w3c.dom.smil_1.0.1.v200903091627.jar 2024-10-27 17:48 21K
org.w3c.dom.svg_1.1.0.v201011041433.jar 2024-10-27 17:48 95K