Isabelle

Isabelle group on facebook

I’ve created a facebook group related to Isabelle. I hope to get people working with Isabelle onto that group for collaboration. If you’re interested in either Isabelle or formal verification, join up!

http://www.facebook.com/group.php?gid=18553699736&ref=nf

Advertisements
Articles, Tutorials, VB.net

Deploying Visual Studio.net + Crystal Reports Projects

If you’ve been having trouble with deployment of Visual Studio .net 2005 (C# or VB) applications which use Crystal Reports, rest assured.  You’re not alone. You can find many posts and blogs saying you should add the merge modules but if you’re having problems getting the setup to work, here’s the solution:

  1. First, search for this file (the CR.net redistributable package): cr_net_2005_mergemodules_mlb_x86.zip
  2. Extract it to get this file (merge module):
    CrystalReportsRedist2005_x86.msm
  3. Create a new “Setup Project” in your solution. (I’m assuming you’re comfortable with this stuff.)
  4. Right-click on the setup project and Add->Merge Modules.
  5. Browse to give the extracted merge module. It should be added to your setup project.
  6. Now, right-click on setup project again and click on Properties.
  7. In the properties dialog, click on Prerequisites.
  8. Check .Net framework, Crystal Reports and Microsoft Data Access Components (MDAC)
  9. Also, select Download from the Same Location as Project Setup (or something to that effect…. I don’t have VS.Net in front of me right now).
  10. Build the setup project and see the extra files there!
  11. Any Questions?