18 | | * A '''Virtual Machine''' containing Coq, CoqIDE, Emacs (Proof General and Company Coq), OCaml, BSML, and SyDPaCC version core-0.2 [http://frederic.loulergue.eu/sac2016/sydpacc.ova sydpacc.ova] used during an [http://frederic.loulergue.eu/sac2016 ACM SAC 2016 tutorial] |
19 | | * The '''SyDPaCC''' Framework: [http://frederic.loulergue.eu/ftp/sydpacc-core-0.2pre.tar.gz version core-0.2pre], [http://frederic.loulergue.eu/ftp/SyDPaCC-Core-0.1beta.tar.gz version Core-0.1beta] ([http://www.univ-orleans.fr/lifo/evenements/EJCIM2015 EJC-IM] version), [http://frederic.loulergue.eu/ftp/SyDPaCC-ITP2014.tar.bz2 version ITP2014], [http://frederic.loulergue.eu/ftp/SyDPaCC-Jan2014.tar.bz2 version Jan2014] (requires [http://traclifo.univ-orleans.fr/BSML BSML] for compiling parallel programs) |
| 18 | * A '''Virtual Machine''' containing Coq, CoqIDE, Emacs (Proof General and Company Coq), OCaml, BSML, and SyDPaCC version core-0.2pre [http://frederic.loulergue.eu/sac2016/sydpacc.ova sydpacc.ova] used during an [http://frederic.loulergue.eu/sac2016 ACM SAC 2016 tutorial] |
| 19 | * The '''SyDPaCC''' Framework: [http://frederic.loulergue.eu/ftp/sydpacc-core-0.2.tar.gz version core-0.2], [http://frederic.loulergue.eu/ftp/SyDPaCC-Core-0.1beta.tar.gz version Core-0.1beta] ([http://www.univ-orleans.fr/lifo/evenements/EJCIM2015 EJC-IM] version), [http://frederic.loulergue.eu/ftp/SyDPaCC-ITP2014.tar.bz2 version ITP2014], [http://frederic.loulergue.eu/ftp/SyDPaCC-Jan2014.tar.bz2 version Jan2014] (requires [http://traclifo.univ-orleans.fr/BSML BSML] for compiling parallel programs) |