@@ -29,11 +29,11 @@ let () = Generate.page private_ [
* 05/06/2015: Floating Point Arithmetic ([[downloads/colibri_delta.pdf|Delta in COLIBRI]])
* 08/06/2015: Non-linear arithmetic
* 07/10/2015: Discussions about FPA in Alt-Ergo
* 08/01/2016: [[downloads/OCI.pdf|OCI]]; Improvements on FPA on hard problems ([[downloads/real_fp_behavior.pdf|Colibri FPA improvements]]); [[downloads/bitvector_jan8.odp|Bitvectors]] in Colibri
* 08/01/2016: [[downloads/OCI.pdf|OCI]]; [[downloads/real_fp_behavior.pdf|Improvements of FPA on hard problems]]; [[downloads/bitvector_jan8.odp|Bitvectors in Colibri]]
* 01/07/2016: Improvement of FPA in Alt-Ergo; Lesson on the tentative of COLIBRI at SMTCOMP; States of Popop
# Communications
* [[downloads/CPmeetsVerifV3.odp|Bit-vectors and Integer domains for SMT solving]], Zakaria Chihani, CP meets Verification 2016 Workshop
* [[downloads/OCI.pdf|OCI : For all you Continuous Integration and Benchmarking needs]], François Bobot, OCaml User in PariS (OUPS)
* Bit-vectors and Integer domains for SMT solving ([[downloads/bv_cpmeetverif_abstract.pdf|abstract]],[[downloads/CPmeetsVerifV3.odp|slides]]), Zakaria Chihani, CP meets Verification 2016 Workshop
* OCI : For all you Continuous Integration and Benchmarking needs ([[downloads/OCI.pdf|slides]]) , François Bobot, OCaml User in PariS (OUPS)
<htmlxmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Private</title><metacharset="utf-8"/><linkrel="stylesheet"href="css/main.css"/><linkrel="stylesheet"href="css/lambdoc.css"/></head><body><divid="Header"><ahref="index.html"title="Home"style="font-size: 200%; margin-right:10px;">SOPRANO</a>Private</div><divid="Content"><divclass="readable_div"><divclass="doc doc_valid"><h1id="doc:a:1"class="doc_sec"><spanclass="doc_order">1</span><span>Delivrables</span></h1><ulclass="doc_itemize"><liclass="doc_item"><pclass="doc_par">D1.1 (<aclass="doc_lnk"href="downloads/D1_1.pdf">pdf</a>): Requirement Analysis</p></li><liclass="doc_item"><pclass="doc_par">D1.2 (<aclass="doc_lnk"href="downloads/D1_2.pdf">pdf</a>, <aclass="doc_lnk"href="downloads/D1_2.tar.gz">tar.gz</a>): Set of Benchmarks</p></li><liclass="doc_item"><pclass="doc_par">D1.3 (<aclass="doc_lnk"href="downloads/D1_3.pdf">pdf</a>, <aclass="doc_lnk"href="downloads/D1_3.tar.gz">tar.gz</a>): Benchmark Environment (OCI)</p></li><liclass="doc_item"><pclass="doc_par">D4.1 (<aclass="doc_lnk"href="downloads/Deliverable-1.4-FPA-in-Alt-Ergo.tar.gz">tar.gz</a>): Floating Point Arithmetic in Alt-Ergo</p></li><liclass="doc_item"><pclass="doc_par">D4.2 (<aclass="doc_lnk"href="downloads/D4_2.pdf">pdf</a>, <aclass="doc_lnk"href="downloads/D4_2.tar.gz">tar.gz</a>): Preliminary Implementation of the SOPRANO-solver (Popop)</p></li><liclass="doc_item"><pclass="doc_par">D2.1 and D2.2 (<aclass="doc_lnk"href="downloads/D2_1-D2_2.pdf">pdf</a>) : Combination frameworks</p></li><liclass="doc_item"><pclass="doc_par">D3.1 (<aclass="doc_lnk"href="downloads/D3_1.pdf">pdf</a>): Floating Point Arithmetic Solver</p></li></ul><h1id="doc:a:2"class="doc_sec"><spanclass="doc_order">2</span><span>Softwares</span></h1><ulclass="doc_itemize"><liclass="doc_item"><pclass="doc_par">Alt-Ergo with floating point (tar)</p></li><liclass="doc_item"><pclass="doc_par">Colibri (tar)</p></li><liclass="doc_item"><pclass="doc_par">Popop (tar)</p></li><liclass="doc_item"><pclass="doc_par">OCI (<aclass="doc_lnk"href="http://github.com/bobot/OCI/">github</a>)</p></li><liclass="doc_item"><pclass="doc_par">ocplib-simplex (<aclass="doc_lnk"href="https://github.com/OCamlPro-Iguernlala/ocplib-simplex/">github</a>)</p></li></ul><h1id="doc:a:3"class="doc_sec"><spanclass="doc_order">3</span><span>ANR</span></h1><ulclass="doc_itemize"><liclass="doc_item"><pclass="doc_par">Formulaire du compte-rendu intermédiaire (<aclass="doc_lnk"href="downloads/Formulaire_Compte-rendu_intermediaire.pdf">pdf</a>, <aclass="doc_lnk"href="downloads/Formulaire_Compte-rendu_intermediaire.docx">docx</a>)</p></li><liclass="doc_item"><pclass="doc_par">Accord de consortium (<aclass="doc_lnk"href="downloads/Accord_de_consortium_X22760.pdf">pdf</a>)</p></li></ul><h1id="doc:a:4"class="doc_sec"><spanclass="doc_order">4</span><span>Meetings</span></h1><ulclass="doc_itemize"><liclass="doc_item"><pclass="doc_par">14/01/2015: Kick-off (<aclass="doc_lnk"href="downloads/kickoff_intro.pdf">Introduction</a>, <aclass="doc_lnk"href="downloads/gatel_soprano.pdf">COLIBRI</a>, <aclass="doc_lnk"href="downloads/kickoff_popop.pdf">Popop (SOPRANO Solver)</a>)</p></li><liclass="doc_item"><pclass="doc_par">05/06/2015: Floating Point Arithmetic (<aclass="doc_lnk"href="downloads/colibri_delta.pdf">Delta in COLIBRI</a>)</p></li><liclass="doc_item"><pclass="doc_par">08/06/2015: Non-linear arithmetic</p></li><liclass="doc_item"><pclass="doc_par">07/10/2015: Discussions about FPA in Alt-Ergo</p></li><liclass="doc_item"><pclass="doc_par">08/01/2016: <aclass="doc_lnk"href="downloads/OCI.pdf">OCI</a>; Improvements on FPA on hard problems (<aclass="doc_lnk"href="downloads/real_fp_behavior.pdf">Colibri FPA improvements</a>); <aclass="doc_lnk"href="downloads/bitvector_jan8.odp">Bitvectors</a> in Colibri</p></li><liclass="doc_item"><pclass="doc_par">01/07/2016: Improvement of FPA in Alt-Ergo; Lesson on the tentative of COLIBRI at SMTCOMP; States of Popop</p></li></ul><h1id="doc:a:5"class="doc_sec"><spanclass="doc_order">5</span><span>Communications</span></h1><ulclass="doc_itemize"><liclass="doc_item"><pclass="doc_par"><aclass="doc_lnk"href="downloads/CPmeetsVerifV3.odp">Bit-vectors and Integer domains for SMT solving</a>, Zakaria Chihani, CP meets Verification 2016 Workshop</p></li><liclass="doc_item"><pclass="doc_par"><aclass="doc_lnk"href="downloads/OCI.pdf">OCI : For all you Continuous Integration and Benchmarking needs</a>, François Bobot, OCaml User in PariS (OUPS)</p></li></ul></div></div></div><divid="Menu"><ahref="index.html"title="Home">Home</a><br/><ahref="partners.html"title="Members of the project">Partners</a><br/><ahref="jobs.html"title="Job opportunities">Jobs</a><br/><ahref="delivrables.html"title="Delivrables for the ANR">Delivrables</a><br/><ahref="meetings.html"title="Meetings">Meetings</a><br/><ahref="publications.html"title="Publications">Publications</a><br/><ahref="software.html"title="Software">Software</a><br/><ahref="private_.html"title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
<htmlxmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Private</title><metacharset="utf-8"/><linkrel="stylesheet"href="css/main.css"/><linkrel="stylesheet"href="css/lambdoc.css"/></head><body><divid="Header"><ahref="index.html"title="Home"style="font-size: 200%; margin-right:10px;">SOPRANO</a>Private</div><divid="Content"><divclass="readable_div"><divclass="doc doc_valid"><h1id="doc:a:1"class="doc_sec"><spanclass="doc_order">1</span><span>Delivrables</span></h1><ulclass="doc_itemize"><liclass="doc_item"><pclass="doc_par">D1.1 (<aclass="doc_lnk"href="downloads/D1_1.pdf">pdf</a>): Requirement Analysis</p></li><liclass="doc_item"><pclass="doc_par">D1.2 (<aclass="doc_lnk"href="downloads/D1_2.pdf">pdf</a>, <aclass="doc_lnk"href="downloads/D1_2.tar.gz">tar.gz</a>): Set of Benchmarks</p></li><liclass="doc_item"><pclass="doc_par">D1.3 (<aclass="doc_lnk"href="downloads/D1_3.pdf">pdf</a>, <aclass="doc_lnk"href="downloads/D1_3.tar.gz">tar.gz</a>): Benchmark Environment (OCI)</p></li><liclass="doc_item"><pclass="doc_par">D4.1 (<aclass="doc_lnk"href="downloads/Deliverable-1.4-FPA-in-Alt-Ergo.tar.gz">tar.gz</a>): Floating Point Arithmetic in Alt-Ergo</p></li><liclass="doc_item"><pclass="doc_par">D4.2 (<aclass="doc_lnk"href="downloads/D4_2.pdf">pdf</a>, <aclass="doc_lnk"href="downloads/D4_2.tar.gz">tar.gz</a>): Preliminary Implementation of the SOPRANO-solver (Popop)</p></li><liclass="doc_item"><pclass="doc_par">D2.1 and D2.2 (<aclass="doc_lnk"href="downloads/D2_1-D2_2.pdf">pdf</a>) : Combination frameworks</p></li><liclass="doc_item"><pclass="doc_par">D3.1 (<aclass="doc_lnk"href="downloads/D3_1.pdf">pdf</a>): Floating Point Arithmetic Solver</p></li></ul><h1id="doc:a:2"class="doc_sec"><spanclass="doc_order">2</span><span>Softwares</span></h1><ulclass="doc_itemize"><liclass="doc_item"><pclass="doc_par">Alt-Ergo with floating point (tar)</p></li><liclass="doc_item"><pclass="doc_par">Colibri (tar)</p></li><liclass="doc_item"><pclass="doc_par">Popop (tar)</p></li><liclass="doc_item"><pclass="doc_par">OCI (<aclass="doc_lnk"href="http://github.com/bobot/OCI/">github</a>)</p></li><liclass="doc_item"><pclass="doc_par">ocplib-simplex (<aclass="doc_lnk"href="https://github.com/OCamlPro-Iguernlala/ocplib-simplex/">github</a>)</p></li></ul><h1id="doc:a:3"class="doc_sec"><spanclass="doc_order">3</span><span>ANR</span></h1><ulclass="doc_itemize"><liclass="doc_item"><pclass="doc_par">Formulaire du compte-rendu intermédiaire (<aclass="doc_lnk"href="downloads/Formulaire_Compte-rendu_intermediaire.pdf">pdf</a>, <aclass="doc_lnk"href="downloads/Formulaire_Compte-rendu_intermediaire.docx">docx</a>)</p></li><liclass="doc_item"><pclass="doc_par">Accord de consortium (<aclass="doc_lnk"href="downloads/Accord_de_consortium_X22760.pdf">pdf</a>)</p></li></ul><h1id="doc:a:4"class="doc_sec"><spanclass="doc_order">4</span><span>Meetings</span></h1><ulclass="doc_itemize"><liclass="doc_item"><pclass="doc_par">14/01/2015: Kick-off (<aclass="doc_lnk"href="downloads/kickoff_intro.pdf">Introduction</a>, <aclass="doc_lnk"href="downloads/gatel_soprano.pdf">COLIBRI</a>, <aclass="doc_lnk"href="downloads/kickoff_popop.pdf">Popop (SOPRANO Solver)</a>)</p></li><liclass="doc_item"><pclass="doc_par">05/06/2015: Floating Point Arithmetic (<aclass="doc_lnk"href="downloads/colibri_delta.pdf">Delta in COLIBRI</a>)</p></li><liclass="doc_item"><pclass="doc_par">08/06/2015: Non-linear arithmetic</p></li><liclass="doc_item"><pclass="doc_par">07/10/2015: Discussions about FPA in Alt-Ergo</p></li><liclass="doc_item"><pclass="doc_par">08/01/2016: <aclass="doc_lnk"href="downloads/OCI.pdf">OCI</a>; <aclass="doc_lnk"href="downloads/real_fp_behavior.pdf">Improvements of FPA on hard problems</a>; <aclass="doc_lnk"href="downloads/bitvector_jan8.odp">Bitvectors in Colibri</a></p></li><liclass="doc_item"><pclass="doc_par">01/07/2016: Improvement of FPA in Alt-Ergo; Lesson on the tentative of COLIBRI at SMTCOMP; States of Popop</p></li></ul><h1id="doc:a:5"class="doc_sec"><spanclass="doc_order">5</span><span>Communications</span></h1><ulclass="doc_itemize"><liclass="doc_item"><pclass="doc_par">Bit-vectors and Integer domains for SMT solving (<aclass="doc_lnk"href="downloads/bv_cpmeetverif_abstract.pdf">abstract</a>,<aclass="doc_lnk"href="downloads/CPmeetsVerifV3.odp">slides</a>), Zakaria Chihani, CP meets Verification 2016 Workshop</p></li><liclass="doc_item"><pclass="doc_par">OCI : For all you Continuous Integration and Benchmarking needs (<aclass="doc_lnk"href="downloads/OCI.pdf">slides</a>) , François Bobot, OCaml User in PariS (OUPS)</p></li></ul></div></div></div><divid="Menu"><ahref="index.html"title="Home">Home</a><br/><ahref="partners.html"title="Members of the project">Partners</a><br/><ahref="jobs.html"title="Job opportunities">Jobs</a><br/><ahref="delivrables.html"title="Delivrables for the ANR">Delivrables</a><br/><ahref="meetings.html"title="Meetings">Meetings</a><br/><ahref="publications.html"title="Publications">Publications</a><br/><ahref="software.html"title="Software">Software</a><br/><ahref="private_.html"title="Private">Private</a><br/></div></body></html>