Re: (no subject)

From: Roderick Bloem (roderick.bloem@colorado.edu)
Date: Thu Mar 23 2000 - 15:22:13 MST

Next message: uday kiran: "Problem in Vis"

Previous message: Roderick Bloem: "Re: vl2mv"
Maybe in reply to: Abdelillah Mokkedem: "(no subject)"
Next in thread: Wallace, David: "Re:"
Next in thread: Fabio Somenzi: "Language Emptiness"
Next in thread: Fabio Somenzi: "Undeclared Variable"
Next in thread: Fabio Somenzi: "Reachability"
Next in thread: Fabio Somenzi: "Removing State Variables"
Next in thread: Roderick Bloem: "Counterexamples and inputs"
Next in thread: Roderick Bloem: "Re:"
Next in thread: Fabio Somenzi: "Print Commands in VIS"
Next in thread: Roderick Bloem: "Re:"
Next in thread: Roderick Bloem: "Re:"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Abdelillah,

Could you please send us the vl2mv file? (Don't send it to vis-users if
it is confidential.) If you got the .mv from a .v using vl2mv, could
you please also send us the .v file?

Thanks,

Roderick.

Next message: uday kiran: "Problem in Vis"
Previous message: Roderick Bloem: "Re: vl2mv"
Maybe in reply to: Abdelillah Mokkedem: "(no subject)"
Next in thread: Wallace, David: "Re:"
Next in thread: Fabio Somenzi: "Language Emptiness"
Next in thread: Fabio Somenzi: "Undeclared Variable"
Next in thread: Fabio Somenzi: "Reachability"
Next in thread: Fabio Somenzi: "Removing State Variables"
Next in thread: Roderick Bloem: "Counterexamples and inputs"
Next in thread: Roderick Bloem: "Re:"
Next in thread: Fabio Somenzi: "Print Commands in VIS"
Next in thread: Roderick Bloem: "Re:"
Next in thread: Roderick Bloem: "Re:"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b29 : Thu Mar 23 2000 - 15:23:00 MST