/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel2boogie/tests/tests.ecf
ViewVC logotype

Log of /branches/eth/eve/Src/framework/eiffel2boogie/tests/tests.ecf

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Sticky Revision:

Revision 93597 - (view) (annotate) - [select for diffs]
Modified Tue Dec 3 00:48:44 2013 UTC (5 years, 10 months ago) by julian
File length: 2184 byte(s)
Diff to previous 93528
AutoProof: special translation for lemma and functional

Revision 93528 - (view) (annotate) - [select for diffs]
Modified Mon Nov 25 20:45:28 2013 UTC (5 years, 10 months ago) by polikarn
File length: 2174 byte(s)
Diff to previous 93349
Replaced the Writes variable by a constant with a free precondition.

Revision 93349 - (view) (annotate) - [select for diffs]
Modified Wed Nov 13 17:15:59 2013 UTC (5 years, 11 months ago) by julian
File length: 2310 byte(s)
Diff to previous 93319
AutoProof: added predicates for partial invariants

Revision 93319 - (view) (annotate) - [select for diffs]
Modified Tue Nov 12 17:05:13 2013 UTC (5 years, 11 months ago) by julian
File length: 1620 byte(s)
Diff to previous 93306
AutoProof: improved some ownership examples.

Revision 93306 - (view) (annotate) - [select for diffs]
Modified Mon Nov 11 16:45:33 2013 UTC (5 years, 11 months ago) by julian
File length: 1186 byte(s)
Diff to previous 93302
AutoProof: Continued with ownership implementation.
AutoProof: Added PIP example and fixed OOM example.

Revision 93302 - (view) (annotate) - [select for diffs]
Modified Mon Nov 11 07:04:29 2013 UTC (5 years, 11 months ago) by julian
File length: 1179 byte(s)
Diff to previous 93175
AutoProof: added defaults in invariant clause for ownership.

Revision 93175 - (view) (annotate) - [select for diffs]
Modified Mon Oct 28 16:27:38 2013 UTC (5 years, 11 months ago) by julian
File length: 1072 byte(s)
Diff to previous 92755
AutoProof: initial refactoring for routine translators.
AutoProof: added two examples.

Revision 92755 - (view) (annotate) - [select for diffs]
Added Fri Jun 28 15:47:41 2013 UTC (6 years, 3 months ago) by julian
File length: 1027 byte(s)
AutoProof: added test infrastructure.

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.23