Commit 2d6893b3 authored by François Bobot's avatar François Bobot

Add delivrables à la page privée

parent 308ce91e
......@@ -35,7 +35,8 @@ module Lambdoc_writer = Lambdoc_whtml_writer.Make (struct
end)
let md s : [> Html_types.div ] Tyxml.Html.elt =
let doc = Lambdoc_rlamblite_reader.Trivial.ambivalent_from_string s in
let doc = Lambdoc_rlamblite_reader.Trivial.ambivalent_from_string
~options:`Markdown s in
let xdoc = Lambdoc_writer.write_ambivalent doc in
( xdoc :
(Html_types.div Tyxml.Html.elt) :> [> Html_types.div ] Tyxml.Html.elt)
......
......@@ -12,9 +12,8 @@ let () = Generate.page main [
float: right;")]
();
md "
The Soprano project is funded by the [The French National Research Agency]\
(http://www.agence-nationale-recherche.fr/en/\
project-based-funding-to-advance-french-research/) (ANR). Its main objective is
The Soprano project is funded by the [[http://www.agence-nationale-recherche.fr/en/\
project-based-funding-to-advance-french-research/|The French National Research Agency]] (ANR). Its main objective is
to improve the reasonning power of current software verification tools in order
to make them more powerful, more efficient and easier to use.
......@@ -35,5 +34,4 @@ fourth objective is to ensure industrial-adequacy of the techniques
and tools developed through periodical evaluations
from the industrial partners.
"
]
]
......@@ -3,5 +3,25 @@ open Generate
open Menu
let () = Generate.page private_ [
md "toto"
md "
# Delivrables
* D1.1 ([[downloads/D1_1.pdf|pdf]]): Requirement Analysis
* D1.2 ([[downloads/D1_2.pdf|pdf]],[[downloads/D1_2.tar.gz|tar.gz]]): Set of Benchmarks
* D1.3 ([[downloads/D1_3.pdf|pdf]],[[downloads/D1_3.tar.gz|tar.gz]]): Benchmark Environment (OCI)
* D4.1 ([[downloads/Deliverable-1.4-FPA-in-Alt-Ergo.tar.gz|tar.gz]]): Floating Point Arithmetic in Alt-Ergo
* D4.2 ([[downloads/D4_2.pdf|pdf]],[[downloads/D4_2.tar.gz|tar.gz]]): Preliminary Implementation of the SOPRANO-solver (Popop)
* D2.1 and D2.2 ([[downloads/D4_2.pdf|pdf]]) : Combination frameworks
* D3.1 ([[downloads/D3_1.pdf|pdf]]): Floating Point Arithmetic Solver
# Software
* Alt-Ergo with floating point (license for evaluation)
* Colibri (license for evaluation)
* Popop (license open-source)
* OCI ([[http://github.com/bobot/OCI/|github]]) (license open-source)
* ocplib-simplex ([[https://github.com/OCamlPro-Iguernlala/ocplib-simplex/|github]]) (license open-source)
# ANR
* Formulaire du compte-rendu intermédiaire ([[downloads/Formulaire_Compte-rendu_intermediaire.pdf|pdf]],[[downloads/Formulaire_Compte-rendu_intermediaire.docx|docx]])
* Accord de consortium ([[downloads/Accord_de_consortium_X22760.pdf|pdf]])
"
]
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Home</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>Home</div><div id="Content"><div class="readable_div"><img src="images/general.svg" alt="General context" style="margin: 20px; float: right;"/><div class="doc doc_invalid"><ul class="doc_errors"><li class="doc_error"><h1 class="doc_error_head">Error in line 6:</h1><ul class="doc_error_lines"><li class="doc_error_around"><span class="doc_error_linenum">005</span><span class="doc_error_linestr"></span></li><li class="doc_error_actual"><span class="doc_error_linenum">006</span><span class="doc_error_linestr">During this project, a new framework for the</span></li><li class="doc_error_around"><span class="doc_error_linenum">007</span><span class="doc_error_linestr">cooperation of solvers we will be designed. It will be focused on model</span></li></ul><div class="doc doc_error_msg"><p class="doc_par">Error in anonymous command. Syntax error.</p></div></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: Home</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>Home</div><div id="Content"><div class="readable_div"><img src="images/general.svg" alt="General context" style="margin: 20px; float: right;"/><div class="doc doc_valid"><p class="doc_par">The Soprano project is funded by the <a class="doc_lnk" href="http://www.agence-nationale-recherche.fr/en/project-based-funding-to-advance-french-research/">The French National Research Agency</a> (ANR). Its main objective is to improve the reasonning power of current software verification tools in order to make them more powerful, more efficient and easier to use.</p><p class="doc_par">During this project, a new framework for the cooperation of solvers we will be designed. It will be focused on model generation and borrowing principles from SMT (current standard) and CP (well-known in optimization). Our main scientific and technical objectives are the following. The first objective is to design a new collaboration framework for solvers, centered around synthesis rather than satisfiability and allowing cooperation beyond that of Nelson-Oppen while still providing minimal interfaces with theoretical guarantees. The second objective is to design new decision procedures for industry-relevant and hard-to-solve theories. The third objective is to implement these results in a new open-source platform. The fourth objective is to ensure industrial-adequacy of the techniques and tools developed through periodical evaluations from the industrial partners.</p></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
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Private</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>Private</div><div id="Content"><div class="readable_div"><div class="doc doc_valid"><p class="doc_par">toto</p></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: Private</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>Private</div><div id="Content"><div class="readable_div"><div class="doc doc_valid"><h1 id="doc:a:1" class="doc_sec"><span class="doc_order">1</span><span>Delivrables</span></h1><ul class="doc_itemize"><li class="doc_item"><p class="doc_par">D1.1 (<a class="doc_lnk" href="downloads/D1_1.pdf">pdf</a>): Requirement Analysis</p></li><li class="doc_item"><p class="doc_par">D1.2 (<a class="doc_lnk" href="downloads/D1_2.pdf">pdf</a>,<a class="doc_lnk" href="downloads/D1_2.tar.gz">tar.gz</a>): Set of Benchmarks</p></li><li class="doc_item"><p class="doc_par">D1.3 (<a class="doc_lnk" href="downloads/D1_3.pdf">pdf</a>,<a class="doc_lnk" href="downloads/D1_3.tar.gz">tar.gz</a>): Benchmark Environment (OCI)</p></li><li class="doc_item"><p class="doc_par">D4.1 (<a class="doc_lnk" href="downloads/Deliverable-1.4-FPA-in-Alt-Ergo.tar.gz">tar.gz</a>): Floating Point Arithmetic in Alt-Ergo</p></li><li class="doc_item"><p class="doc_par">D4.2 (<a class="doc_lnk" href="downloads/D4_2.pdf">pdf</a>,<a class="doc_lnk" href="downloads/D4_2.tar.gz">tar.gz</a>): Preliminary Implementation of the SOPRANO-solver (Popop)</p></li><li class="doc_item"><p class="doc_par">D2.1 and D2.2 (<a class="doc_lnk" href="downloads/D4_2.pdf">pdf</a>) : Combination frameworks</p></li><li class="doc_item"><p class="doc_par">D3.1 (<a class="doc_lnk" href="downloads/D3_1.pdf">pdf</a>): Floating Point Arithmetic Solver</p></li></ul><h1 id="doc:a:2" class="doc_sec"><span class="doc_order">2</span><span>Software</span></h1><ul class="doc_itemize"><li class="doc_item"><p class="doc_par">Alt-Ergo with floating point (license for evaluation)</p></li><li class="doc_item"><p class="doc_par">Colibri (license for evaluation)</p></li><li class="doc_item"><p class="doc_par">Popop (license 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>) (license open-source)</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>) (license open-source)</p></li></ul><h1 id="doc:a:3" class="doc_sec"><span class="doc_order">3</span><span>ANR</span></h1><ul class="doc_itemize"><li class="doc_item"><p class="doc_par">Formulaire du compte-rendu intermédiaire (<a class="doc_lnk" href="downloads/Formulaire_Compte-rendu_intermediaire.pdf">pdf</a>,<a class="doc_lnk" href="downloads/Formulaire_Compte-rendu_intermediaire.docx">docx</a>)</p></li><li class="doc_item"><p class="doc_par">Accord de consortium (<a class="doc_lnk" href="downloads/Accord_de_consortium_X22760.pdf">pdf</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