├── .cvsignore ├── .gitignore ├── CHANGES ├── LICENSE ├── META ├── Makefile.in ├── README.md ├── TODO ├── binary.ml ├── binary.mli ├── configure.in ├── control.ml ├── cores.ml ├── doc ├── .cvsignore ├── Common_man.jpg ├── Diagram1.dia ├── Makefile ├── cnrs-logo2.jpg ├── icfp-2010 │ ├── .cvsignore │ ├── Makefile │ ├── biblio.bib │ ├── figures.ml │ ├── main.tex │ ├── main2.tex │ ├── response.txt │ ├── sigplanconf.cls │ ├── state.mps │ └── time.ml ├── jfla-2011 │ ├── .cvsignore │ ├── Makefile │ ├── actes.sty │ ├── biblio.bib │ ├── figures.ml │ ├── jfla_2011_final_style │ │ ├── .cvsignore │ │ ├── Makefile │ │ ├── actes.sty │ │ ├── algorithm.sty │ │ ├── biblio.bib │ │ ├── figures.ml │ │ ├── main-pp.tex │ │ ├── main.tex │ │ ├── state.mps │ │ └── studia-Hermann.cls │ ├── main.tex │ ├── main2.tex │ ├── reviews.txt │ └── talk │ │ ├── .cvsignore │ │ ├── Makefile │ │ ├── figures.ml │ │ ├── fr-slides.tex │ │ ├── mandelbrot.png │ │ ├── slides.tex │ │ ├── whizzy.el │ │ └── whizzy.sh ├── lrilogo.jpg ├── ml-workshop-2010 │ ├── .cvsignore │ ├── Makefile │ ├── main.tex │ └── sigplanconf.cls ├── mr-new.png ├── mrfigure.png ├── mrwordcount.png ├── report │ ├── .cvsignore │ ├── Makefile │ ├── biblio.bib │ ├── figures.ml │ ├── main.tex │ └── related-work.txt ├── saclay.jpg ├── slides.tex ├── tfp-2011 │ ├── .cvsignore │ ├── Makefile │ ├── biblio.bib │ ├── figures.ml │ ├── llncs.cls │ ├── main.tex │ ├── related-work.txt │ ├── slides │ │ ├── .cvsignore │ │ ├── Makefile │ │ ├── Makefile_OLD │ │ ├── cnrs-logo2.jpg │ │ ├── figures.ml │ │ ├── inria-saclay.jpeg │ │ ├── lrilogo.jpg │ │ ├── master_workers_1.mps │ │ ├── master_workers_aborted.mps │ │ ├── master_workers_assign.mps │ │ ├── master_workers_assign_2.mps │ │ ├── master_workers_completed.mps │ │ ├── master_workers_completed_2.mps │ │ ├── master_workers_cores.mps │ │ ├── master_workers_disconnection.mps │ │ ├── master_workers_kill.mps │ │ ├── master_workers_network.mps │ │ ├── master_workers_ping.mps │ │ ├── master_workers_pong.mps │ │ ├── master_workers_stop.mps │ │ ├── saclay.jpg │ │ ├── slides-pp.tex │ │ ├── slides.tex │ │ ├── state.mps │ │ └── upsudlogo.jpg │ └── tfp07symp.cls ├── tfp_2011_final │ ├── .cvsignore │ ├── Makefile │ ├── biblio.bib │ ├── chart1.pdf │ ├── chart_text.txt │ ├── copyright-form.pdf │ ├── figures.ml │ ├── llncs.cls │ ├── main.tex │ ├── related-work.txt │ ├── signed-copyright-form.pdf │ ├── slides │ │ ├── cnrs-logo2.jpg │ │ ├── figures.ml │ │ ├── inria-saclay.jpeg │ │ ├── lrilogo.jpg │ │ ├── master_workers_1.mps │ │ ├── master_workers_aborted.mps │ │ ├── master_workers_assign.mps │ │ ├── master_workers_assign_2.mps │ │ ├── master_workers_completed.mps │ │ ├── master_workers_completed_2.mps │ │ ├── master_workers_cores.mps │ │ ├── master_workers_disconnection.mps │ │ ├── master_workers_kill.mps │ │ ├── master_workers_network.mps │ │ ├── master_workers_ping.mps │ │ ├── master_workers_pong.mps │ │ ├── master_workers_stop.mps │ │ ├── saclay.jpg │ │ ├── slides-pp.aux │ │ ├── slides-pp.log │ │ ├── slides-pp.nav │ │ ├── slides-pp.out │ │ ├── slides-pp.pdf │ │ ├── slides-pp.snm │ │ ├── slides-pp.tex │ │ ├── slides-pp.toc │ │ ├── slides.tex │ │ ├── state.mps │ │ └── upsudlogo.jpg │ ├── state.mps │ ├── test.txt │ └── tfp07symp.cls ├── upsudlogo.jpg ├── whizzy.el └── whizzy.sh ├── functory.mli ├── map_fold.ml ├── master_test.ml ├── misc ├── headache_config.txt └── header.txt ├── network.ml ├── network_test.ml ├── protocol.ml ├── protocol.mli ├── sequential.ml ├── test-network.sh ├── test.ml ├── tests ├── fault │ ├── .cvsignore │ └── main.ml ├── mandelbrot │ ├── .cvsignore │ ├── gquad.ml │ ├── main.ml │ ├── main_poly.ml │ ├── plot.data │ └── quad_poly.ml ├── n-queens │ ├── .cvsignore │ ├── main.ml │ └── main64.ml ├── pasco │ ├── .cvsignore │ ├── dpoly.ml │ ├── gcd │ │ ├── .cvsignore │ │ ├── Makefile │ │ ├── ref.c │ │ └── spec │ ├── gcdpol.ml │ ├── gmptest.ml │ ├── mat │ │ └── intmatmul.cpp │ ├── matmul.ml │ ├── poly.ml │ └── poly2.ml ├── provers │ ├── .cvsignore │ ├── files │ │ ├── binary_search_po1.why │ │ ├── binary_search_po10.why │ │ ├── binary_search_po11.why │ │ ├── binary_search_po12.why │ │ ├── binary_search_po13.why │ │ ├── binary_search_po14.why │ │ ├── binary_search_po15.why │ │ ├── binary_search_po16.why │ │ ├── binary_search_po17.why │ │ ├── binary_search_po18.why │ │ ├── binary_search_po2.why │ │ ├── binary_search_po3.why │ │ ├── binary_search_po4.why │ │ ├── binary_search_po5.why │ │ ├── binary_search_po6.why │ │ ├── binary_search_po7.why │ │ ├── binary_search_po8.why │ │ └── binary_search_po9.why │ ├── main.ml │ └── results.txt ├── sort-nfs │ ├── .cvsignore │ └── main.ml ├── sort │ ├── .cvsignore │ ├── Makefile │ ├── bench.ml │ └── main.ml └── sums │ ├── .cvsignore │ └── main.ml ├── worker_test.ml └── www ├── About.html ├── About_files ├── About.css ├── About.js ├── AboutIE.css └── AboutMoz.css ├── Makefile ├── Media └── transparent.gif ├── Mini-Tutorial.html ├── Mini-Tutorial_files ├── Mini-Tutorial.css ├── Mini-Tutorial.js ├── Mini-TutorialIE.css └── Mini-TutorialMoz.css ├── Scripts └── iWebSite.js ├── feed.xml └── index.html /.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/.cvsignore -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/CHANGES -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/LICENSE -------------------------------------------------------------------------------- /META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/META -------------------------------------------------------------------------------- /Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/Makefile.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/README.md -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/TODO -------------------------------------------------------------------------------- /binary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/binary.ml -------------------------------------------------------------------------------- /binary.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/binary.mli -------------------------------------------------------------------------------- /configure.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/configure.in -------------------------------------------------------------------------------- /control.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/control.ml -------------------------------------------------------------------------------- /cores.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/cores.ml -------------------------------------------------------------------------------- /doc/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/.cvsignore -------------------------------------------------------------------------------- /doc/Common_man.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/Common_man.jpg -------------------------------------------------------------------------------- /doc/Diagram1.dia: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/Diagram1.dia -------------------------------------------------------------------------------- /doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/Makefile -------------------------------------------------------------------------------- /doc/cnrs-logo2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/cnrs-logo2.jpg -------------------------------------------------------------------------------- /doc/icfp-2010/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/icfp-2010/.cvsignore -------------------------------------------------------------------------------- /doc/icfp-2010/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/icfp-2010/Makefile -------------------------------------------------------------------------------- /doc/icfp-2010/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/icfp-2010/biblio.bib -------------------------------------------------------------------------------- /doc/icfp-2010/figures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/icfp-2010/figures.ml -------------------------------------------------------------------------------- /doc/icfp-2010/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/icfp-2010/main.tex -------------------------------------------------------------------------------- /doc/icfp-2010/main2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/icfp-2010/main2.tex -------------------------------------------------------------------------------- /doc/icfp-2010/response.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/icfp-2010/response.txt -------------------------------------------------------------------------------- /doc/icfp-2010/sigplanconf.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/icfp-2010/sigplanconf.cls -------------------------------------------------------------------------------- /doc/icfp-2010/state.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/icfp-2010/state.mps -------------------------------------------------------------------------------- /doc/icfp-2010/time.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/icfp-2010/time.ml -------------------------------------------------------------------------------- /doc/jfla-2011/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/.cvsignore -------------------------------------------------------------------------------- /doc/jfla-2011/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/Makefile -------------------------------------------------------------------------------- /doc/jfla-2011/actes.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/actes.sty -------------------------------------------------------------------------------- /doc/jfla-2011/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/biblio.bib -------------------------------------------------------------------------------- /doc/jfla-2011/figures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/figures.ml -------------------------------------------------------------------------------- /doc/jfla-2011/jfla_2011_final_style/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/jfla_2011_final_style/.cvsignore -------------------------------------------------------------------------------- /doc/jfla-2011/jfla_2011_final_style/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/jfla_2011_final_style/Makefile -------------------------------------------------------------------------------- /doc/jfla-2011/jfla_2011_final_style/actes.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/jfla_2011_final_style/actes.sty -------------------------------------------------------------------------------- /doc/jfla-2011/jfla_2011_final_style/algorithm.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/jfla_2011_final_style/algorithm.sty -------------------------------------------------------------------------------- /doc/jfla-2011/jfla_2011_final_style/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/jfla_2011_final_style/biblio.bib -------------------------------------------------------------------------------- /doc/jfla-2011/jfla_2011_final_style/figures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/jfla_2011_final_style/figures.ml -------------------------------------------------------------------------------- /doc/jfla-2011/jfla_2011_final_style/main-pp.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/jfla_2011_final_style/main-pp.tex -------------------------------------------------------------------------------- /doc/jfla-2011/jfla_2011_final_style/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/jfla_2011_final_style/main.tex -------------------------------------------------------------------------------- /doc/jfla-2011/jfla_2011_final_style/state.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/jfla_2011_final_style/state.mps -------------------------------------------------------------------------------- /doc/jfla-2011/jfla_2011_final_style/studia-Hermann.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/jfla_2011_final_style/studia-Hermann.cls -------------------------------------------------------------------------------- /doc/jfla-2011/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/main.tex -------------------------------------------------------------------------------- /doc/jfla-2011/main2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/main2.tex -------------------------------------------------------------------------------- /doc/jfla-2011/reviews.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/reviews.txt -------------------------------------------------------------------------------- /doc/jfla-2011/talk/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/talk/.cvsignore -------------------------------------------------------------------------------- /doc/jfla-2011/talk/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/talk/Makefile -------------------------------------------------------------------------------- /doc/jfla-2011/talk/figures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/talk/figures.ml -------------------------------------------------------------------------------- /doc/jfla-2011/talk/fr-slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/talk/fr-slides.tex -------------------------------------------------------------------------------- /doc/jfla-2011/talk/mandelbrot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/talk/mandelbrot.png -------------------------------------------------------------------------------- /doc/jfla-2011/talk/slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/talk/slides.tex -------------------------------------------------------------------------------- /doc/jfla-2011/talk/whizzy.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/jfla-2011/talk/whizzy.el -------------------------------------------------------------------------------- /doc/jfla-2011/talk/whizzy.sh: -------------------------------------------------------------------------------- 1 | export MKSLICE="latexpp -w -g color yes" 2 | -------------------------------------------------------------------------------- /doc/lrilogo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/lrilogo.jpg -------------------------------------------------------------------------------- /doc/ml-workshop-2010/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/ml-workshop-2010/.cvsignore -------------------------------------------------------------------------------- /doc/ml-workshop-2010/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/ml-workshop-2010/Makefile -------------------------------------------------------------------------------- /doc/ml-workshop-2010/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/ml-workshop-2010/main.tex -------------------------------------------------------------------------------- /doc/ml-workshop-2010/sigplanconf.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/ml-workshop-2010/sigplanconf.cls -------------------------------------------------------------------------------- /doc/mr-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/mr-new.png -------------------------------------------------------------------------------- /doc/mrfigure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/mrfigure.png -------------------------------------------------------------------------------- /doc/mrwordcount.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/mrwordcount.png -------------------------------------------------------------------------------- /doc/report/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/report/.cvsignore -------------------------------------------------------------------------------- /doc/report/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/report/Makefile -------------------------------------------------------------------------------- /doc/report/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/report/biblio.bib -------------------------------------------------------------------------------- /doc/report/figures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/report/figures.ml -------------------------------------------------------------------------------- /doc/report/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/report/main.tex -------------------------------------------------------------------------------- /doc/report/related-work.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/report/related-work.txt -------------------------------------------------------------------------------- /doc/saclay.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/saclay.jpg -------------------------------------------------------------------------------- /doc/slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/slides.tex -------------------------------------------------------------------------------- /doc/tfp-2011/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/.cvsignore -------------------------------------------------------------------------------- /doc/tfp-2011/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/Makefile -------------------------------------------------------------------------------- /doc/tfp-2011/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/biblio.bib -------------------------------------------------------------------------------- /doc/tfp-2011/figures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/figures.ml -------------------------------------------------------------------------------- /doc/tfp-2011/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/llncs.cls -------------------------------------------------------------------------------- /doc/tfp-2011/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/main.tex -------------------------------------------------------------------------------- /doc/tfp-2011/related-work.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/related-work.txt -------------------------------------------------------------------------------- /doc/tfp-2011/slides/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/.cvsignore -------------------------------------------------------------------------------- /doc/tfp-2011/slides/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/Makefile -------------------------------------------------------------------------------- /doc/tfp-2011/slides/Makefile_OLD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/Makefile_OLD -------------------------------------------------------------------------------- /doc/tfp-2011/slides/cnrs-logo2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/cnrs-logo2.jpg -------------------------------------------------------------------------------- /doc/tfp-2011/slides/figures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/figures.ml -------------------------------------------------------------------------------- /doc/tfp-2011/slides/inria-saclay.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/inria-saclay.jpeg -------------------------------------------------------------------------------- /doc/tfp-2011/slides/lrilogo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/lrilogo.jpg -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_1.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_1.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_aborted.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_aborted.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_assign.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_assign.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_assign_2.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_assign_2.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_completed.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_completed.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_completed_2.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_completed_2.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_cores.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_cores.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_disconnection.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_disconnection.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_kill.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_kill.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_network.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_network.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_ping.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_ping.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_pong.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_pong.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/master_workers_stop.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/master_workers_stop.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/saclay.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/saclay.jpg -------------------------------------------------------------------------------- /doc/tfp-2011/slides/slides-pp.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/slides-pp.tex -------------------------------------------------------------------------------- /doc/tfp-2011/slides/slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/slides.tex -------------------------------------------------------------------------------- /doc/tfp-2011/slides/state.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/state.mps -------------------------------------------------------------------------------- /doc/tfp-2011/slides/upsudlogo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/slides/upsudlogo.jpg -------------------------------------------------------------------------------- /doc/tfp-2011/tfp07symp.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp-2011/tfp07symp.cls -------------------------------------------------------------------------------- /doc/tfp_2011_final/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/.cvsignore -------------------------------------------------------------------------------- /doc/tfp_2011_final/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/Makefile -------------------------------------------------------------------------------- /doc/tfp_2011_final/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/biblio.bib -------------------------------------------------------------------------------- /doc/tfp_2011_final/chart1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/chart1.pdf -------------------------------------------------------------------------------- /doc/tfp_2011_final/chart_text.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/chart_text.txt -------------------------------------------------------------------------------- /doc/tfp_2011_final/copyright-form.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/copyright-form.pdf -------------------------------------------------------------------------------- /doc/tfp_2011_final/figures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/figures.ml -------------------------------------------------------------------------------- /doc/tfp_2011_final/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/llncs.cls -------------------------------------------------------------------------------- /doc/tfp_2011_final/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/main.tex -------------------------------------------------------------------------------- /doc/tfp_2011_final/related-work.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/related-work.txt -------------------------------------------------------------------------------- /doc/tfp_2011_final/signed-copyright-form.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/signed-copyright-form.pdf -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/cnrs-logo2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/cnrs-logo2.jpg -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/figures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/figures.ml -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/inria-saclay.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/inria-saclay.jpeg -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/lrilogo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/lrilogo.jpg -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_1.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_1.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_aborted.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_aborted.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_assign.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_assign.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_assign_2.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_assign_2.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_completed.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_completed.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_completed_2.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_completed_2.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_cores.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_cores.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_disconnection.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_disconnection.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_kill.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_kill.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_network.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_network.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_ping.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_ping.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_pong.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_pong.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/master_workers_stop.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/master_workers_stop.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/saclay.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/saclay.jpg -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/slides-pp.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/slides-pp.aux -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/slides-pp.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/slides-pp.log -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/slides-pp.nav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/slides-pp.nav -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/slides-pp.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/slides-pp.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/slides-pp.pdf -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/slides-pp.snm: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/slides-pp.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/slides-pp.tex -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/slides-pp.toc: -------------------------------------------------------------------------------- 1 | \beamer@endinputifotherversion {3.07pt} 2 | -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/slides.tex -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/state.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/state.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/slides/upsudlogo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/slides/upsudlogo.jpg -------------------------------------------------------------------------------- /doc/tfp_2011_final/state.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/state.mps -------------------------------------------------------------------------------- /doc/tfp_2011_final/test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/test.txt -------------------------------------------------------------------------------- /doc/tfp_2011_final/tfp07symp.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/tfp_2011_final/tfp07symp.cls -------------------------------------------------------------------------------- /doc/upsudlogo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/upsudlogo.jpg -------------------------------------------------------------------------------- /doc/whizzy.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/whizzy.el -------------------------------------------------------------------------------- /doc/whizzy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/doc/whizzy.sh -------------------------------------------------------------------------------- /functory.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/functory.mli -------------------------------------------------------------------------------- /map_fold.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/map_fold.ml -------------------------------------------------------------------------------- /master_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/master_test.ml -------------------------------------------------------------------------------- /misc/headache_config.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/misc/headache_config.txt -------------------------------------------------------------------------------- /misc/header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/misc/header.txt -------------------------------------------------------------------------------- /network.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/network.ml -------------------------------------------------------------------------------- /network_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/network_test.ml -------------------------------------------------------------------------------- /protocol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/protocol.ml -------------------------------------------------------------------------------- /protocol.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/protocol.mli -------------------------------------------------------------------------------- /sequential.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/sequential.ml -------------------------------------------------------------------------------- /test-network.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/test-network.sh -------------------------------------------------------------------------------- /test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/test.ml -------------------------------------------------------------------------------- /tests/fault/.cvsignore: -------------------------------------------------------------------------------- 1 | a.out 2 | -------------------------------------------------------------------------------- /tests/fault/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/fault/main.ml -------------------------------------------------------------------------------- /tests/mandelbrot/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/mandelbrot/.cvsignore -------------------------------------------------------------------------------- /tests/mandelbrot/gquad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/mandelbrot/gquad.ml -------------------------------------------------------------------------------- /tests/mandelbrot/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/mandelbrot/main.ml -------------------------------------------------------------------------------- /tests/mandelbrot/main_poly.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/mandelbrot/main_poly.ml -------------------------------------------------------------------------------- /tests/mandelbrot/plot.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/mandelbrot/plot.data -------------------------------------------------------------------------------- /tests/mandelbrot/quad_poly.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/mandelbrot/quad_poly.ml -------------------------------------------------------------------------------- /tests/n-queens/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/n-queens/.cvsignore -------------------------------------------------------------------------------- /tests/n-queens/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/n-queens/main.ml -------------------------------------------------------------------------------- /tests/n-queens/main64.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/n-queens/main64.ml -------------------------------------------------------------------------------- /tests/pasco/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/.cvsignore -------------------------------------------------------------------------------- /tests/pasco/dpoly.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/dpoly.ml -------------------------------------------------------------------------------- /tests/pasco/gcd/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/gcd/.cvsignore -------------------------------------------------------------------------------- /tests/pasco/gcd/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/gcd/Makefile -------------------------------------------------------------------------------- /tests/pasco/gcd/ref.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/gcd/ref.c -------------------------------------------------------------------------------- /tests/pasco/gcd/spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/gcd/spec -------------------------------------------------------------------------------- /tests/pasco/gcdpol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/gcdpol.ml -------------------------------------------------------------------------------- /tests/pasco/gmptest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/gmptest.ml -------------------------------------------------------------------------------- /tests/pasco/mat/intmatmul.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/mat/intmatmul.cpp -------------------------------------------------------------------------------- /tests/pasco/matmul.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/matmul.ml -------------------------------------------------------------------------------- /tests/pasco/poly.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/poly.ml -------------------------------------------------------------------------------- /tests/pasco/poly2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/pasco/poly2.ml -------------------------------------------------------------------------------- /tests/provers/.cvsignore: -------------------------------------------------------------------------------- 1 | a.out 2 | -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po1.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po1.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po10.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po10.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po11.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po11.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po12.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po12.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po13.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po13.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po14.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po14.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po15.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po15.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po16.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po16.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po17.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po17.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po18.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po18.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po2.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po2.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po3.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po3.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po4.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po4.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po5.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po5.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po6.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po6.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po7.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po7.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po8.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po8.why -------------------------------------------------------------------------------- /tests/provers/files/binary_search_po9.why: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/files/binary_search_po9.why -------------------------------------------------------------------------------- /tests/provers/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/main.ml -------------------------------------------------------------------------------- /tests/provers/results.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/provers/results.txt -------------------------------------------------------------------------------- /tests/sort-nfs/.cvsignore: -------------------------------------------------------------------------------- 1 | a.out 2 | -------------------------------------------------------------------------------- /tests/sort-nfs/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/sort-nfs/main.ml -------------------------------------------------------------------------------- /tests/sort/.cvsignore: -------------------------------------------------------------------------------- 1 | a.out 2 | file-* 3 | -------------------------------------------------------------------------------- /tests/sort/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/sort/Makefile -------------------------------------------------------------------------------- /tests/sort/bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/sort/bench.ml -------------------------------------------------------------------------------- /tests/sort/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/sort/main.ml -------------------------------------------------------------------------------- /tests/sums/.cvsignore: -------------------------------------------------------------------------------- 1 | a.out 2 | -------------------------------------------------------------------------------- /tests/sums/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/tests/sums/main.ml -------------------------------------------------------------------------------- /worker_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/worker_test.ml -------------------------------------------------------------------------------- /www/About.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/About.html -------------------------------------------------------------------------------- /www/About_files/About.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/About_files/About.css -------------------------------------------------------------------------------- /www/About_files/About.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/About_files/About.js -------------------------------------------------------------------------------- /www/About_files/AboutIE.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/About_files/AboutIE.css -------------------------------------------------------------------------------- /www/About_files/AboutMoz.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/About_files/AboutMoz.css -------------------------------------------------------------------------------- /www/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/Makefile -------------------------------------------------------------------------------- /www/Media/transparent.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/Media/transparent.gif -------------------------------------------------------------------------------- /www/Mini-Tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/Mini-Tutorial.html -------------------------------------------------------------------------------- /www/Mini-Tutorial_files/Mini-Tutorial.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/Mini-Tutorial_files/Mini-Tutorial.css -------------------------------------------------------------------------------- /www/Mini-Tutorial_files/Mini-Tutorial.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/Mini-Tutorial_files/Mini-Tutorial.js -------------------------------------------------------------------------------- /www/Mini-Tutorial_files/Mini-TutorialIE.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/Mini-Tutorial_files/Mini-TutorialIE.css -------------------------------------------------------------------------------- /www/Mini-Tutorial_files/Mini-TutorialMoz.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/Mini-Tutorial_files/Mini-TutorialMoz.css -------------------------------------------------------------------------------- /www/Scripts/iWebSite.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/Scripts/iWebSite.js -------------------------------------------------------------------------------- /www/feed.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/feed.xml -------------------------------------------------------------------------------- /www/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/functory/HEAD/www/index.html --------------------------------------------------------------------------------