Commit 04cf842f authored by François Bobot's avatar François Bobot
Browse files

Add colibri download

parent 976c646e
......@@ -33,7 +33,9 @@ generate: $(addprefix ../www/, $(addsuffix .html,$(PAGE)))
HEADER=topfind_header.ml
../www/%.html: %.page.ml $(HEADER) _build/utils.cma
DEPS=colibri_licence.md
../www/%.html: %.page.ml $(HEADER) _build/utils.cma $(DEPS)
@echo "Generating $*.html"
@echo "#1 \"$*.page.ml\"" | cat $(HEADER) - $< | ocaml -I _build -stdin $< > $@.tmp.html
linkchecker --quiet --check-extern -r 1 $@.tmp.html
......
true: -traverse
NOTICE TO USER:
Please, read this carefully. By downloading the Software you accept all the terms and conditions of this Agreement.
# DEFINITIONS
When used in this Agreement, the following terms shall have the
respective meanings indicated, such meanings to be applicable to both
the singular and plural forms of the terms defined:
“Agreement” means this licence agreement in its latest version as
publish on the Internet Website.
“Effective Date” means the date of the download of the Software by the
Licensee.
“Internet Website” means the website where the Software can be downloaded.
“Licensee” means You who have downloaded the Software or the legal
entity for the activity of which you Use the Software.
“Licensor” or “CEA-LIST” means Commissariat à l’Energie Atomique
(CEA), a French state-owned research entity with a scientific,
technical or industrial activity duly organised under the laws of
France and having its registered office located at 25 rue Leblanc,
Bâtiment « Le Ponant D » - 75015 Paris, FRANCE, and declared at the
Paris Register of Commerce and Trade (“Registre du Commerce et des
Sociétés de Paris”) under the following registration number: R.C.S.
Paris B 775 685 019.
“Parties” means the Licensee and the Licensor
“Software” means the software named “ColibryCOLIBRI” in source code or
binary code, composed of (a) all of the contents of the files, (ii)
related explanatory written materials or files (“Documentation”); and
(iii) Software setup files and code samples (if any); and (b)
upgrades, modified versions, updates, additions of the Software if
any. COLIBRI is a constraint librairy designed by CEA with the support
of IRSN
“Use” or “Using” means to load, install, copy, run and the Software in
accordance with the Documentation for test, evaluation, educational
purposes or internal research purposes.
# RIGHTS GRANTED
The Licensee is granted a worldwide, non-transferable, non-exclusive
right to Use the Software in binary code only, for test, evaluation,
educational purposes or internal research purposes only and for the
duration identified in article 7.
The right to Use includes:
* The rights to install the Software in binary code;
* The right to use the Software according to the terms and conditions
of the Agreement;
* The right to make permanent or temporary copies of the Software for
test, evaluation, educational purposes or internal research
purposes and notably for the need of having a backup copy; Any Use
of the backup copy is ruled by the Agreement.
Any other use and notably industrial or commercial uses is not
authorised. The Agreement notably does not grant the Licensee the
right to sublicense, distribute, publish, transmit communicate the
Software nor to modify, adapt, translate, arrange, correct or make any
other modification or create derivative works based upon the Software.
The Licensee shall not alter or remove any copyright or other
proprietary notice that appears on or in the Software. Any copies that
the Licensee is permitted to make pursuant to this Agreement must
contain the same copyright and other proprietary notices that appear
on or in the Software. No rights is granted on the Software in source
code.
The Licensor may decide in its sole discretion to propose on the
Internet Website some modified versions, updates or additions to the
Software to be downloaded. The Agreement apply to such elements
downloaded by the Licensor.
# PRICE
Use according to the terms and conditions of the Agreement is free of
charge and no royalty or licensing fees shall be paid by the Licensee.
# INTELLECTUAL PROPERTY RIGHTS
The Software is protected by Intellectual Property Rights, including
without limitation by Copyright Law and international treaty
provisions.
No proprietary rights in and to the Software is transferred to the
Licensee by the Agreement. The Licensee acknowledges and agrees that
the Licensor retains all copyrights and other proprietary rights in
and to the Software.
The structure, organization and code of the Software are the valuable
trade secrets and confidential information of the Licensor. The
Licensee agrees not to decompile, disassemble reverse-engineer or
otherwise attempt to discover the source code of the Software.
No rights is granted on any CEA’s trademarks.
# WARRANTY
The Software is being delivered to the Licensee “AS IS” and the
Licensor makes no warranty as to its Use or performance, nore to the
non-infringement of any third party’s rights. The Software is a Beta
version, which the Licensee acknowledges.
The Licensor does not and cannot warrant the performance or results
the Licensee may obtain by Using the Software. The entire risk arising
out of Use of the Software remains with the Licensee.
The Licensor gives no warranty, express or implied, that (i) the
Software will be of satisfactory quality, suitable for any particular
purpose or for any particular use under specified conditions,
notwithstanding that such purpose, use, or conditions may be known to
the Licensor; or (ii) that the Software will operate error free or
without interruption or that any errors will be corrected.
No assistance no maintenance service is due by the Licensor to the
Licensee according to the Agreement about the Software.
# LIABILITY
## Liability of the Licensor
In no event will the Licensor be liable for any direct or indirect
damage even if the Licensor has been advised of the possibility of any
loss, damage, claims or costs or for any claim by any third party.
## Liability of the Licensee
Any use of the Software that would not be compliant with the terms and
conditions of the Agreement should be a counterfeit that justifies any
lawsuits by the Licensor against the Licensee.
# DURATION :
This Agreement shall become effective on the Effective Date and shall
continue in full force after the Effective Date for the period of
protection by IP rights of the Software unless sooner terminated
pursuant to Article “Termination”.
# TERMINATION
This Agreement may be terminated by full right by the Licensor should
the Licensee not respect the terms and conditions of the Agreement and
should not correct the failure within a period of thirty ( 30 ) days as
of the date of issue of notification of cancellation made by the
Licensor by any means. In this case, termination of the Agreement
shall take effect at the end of the above-mentioned deadline or at a
later date if decided otherwise in the letter of notification. In such
a Case, the Licensor shall stop to Use the Software and destroy any
copy of the Software.
# APPLICABLE LAW
This Agreement shall be governed by and interpreted in accordance with the laws of France
# DISPUTE RESOLUTION
Any dispute shall be raised to the PARIS Court which shall be the sole
court of competent jurisdiction.
# ENTIRE AGREEMENT
This Agreement constitute the entire understanding between the
Licensor and the Licensee concerning the subject matter hereof and
supersede and replace all prior discussions, agreements and
representations, whether oral or written and whether or not executed.
Further, the terms and conditions of this Agreement shall prevail
notwithstanding any variance with the pre-printed terms and conditions
of any purchase order, invoice, acknowledgement or any other such form
or document even if signed by both Parties hereto; to the extend in
variance such pre-printed terms and conditions shall be null and void
and of no force and effect. In the event of inconsistencies between
this Agreement and any of the annexes, the Parties agree that the
Agreement shall prevail.
open Tyxml.Html
open Generate
open Menu
let () = Generate.page download_colibri [ md_file "colibri_licence.md";
p [];
p [pcdata "Download: "; a ~a:([a_href "downloads/colibri.tar.gz"]) [pcdata "colibri.tar.gz"]]]
......@@ -41,5 +41,19 @@ let md s : [> Html_types.div ] Tyxml.Html.elt =
( xdoc :
(Html_types.div Tyxml.Html.elt) :> [> Html_types.div ] Tyxml.Html.elt)
let read_file file =
let rec aux buf cin =
match Buffer.add_channel buf cin 128 with
| () -> aux buf cin
| exception End_of_file -> Buffer.contents buf
in
let cin = open_in file in
let r = aux (Buffer.create 1024) cin in
close_in cin;
r
let md_file filename : [> Html_types.div ] Tyxml.Html.elt =
md (read_file filename)
(** {2 For the squeleton } *)
type a_remplir = ARemplir
......@@ -55,6 +55,12 @@ let private_ = {
filename = "private_";
}
let download_colibri = {
long_title = "Freeware License for COLIBRI and COLIBRI download";
menu_title = "COLIBRI download";
filename = "colibri_download";
}
let menu = [
main;
partners;
......
......@@ -5,7 +5,7 @@ open Menu
let () = Generate.page software [
md "
* [[https://github.com/OCamlPro/alt-ergo|Alt-Ergo]]
* Colibri (Soon available as Freeware)
* [[download_colibri.html|COLIBRI]]
* Popop (Soon available as Open-Source)
* OCI ([[http://github.com/bobot/OCI/|github]])
* Ocplib-simplex ([[https://github.com/OCamlPro-Iguernlala/ocplib-simplex/|github]])
......
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Freeware License for COLIBRI and COLIBRI download</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Freeware License for COLIBRI and COLIBRI download</div><div id="Content"><div class="readable_div"><div class="doc doc_valid"><p class="doc_par">NOTICE TO USER:</p><p class="doc_par">Please, read this carefully. By downloading the Software you accept all the terms and conditions of this Agreement.</p><h1 id="doc:a:1" class="doc_sec"><span class="doc_order">1</span><span>DEFINITIONS</span></h1><p class="doc_par">When used in this Agreement, the following terms shall have the respective meanings indicated, such meanings to be applicable to both the singular and plural forms of the terms defined:</p><p class="doc_par">“Agreement” means this licence agreement in its latest version as publish on the Internet Website.</p><p class="doc_par">“Effective Date” means the date of the download of the Software by the Licensee.</p><p class="doc_par">“Internet Website” means the website where the Software can be downloaded.</p><p class="doc_par">“Licensee” means You who have downloaded the Software or the legal entity for the activity of which you Use the Software.</p><p class="doc_par">“Licensor” or “CEA-LIST” means Commissariat à l’Energie Atomique (CEA), a French state-owned research entity with a scientific, technical or industrial activity duly organised under the laws of France and having its registered office located at 25 rue Leblanc, Bâtiment « Le Ponant D » - 75015 Paris, FRANCE, and declared at the Paris Register of Commerce and Trade (“Registre du Commerce et des Sociétés de Paris”) under the following registration number: R.C.S. Paris B 775 685 019.</p><p class="doc_par">“Parties” means the Licensee and the Licensor</p><p class="doc_par">“Software” means the software named “ColibryCOLIBRI” in source code or binary code, composed of (a) all of the contents of the files, (ii) related explanatory written materials or files (“Documentation”); and (iii) Software setup files and code samples (if any); and (b) upgrades, modified versions, updates, additions of the Software if any. COLIBRI is a constraint librairy designed by CEA with the support of IRSN</p><p class="doc_par">“Use” or “Using” means to load, install, copy, run and the Software in accordance with the Documentation for test, evaluation, educational purposes or internal research purposes.</p><h1 id="doc:a:2" class="doc_sec"><span class="doc_order">2</span><span>RIGHTS GRANTED</span></h1><p class="doc_par">The Licensee is granted a worldwide, non-transferable, non-exclusive right to Use the Software in binary code only, for test, evaluation, educational purposes or internal research purposes only and for the duration identified in article 7.</p><p class="doc_par">The right to Use includes:</p><ul class="doc_itemize"><li class="doc_item"><p class="doc_par">The rights to install the Software in binary code;</p></li><li class="doc_item"><p class="doc_par">The right to use the Software according to the terms and conditions of the Agreement;</p></li><li class="doc_item"><p class="doc_par">The right to make permanent or temporary copies of the Software for test, evaluation, educational purposes or internal research purposes and notably for the need of having a backup copy; Any Use of the backup copy is ruled by the Agreement.</p></li></ul><p class="doc_par">Any other use and notably industrial or commercial uses is not authorised. The Agreement notably does not grant the Licensee the right to sublicense, distribute, publish, transmit communicate the Software nor to modify, adapt, translate, arrange, correct or make any other modification or create derivative works based upon the Software.</p><p class="doc_par">The Licensee shall not alter or remove any copyright or other proprietary notice that appears on or in the Software. Any copies that the Licensee is permitted to make pursuant to this Agreement must contain the same copyright and other proprietary notices that appear on or in the Software. No rights is granted on the Software in source code.</p><p class="doc_par">The Licensor may decide in its sole discretion to propose on the Internet Website some modified versions, updates or additions to the Software to be downloaded. The Agreement apply to such elements downloaded by the Licensor.</p><h1 id="doc:a:3" class="doc_sec"><span class="doc_order">3</span><span>PRICE</span></h1><p class="doc_par">Use according to the terms and conditions of the Agreement is free of charge and no royalty or licensing fees shall be paid by the Licensee.</p><h1 id="doc:a:4" class="doc_sec"><span class="doc_order">4</span><span>INTELLECTUAL PROPERTY RIGHTS</span></h1><p class="doc_par">The Software is protected by Intellectual Property Rights, including without limitation by Copyright Law and international treaty provisions.</p><p class="doc_par">No proprietary rights in and to the Software is transferred to the Licensee by the Agreement. The Licensee acknowledges and agrees that the Licensor retains all copyrights and other proprietary rights in and to the Software.</p><p class="doc_par">The structure, organization and code of the Software are the valuable trade secrets and confidential information of the Licensor. The Licensee agrees not to decompile, disassemble reverse-engineer or otherwise attempt to discover the source code of the Software.</p><p class="doc_par">No rights is granted on any CEA’s trademarks.</p><h1 id="doc:a:5" class="doc_sec"><span class="doc_order">5</span><span>WARRANTY</span></h1><p class="doc_par">The Software is being delivered to the Licensee “AS IS” and the Licensor makes no warranty as to its Use or performance, nore to the non-infringement of any third party’s rights. The Software is a Beta version, which the Licensee acknowledges.</p><p class="doc_par">The Licensor does not and cannot warrant the performance or results the Licensee may obtain by Using the Software. The entire risk arising out of Use of the Software remains with the Licensee.</p><p class="doc_par">The Licensor gives no warranty, express or implied, that (i) the Software will be of satisfactory quality, suitable for any particular purpose or for any particular use under specified conditions, notwithstanding that such purpose, use, or conditions may be known to the Licensor; or (ii) that the Software will operate error free or without interruption or that any errors will be corrected.</p><p class="doc_par">No assistance no maintenance service is due by the Licensor to the Licensee according to the Agreement about the Software.</p><h1 id="doc:a:6" class="doc_sec"><span class="doc_order">6</span><span>LIABILITY</span></h1><h2 id="doc:a:7" class="doc_sec"><span class="doc_order">6.1</span><span>Liability of the Licensor</span></h2><p class="doc_par">In no event will the Licensor be liable for any direct or indirect damage even if the Licensor has been advised of the possibility of any loss, damage, claims or costs or for any claim by any third party.</p><h2 id="doc:a:8" class="doc_sec"><span class="doc_order">6.2</span><span>Liability of the Licensee</span></h2><p class="doc_par">Any use of the Software that would not be compliant with the terms and conditions of the Agreement should be a counterfeit that justifies any lawsuits by the Licensor against the Licensee.</p><h1 id="doc:a:9" class="doc_sec"><span class="doc_order">7</span><span>DURATION :</span></h1><p class="doc_par">This Agreement shall become effective on the Effective Date and shall continue in full force after the Effective Date for the period of protection by IP rights of the Software unless sooner terminated pursuant to Article “Termination”.</p><h1 id="doc:a:10" class="doc_sec"><span class="doc_order">8</span><span>TERMINATION</span></h1><p class="doc_par">This Agreement may be terminated by full right by the Licensor should the Licensee not respect the terms and conditions of the Agreement and should not correct the failure within a period of thirty ( 30 ) days as of the date of issue of notification of cancellation made by the Licensor by any means. In this case, termination of the Agreement shall take effect at the end of the above-mentioned deadline or at a later date if decided otherwise in the letter of notification. In such a Case, the Licensor shall stop to Use the Software and destroy any copy of the Software.</p><h1 id="doc:a:11" class="doc_sec"><span class="doc_order">9</span><span>APPLICABLE LAW</span></h1><p class="doc_par">This Agreement shall be governed by and interpreted in accordance with the laws of France</p><h1 id="doc:a:12" class="doc_sec"><span class="doc_order">10</span><span>DISPUTE RESOLUTION</span></h1><p class="doc_par">Any dispute shall be raised to the PARIS Court which shall be the sole court of competent jurisdiction.</p><h1 id="doc:a:13" class="doc_sec"><span class="doc_order">11</span><span>ENTIRE AGREEMENT</span></h1><p class="doc_par">This Agreement constitute the entire understanding between the Licensor and the Licensee concerning the subject matter hereof and supersede and replace all prior discussions, agreements and representations, whether oral or written and whether or not executed. Further, the terms and conditions of this Agreement shall prevail notwithstanding any variance with the pre-printed terms and conditions of any purchase order, invoice, acknowledgement or any other such form or document even if signed by both Parties hereto; to the extend in variance such pre-printed terms and conditions shall be null and void and of no force and effect. In the event of inconsistencies between this Agreement and any of the annexes, the Parties agree that the Agreement shall prevail.</p></div><p></p><p>Download: <a href="downloads/colibri.tar.gz">colibri.tar.gz</a></p></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Software</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Software</div><div id="Content"><div class="readable_div"><div class="doc doc_valid"><ul class="doc_itemize"><li class="doc_item"><p class="doc_par"><a class="doc_lnk" href="https://github.com/OCamlPro/alt-ergo">Alt-Ergo</a></p></li><li class="doc_item"><p class="doc_par">Colibri (Soon available as Freeware)</p></li><li class="doc_item"><p class="doc_par">Popop (Soon available as Open-Source)</p></li><li class="doc_item"><p class="doc_par">OCI (<a class="doc_lnk" href="http://github.com/bobot/OCI/">github</a>)</p></li><li class="doc_item"><p class="doc_par">Ocplib-simplex (<a class="doc_lnk" href="https://github.com/OCamlPro-Iguernlala/ocplib-simplex/">github</a>)</p></li></ul></div></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Software</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Software</div><div id="Content"><div class="readable_div"><div class="doc doc_valid"><ul class="doc_itemize"><li class="doc_item"><p class="doc_par"><a class="doc_lnk" href="https://github.com/OCamlPro/alt-ergo">Alt-Ergo</a></p></li><li class="doc_item"><p class="doc_par"><a class="doc_lnk" href="download_colibri.html">COLIBRI</a></p></li><li class="doc_item"><p class="doc_par">Popop (Soon available as Open-Source)</p></li><li class="doc_item"><p class="doc_par">OCI (<a class="doc_lnk" href="http://github.com/bobot/OCI/">github</a>)</p></li><li class="doc_item"><p class="doc_par">Ocplib-simplex (<a class="doc_lnk" href="https://github.com/OCamlPro-Iguernlala/ocplib-simplex/">github</a>)</p></li></ul></div></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment