* [Caml-list] Want: VSYML a symbolic simulator for integrated circuits in OCaml @ 2011-01-21 16:36 Joel Reymont 2011-01-21 16:40 ` [Caml-list] " Joel Reymont 2011-01-21 16:45 ` Sylvain Le Gall 0 siblings, 2 replies; 5+ messages in thread From: Joel Reymont @ 2011-01-21 16:36 UTC (permalink / raw) To: caml-list Does anyone have this PDF? I'm not able to download it off of OCamlForge for some reason. Thanks, Joel --- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Caml-list] Re: Want: VSYML a symbolic simulator for integrated circuits in OCaml 2011-01-21 16:36 [Caml-list] Want: VSYML a symbolic simulator for integrated circuits in OCaml Joel Reymont @ 2011-01-21 16:40 ` Joel Reymont 2011-01-21 16:45 ` Joel Reymont 2011-01-21 16:45 ` Sylvain Le Gall 1 sibling, 1 reply; 5+ messages in thread From: Joel Reymont @ 2011-01-21 16:40 UTC (permalink / raw) To: caml-list The presentation is at http://users-tima.imag.fr/vds/ouchet/index_fichiers/publications.html What I'd really love to have is the "High-level symbolic simulation for automatic model extraction" paper that's behind the pay wall :-(. --- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Caml-list] Re: Want: VSYML a symbolic simulator for integrated circuits in OCaml 2011-01-21 16:40 ` [Caml-list] " Joel Reymont @ 2011-01-21 16:45 ` Joel Reymont 0 siblings, 0 replies; 5+ messages in thread From: Joel Reymont @ 2011-01-21 16:45 UTC (permalink / raw) To: caml-list Thank you folks! I got both the presentation and the paper. --- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Caml-list] Re: Want: VSYML a symbolic simulator for integrated circuits in OCaml 2011-01-21 16:36 [Caml-list] Want: VSYML a symbolic simulator for integrated circuits in OCaml Joel Reymont 2011-01-21 16:40 ` [Caml-list] " Joel Reymont @ 2011-01-21 16:45 ` Sylvain Le Gall 2011-01-21 16:49 ` Joel Reymont 1 sibling, 1 reply; 5+ messages in thread From: Sylvain Le Gall @ 2011-01-21 16:45 UTC (permalink / raw) To: caml-list On 21-01-2011, Joel Reymont <joelr1@gmail.com> wrote: > Does anyone have this PDF? > > I'm not able to download it off of OCamlForge for some reason. > > I just downloaded it without problem. Could you tell what is your problem with this ? (error message or whatever) Cheers, Sylvain Le Gall -- My company: http://www.ocamlcore.com Linkedin: http://fr.linkedin.com/in/sylvainlegall Start an OCaml project here: http://forge.ocamlcore.org OCaml blogs: http://planet.ocamlcore.org ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] Re: Want: VSYML a symbolic simulator for integrated circuits in OCaml 2011-01-21 16:45 ` Sylvain Le Gall @ 2011-01-21 16:49 ` Joel Reymont 0 siblings, 0 replies; 5+ messages in thread From: Joel Reymont @ 2011-01-21 16:49 UTC (permalink / raw) To: Sylvain Le Gall; +Cc: caml-list On Jan 21, 2011, at 4:45 PM, Sylvain Le Gall wrote: > I just downloaded it without problem. Could you tell what is your > problem with this ? (error message or whatever) https://forge.ocamlcore.org/docman/view.php/77/34/VSYML-ocaml-meeting-2009.pdf shows me Exiting with error Permission denied. This project's administrator will have to grant you permission to view this page. --- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2011-01-21 16:51 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2011-01-21 16:36 [Caml-list] Want: VSYML a symbolic simulator for integrated circuits in OCaml Joel Reymont 2011-01-21 16:40 ` [Caml-list] " Joel Reymont 2011-01-21 16:45 ` Joel Reymont 2011-01-21 16:45 ` Sylvain Le Gall 2011-01-21 16:49 ` Joel Reymont
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox