DRAFT
This is not a legal document; items may be missing and versions may be incorrect. Contact eclipse.org/legal for help.

IBM, Intel, and others make no warranties or representation as to the accuracy or completeness of this data.

4.0 Release Driver

4.0

Changes to pedigree between TPTP 4.0 and TPTP 3.3

Requirements

Prerequisites and requirements are listed on the TPTP download page.

Redistributed Open Source Binaries

Open Source Description (version) Downloaded From (URL if possible) License (including URL) Location In TPTP In TPTP Since? TPTP Contact
Batik-151.zip Batik 1.5.1 The Batik distribution can be found here:
http://apache.mirror.cygnal.ca/xml/batik/batik-1.5.1.zip

The Batik source code can be found here:
http://apache.mirror.cygnal.ca/xml/batik/batik-src-1.5.1.zip
Batik itself is licensed under Apache Software License 1.1
http://www.apache.org/licenses/LICENSE-1.1

Batik contains third-party open source JARs. The complete list of LICENSE files can be found in the "lib" directory of batik-1.5.1.zip, along with the READMEs.
org.apache.batik plugin version 4.0 Sheldon Lee-Loy
log4j.jar Apache Jakarta Log4J (version 1.2.8) http://logging.apache.org/log4j/docs/ http://archive.apache.org/dist/jakarta/log4j/ Apache Software License 1.1
http://www.apache.org/licenses/LICENSE-1.1
org.apache.jakarta_log4j_logging plugin version 3.2 Paul Slauenwhite
ecore.jar
ecore.resources.jar
XML4J shipped with EMF (version 4.3)eclipse.org plugin (org.eclipse.emf.ecore version 2.1.0)Eclipse Public License 1.0 (EPL)
http://eclipse.org/legal/epl-v10.html

Apache Software License 1.1
http://www.apache.org/licenses/LICENSE-1.1
RAC (org.eclipse.emf.ecore plugin)version 3.0Joe Toomey
ecore.xmi.jarEMF XMI componentseclipse.org plugin (org.eclipse.emf.ecore.xmi version 2.1.0)Eclipse Public License 1.0 (EPL)
http://eclipse.org/legal/epl-v10.html
RAC (org.eclipse.emf.ecore.xmi plugin)version 3.0Joe Toomey
runtime.jarEclipse Core Runtime Libraryeclipse.org plugin (org.eclipse.core.runtime version 3.1.0)Eclipse Public License 1.0 (EPL)
http://eclipse.org/legal/epl-v10.html

Apache Software License 2.0
http://www.apache.org/licenses/LICENSE-2.0
RAC (org.eclipse.core.runtime plugin)version 3.0Joe Toomey
commons-logging.jar Apache Jakarta Commons Logging version 1.0.3 http://jakarta.apache.org/commons/logging/ http://archive.apache.org/dist/jakarta/commons/logging/ Apache Software License 1.1
http://www.apache.org/licenses/LICENSE-1.1
RAC (org.apache.jakarta_commons_logging plugin)

org.apache.jakarta_commons_logging plugin
version 1.2.0 Paul Slauenwhite
common.jar
common.resources.jar
EMF base classes (version 2.1.0)eclipse.org plugin (org.eclipse.emf.common version 2.1.0)Eclipse Public License 1.0 (EPL)
http://eclipse.org/legal/epl-v10.html
RAC (org.eclipse.emf.common_2.1.0 plugin)version 1.2.0Paul Slauenwhite
junit.jar JUnit (version 3.8.1) eclipse.org plugin (org.junit version 3.8.1) Eclipse Public License 1.0 (EPL)
http://eclipse.org/legal/epl-v10.html
RAC (org.junit plugin) version 1.0.3 Joe Toomey
various files (see the RAC platform-specific information below) Apache Xerces-C (version 2.4.0) http://xml.apache.org/xerces-c/

The source can be downloaded from here:
http://archive.apache.org/dist/xml/xerces-c/Xerces-C_2_4_0/
Apache Software License 1.1
http://www.apache.org/licenses/LICENSE-1.1
RAC version 1.0.3 Samson Wai
various files (see the AC platform-specific information below) Apache Xerces-C (version 2.4.0) http://xml.apache.org/xerces-c/

The source can be downloaded from here:
http://archive.apache.org/dist/xml/xerces-c/Xerces-C_2_4_0/
Apache Software License 1.1
http://www.apache.org/licenses/LICENSE-1.1
Agent Controller (new Technology Preview) version 4.0 Sri Doddapaneni


RAC open source files by platform
This table enumerates the Open Source in the RAC whose file name varies by the operating system. Unless stated otherwise, the open source is mingled in a directory with other RAC libraries.
Open Source Platform Files Location in RAC
Apache Xerces-C version 2.4.0 Windows xerces-c_2_4_0.dll "bin" directory

Linux x86 libxerces-c.so
libxerces-c.so.24
libxerces-c.so.24.0
"lib" directory

Linux 390 libxerces-c.so
libxerces-c.so.24
libxerces-c.so.24.0
"lib" directory

Solaris Sparc libxerces-c.so
libxerces-c.so.24
libxerces-c.so.24.0
"lib" directory

AIX PPC libxerces-c.so
libxerces-c24.so
libxerces-c24.0.so
"lib" directory

HP-UX libxerces-c.sl
libxerces-c.sl.24
libxerces-c.sl.24.0
"lib" directory

AC open source files by platform
This table enumerates the Open Source in the AC whose file name varies by the operating system. Unless stated otherwise, the open source is mingled in a directory with other AC libraries.
Open Source Platform Files Location in AC
Apache Xerces-C version 2.4.0 Windows xerces-c_2_4_0.dll "bin" directory

Linux x86 libxerces-c.so
libxerces-c.so.24
libxerces-c.so.24.0
"lib" directory

Open Source XSD, DTD, Java interfaces, etc.

  1. Guid.java was originally an implementation of the IETF GUID specification (http://ftp.ics.uci.edu/pub/ietf/webdav/uuid-guid/draft-leach-uuids-guids-01.txt) but has since been modified completely (<40% code based on specification). The IETF GUID specification does not contain any source code.
  2. org.eclipse.hyades.logging.core\schema\cbe.xsd and org.eclipse.hyades.logging.core\src.events\commonbaseevent1_0_1.xsd: We ship the Common Base Event v1.0.1 schema from the Common Base Event v1.0.1 specification (OASIS).

Significant Contributions by Non-Committers

None

Contributions of Code to TPTP

Donation Donation By
Probekit editor IBM
Static analysis framework IBM
JScrib IBM