Joey Coleman
What's happening?
-
Overture: Formal ...
joeycoleman pushed 6 commit(s) to refs/heads/development in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-29 06:02:18 PDT in Overture: Formal ...
-
Overture: Formal ...
joeycoleman pushed 2952 commit(s) to refs/heads/development in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-25 01:44:46 PDT in Overture: Formal ...
-
Overture: Formal ...
joeycoleman pushed 0 commit(s) to refs/heads/swo-examples in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-23 02:21:54 PDT in Overture: Formal ...
-
Overture: Formal ...
joeycoleman pushed 1 commit(s) to refs/heads/master in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-23 01:36:59 PDT in Overture: Formal ...
-
Overture: Formal ...
joeycoleman pushed 2950 commit(s) to refs/heads/swo-examples in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-23 01:35:06 PDT in Overture: Formal ...
-
Project import partial failure
The attached file fails to import correctly, if done using Import... > Existing Projects into Workspace. The files will appear and look correct, but when opening one of the VDMPP files the Outline does not appear. If, instead, you create a VDMPP project first, then use Import... > Archive File, it seems to work just fine.
2012-05-21 06:12:52 PDT in Overture: Formal ...
About Me
- 2008-11-04 (4 years ago)
- 2274784
- joeycoleman (My Site)
- Joey Coleman
- https://www.google.com/accounts/o8/id?id=AItOawltZ1QN-AOSDsTHxeoBQWMwFpPBZmnMKnY
Send me a message