Nick Battle
What's happening?
-
Overture: Formal ...
nick_battle committed revision 3687 to the Overture: Formal Modelling in VDM SVN repository, changing 1 files.
2012-05-24 13:13:28 PDT in Overture: Formal ...
-
VDMJ
nick_battle committed revision 240 to the VDMJ SVN repository, changing 1 files.
2012-05-24 13:13:15 PDT in VDMJ
-
Comment: Latex coverage table wrong for overloaded names
A partial fix has been checked in for this (SVN 3686), which includes overloads in the coverage table and lists the line number of each overload after the name to distinguish them. An improved fix would show the type signature of the overloads, so leaving this open for now.
2012-05-20 10:22:10 PDT in Overture: Formal ...
-
Overture: Formal ...
nick_battle committed revision 3686 to the Overture: Formal Modelling in VDM SVN repository, changing 1 files.
2012-05-20 10:18:20 PDT in Overture: Formal ...
-
VDMJ
nick_battle committed revision 239 to the VDMJ SVN repository, changing 1 files.
2012-05-20 10:18:13 PDT in VDMJ
-
Latex coverage table wrong for overloaded names
A class with overloaded operations or functions produces a summary table with a single row for the definition name concerned, and shows figures for the last name defined - eg. a definition of op(nat) and op(bool) would produce a single row for the name "op" which included correct coverage details for the op(bool) as that is declared last. The problem is because the names are added...
2012-05-17 06:01:15 PDT in Overture: Formal ...
-
Some VDMUnit error strings cause parser errors
The TestCase class handles errors by trying to compose the VDM expression "Error`throw(message)", where the message is a string literal from the actual error raised. This has to be quoted, so that backslashes and double quotes that occur in the message are turned into legal VDM. But some errors still catch it out. In particular, the following fails: The error exception is: Error...
2012-05-17 05:58:05 PDT in Overture: Formal ...
-
VDMJ
nick_battle committed revision 238 to the VDMJ SVN repository, changing 3 files.
2012-05-11 00:11:07 PDT in VDMJ
-
Overture: Formal ...
nick_battle committed revision 3685 to the Overture: Formal Modelling in VDM SVN repository, changing 3 files.
2012-05-11 00:10:54 PDT in Overture: Formal ...
-
Overture: Formal ...
nick_battle committed revision 3684 to the Overture: Formal Modelling in VDM SVN repository, changing 33 files.
2012-05-07 01:49:11 PDT in Overture: Formal ...
About Me
- 2001-05-13 (11 years ago)
- 218590
- nick_battle (My Site)
- Nick Battle
- http://nick.battle.myopenid.com/
Send me a message