Commit afda7bab authored by François Bobot's avatar François Bobot

Tyxml 4.0 and lambda master

parent 3a1fb8ab
open Html5.M
open Tyxml.Html
open Generate
open Menu
......
open Html5.M
open Tyxml.Html
open Menu
let internal_link ?(a=[]) p text =
Html5.M.a ~a:(a_href (p.filename^".html")::a_title p.long_title::a)
Tyxml.Html.a ~a:(a_href (p.filename^".html")::a_title p.long_title::a)
[pcdata text]
let page p b =
......@@ -26,19 +26,19 @@ let page p b =
link ~rel:[`Stylesheet] ~href:"css/lambdoc.css" ();
])
(body ([header;content;menu])) in
Html5.P.print ~output:print_string html
Tyxml.Html.pp () Format.std_formatter html
(** {2 Markdown} *)
module Lambdoc_writer = Lambdoc_write_html5.Make_simple (struct
include Html5.M
module Svg = Svg.M
module Lambdoc_writer = Lambdoc_whtml_writer.Make (struct
include Tyxml.Html
module Svg = Tyxml.Svg
end)
let md s : [> Html5_types.div ] Html5.M.elt =
let doc = Lambdoc_read_markdown.Simple.ambivalent_from_string s in
let md s : [> Html_types.div ] Tyxml.Html.elt =
let doc = Lambdoc_rlamblite_reader.Trivial.ambivalent_from_string s in
let xdoc = Lambdoc_writer.write_ambivalent doc in
( xdoc :
(Html5_types.div Html5.M.elt) :> [> Html5_types.div ] Html5.M.elt)
(Html_types.div Tyxml.Html.elt) :> [> Html_types.div ] Tyxml.Html.elt)
(** {2 For the squeleton } *)
type a_remplir = ARemplir
open Html5.M
open Tyxml.Html
open Generate
open Menu
......
open Html5.M
open Tyxml.Html
open Generate
open Menu
......
open Html5.M
open Tyxml.Html
open Generate
open Menu
......
open Html5.M
open Tyxml.Html
type page = {
long_title: string;
......
open Html5.M
open Tyxml.Html
open Generate
open Menu
......
open Html5.M
open Tyxml.Html
open Generate
open Menu
......
open Html5.M
open Tyxml.Html
open Generate
open Menu
......
open Html5.M
open Tyxml.Html
open Generate
open Menu
......
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Delivrables for the ANR</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>Delivrables for the ANR</div><div id="Content"><div class="readable_div"><p>No delivrables have been currently produced</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 /></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Delivrables for the ANR</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>Delivrables for the ANR</div><div id="Content"><div class="readable_div"><p>No delivrables have been currently produced</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/></div></body></html>
\ No newline at end of file
<!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_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 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 /></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_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 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/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Job opportunities</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>Job opportunities</div><div id="Content"><div class="readable_div"><ul><li><a href="http://mathieuacher.com/phdSOPRANO.html">PhD: Combining Decision Procedures for Constraint Programming and SMT</a></li><li>PostDoc</li></ul></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 /></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Job opportunities</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>Job opportunities</div><div id="Content"><div class="readable_div"><ul><li><a href="http://mathieuacher.com/phdSOPRANO.html">PhD: Combining Decision Procedures for Constraint Programming and SMT</a></li><li>PostDoc</li></ul></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/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Meetings</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>Meetings</div><div id="Content"><div class="readable_div"><ul><li>Kick-Off</li></ul></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 /></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Meetings</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>Meetings</div><div id="Content"><div class="readable_div"><ul><li>Kick-Off</li></ul></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/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Members of the project</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>Members of the project</div><div id="Content"><div class="readable_div"><img src="images/logo/cea_list.png" alt="CEA List" style="margin: 5px; margin-right: 20px; background:#ED1C24" /><img src="images/logo/upsud.svg" alt="Paris-Sud University" style="margin: 5px; margin-right: 20px; background:white" /><img src="images/logo/INRIA.png" alt="INRIA" style="margin: 5px; margin-right: 20px; background:white" /><img src="images/logo/ocamlpro.png" alt="OcamlPro" style="margin: 5px; margin-right: 20px; background:#1B325F" /><img src="images/logo/adacore.png" alt="Adacore" style="margin: 5px; margin-right: 20px; background:black" /></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 /></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Members of the project</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>Members of the project</div><div id="Content"><div class="readable_div"><img src="images/logo/cea_list.png" alt="CEA List" style="margin: 5px; margin-right: 20px; background:#ED1C24"/><img src="images/logo/upsud.svg" alt="Paris-Sud University" style="margin: 5px; margin-right: 20px; background:white"/><img src="images/logo/INRIA.png" alt="INRIA" style="margin: 5px; margin-right: 20px; background:white"/><img src="images/logo/ocamlpro.png" alt="OcamlPro" style="margin: 5px; margin-right: 20px; background:#1B325F"/><img src="images/logo/adacore.png" alt="Adacore" style="margin: 5px; margin-right: 20px; background:black"/></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/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Publications</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>Publications</div><div id="Content"><div class="readable_div"><ul><li>CP meets SMT, François Bobot, Sébastien Bardin, and Bruno Marre. Workshop CP meets Verification 2014 (CPCAV 2014)</li></ul></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 /></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Publications</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>Publications</div><div id="Content"><div class="readable_div"><ul><li>CP meets SMT, François Bobot, Sébastien Bardin, and Bruno Marre. Workshop CP meets Verification 2014 (CPCAV 2014)</li></ul></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/></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></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 /></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></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/></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