Diomidis Spinellis f69ec7af12 Assertion code specifications are introduced using special character
sequences that are distinct from comments. %% is used for argument
locks; %! for pre- and post-conditions.
2006-05-30 20:49:54 +00:00
..
2006-03-23 08:48:37 +00:00
2006-04-17 20:14:51 +00:00
2006-01-27 23:06:08 +00:00
2005-12-23 21:32:40 +00:00
2006-03-03 22:36:52 +00:00
2005-12-04 02:12:43 +00:00
2005-12-28 17:13:31 +00:00
2006-05-19 06:37:24 +00:00
2006-05-28 22:15:28 +00:00
2005-03-14 06:51:29 +00:00
2006-03-23 08:48:37 +00:00