Eiffel Forum License v1.0

Also known as EFL-1.0, Eiffel Forum License v1.0.

Commercial use: allowed
Share alike: not required
Attribution: required (keep the copyright and license notices)

Compare with… Add to the compatibility check Download JSON-LD Turtle RDF/XML Text

Write this as a license text (needs an account) DALICC reads the model above and writes what it permits, requires and prohibits in plain English. Without an account, the Text download above writes the model out from the vocabulary.

Canonical URI https://dalicc.net/licenselibrary/EFL-1.0

Permissions

Charge distribution fee from the text
Commercial use from the text
Derivative works from the text
Derive from the text
Duties
- Attribution from the text
- Notice from the text
- Source code from the text
Display from the text
Distribute from the text
Duties
- Attribution from the text
- Notice from the text
Modified works from the text
Modify from the text
Duties
- Attribution from the text
- Notice from the text
- Source code from the text
Present from the text
Reproduce from the text

Prohibitions

Change license from the text

License-wide duties

This license states no duties that apply to the work as a whole.

What applies by default

The statements above are the library's reading of this license: each is marked with the sentence it rests on, or as a library convention where the text is not explicit. The statements below are the ones the DALICC reasoner supplies for acts the license says nothing about, from the default rules of the dependency graph it reasons with. Each one names the legal source it rests on. None of it is in the record.

Promote by default rule (adopted)

This license says nothing about Promote, and the graph applies this reading in all jurisdictions it covers: it is not permitted unless the license permits it.

A licence that says nothing about endorsement is read as not allowing it: the licence gives the licensee no right to use the licensor's name or marks in a way that states or implies that the licensor endorses the licensee or its product, while stating truthfully that a work is based on or uses the licensed work is a different act that this rule does not decide. A copyright licence grants rights in the work, and the right to use a name or a trademark is a separate right under trademark law and the protection of names, which a silent copyright licence does not pass on. Combining a licence that is silent about endorsement with one that permits it shows a conflict marked as coming from this rule.

Basis Trademark and name rights are separate from copyright: Regulation (EU) 2017/1001 article 9 lets the proprietor of an EU trade mark prevent all third parties not having his consent from using the sign in the course of trade, and Directive (EU) 2015/2436 article 10, 15 U.S.C. 1114 and 1125(a), section 12 BGB and section 43 ABGB protect marks and names in the same way. The library's evidence is Creative Commons 4.0 section 2(b)(2): Patent and trademark rights are not licensed under this Public License. A copyright licence that is silent grants no right to use the licensor's name or marks to suggest endorsement (Worldwide)

Clauses

Warranty disclaimer

THIS PACKAGE IS PROVIDED "AS IS" AND WITHOUT WARRANTY. ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.

Limitation of liability

IN NO EVENT SHALL THE AUTHORS BE LIABLE TO ANY PARTY FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES ARISING IN ANY WAY OUT OF THE USE OF THIS PACKAGE.

Additional clauses

Permission is hereby also granted to distribute binary programs which depend on this package, provided that: - if the binary program depends on a modified version of this package, you must publicly release the modified version of this package

Info

Target asset types: Software
Region / jurisdiction: Worldwide
Validity: Perpetual
Source: https://spdx.org/licenses/EFL-1.0.html
Legal code: http://www.eiffel-nice.org/license/forum.txt
This description is published under: Creative Commons Attribution 4.0 International
SPDX identifier: EFL-1.0 on the SPDX license list
DALICC identifier: EFL-1.0

This record is published under CC BY 4.0. Credit it as: DALICC License Library, DALICC - Verein zur Förderung der Rechtssicherheit in der Datenbewirtschaftung, https://dalicc.net, CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). The license it describes belongs to its publisher.

Use this license

Everything below is generated from this record. Replace the example address with the address of your own work.

JSON sidecar

{
  "license-uri": "https://dalicc.net/licenselibrary/EFL-1.0",
  "license-title": "Eiffel Forum License v1.0",
  "spdx-id": "EFL-1.0",
  "attribution": "Copyright (c) [year] [copyright holder]",
  "asset": null,
  "generated-by": "DALICC"
}

RDF, Turtle

@prefix cc: <http://creativecommons.org/ns#> .

<https://example.org/my-work>
    cc:license <https://dalicc.net/licenselibrary/EFL-1.0> .

RDF, JSON-LD

{
  "@context": {
    "cc": "http://creativecommons.org/ns#"
  },
  "@id": "https://example.org/my-work",
  "cc:license": {
    "@id": "https://dalicc.net/licenselibrary/EFL-1.0"
  }
}

