* [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