HTML attribution

<p>This work is licensed under <a href="https://dalicc.net/licenselibrary/EFL-1.0" rel="license">Eiffel Forum License v1.0</a>.</p>

This license asks for attribution, so the credit line is part of it.

Badge

Markdown

[![License: Eiffel Forum License v1.0](https://dalicc.net/license-library/EFL-1.0/badge.svg)](https://dalicc.net/license-library/EFL-1.0)

HTML

<a href="https://dalicc.net/license-library/EFL-1.0"><img src="https://dalicc.net/license-library/EFL-1.0/badge.svg" alt="License: Eiffel Forum License v1.0"></a>

Review

Written from the license text by: Giray Havur
Written on: 2026-09-15
Second review: not yet done
Record changed since this review: yes (version 2, 2026-09-24)
Findings: 9 recorded, 5 applied to the record, 0 proposed

The record models version 1 of the Eiffel Forum License. Use, copying, modification and distribution are permitted provided the copyright notices stay unchanged and the license file travels with every distribution. Distributing a binary that depends on a modified version of the package obliges the distributor to release that modified version publicly, which the record carries as a cc:SourceCode duty on modify and derive. Version 2 drops that obligation, which is the whole difference between the two records.

9 findings

major Rubric 3 odrl:permission applied

"Permission is hereby granted to use, copy, modify and/or distribute this package, provided that: - copyright notices are retained unchanged - any distribution of this package, whether modified or not, includes this file." The record permits reproduce, distribute, modify, derive, display, present, commercial use, derivative works, modified works and the distribution fee.
major Rubric 5 odrl:duty applied

cc:Attribution from the unchanged copyright notices and cc:Notice from the requirement to include the license file, both on distribute, modify and derive. cc:SourceCode on modify and derive comes from the second grant: "if the binary program depends on a modified version of this package, you must publicly release the modified version of this package."
major Rubric 4 odrl:prohibition applied

dalicc:ChangeLicense is prohibited because the text requires the license itself to travel with every copy, which is the reading IscLicense and BSD-3-Clause take of the same clause. The MIT record does not carry the prohibition although its text has the same requirement, so the library is not uniform here.
minor Rubric 5 odrl:duty none

The review group notes expected a dalicc:modificationNotice duty and a dalicc:rename duty on this record. The fetched text has neither: it asks for unchanged copyright notices, the license file and, for a binary that depends on a modified package, the public release of that package. The record follows the text.
minor Rubric 6 dalicc:additionalClauses applied

The second grant, about binary programs that depend on the package, is quoted verbatim, because the cc:SourceCode duty does not say that the trigger is a dependent binary rather than a redistribution of the package itself.
info Rubric 7 cc:jurisdiction none

The text names no legal system and no term, so cc:jurisdiction is dalicc:worldwide and dalicc:validityType is dalicc:perpetual.
info Rubric 2 odrl:target applied

One odrl:AssetCollection of dct:type dcmitype:Software, following MIT. The text licenses a package of software.
info Rubric 9 record none

The consistency check with the axioms of dg_default returned no conflicts.
info Rubric 10 record none

dalicc:variantKind is version, with EFL-2.0 as the other member of the chain. No parent is named, in the way 0BSD and BSD-3-Clause name none.

Report an issue The review record as JSON The review checks the model against the license text. It is not legal advice.

History

This license model has 2 versions. Version 2 is the one served today; every earlier version keeps its own address, so a conclusion drawn from one of them can still be checked against it.

Version 2 current2026-09-24 Giray Havur

Named the licence the record itself is published under, CC BY 4.0, by its canonical address beside cc:license.

View version 2 JSON-LD Turtle RDF/XML
1 change
- added dct:license <https://creativecommons.org/licenses/by/4.0/>
  
  Manual edit Every record is published under CC BY 4.0. cc:license names the record DALICC keeps of that licence; dct:license now names it by the address Creative Commons publishes it at, so that a consumer matching the canonical IRI finds it.
Version 1

Created from the license text on 2026-09-15 (Permissive: MIT, ISC and BSD-like).

View version 1 JSON-LD Turtle RDF/XML

Every change names the reason behind it: a finding of the content review, one of its library-wide decisions, the metadata that review wrote onto every record, or a hand edit. None of it is legal advice.

Nothing on this page is legal advice. What a license means is decided by its text; ask a legal advisor before you rely on it.