/[eiffelstudio]/branches/eth/eve/Src/framework/eve_blackboard/data/ebb_system_data.e
ViewVC logotype

Log of /branches/eth/eve/Src/framework/eve_blackboard/data/ebb_system_data.e

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 94744 - (view) (annotate) - [select for diffs]
Modified Sun Mar 30 18:26:04 2014 UTC (5 years, 6 months ago) by julian
File length: 6771 byte(s)
Diff to previous 94586
verification assistant: fixed crash on empty clusters

Revision 94586 - (view) (annotate) - [select for diffs]
Modified Tue Mar 11 15:41:40 2014 UTC (5 years, 7 months ago) by julian
File length: 6859 byte(s)
Diff to previous 94556
Fixed integration of AutoProof to Verification Assistant.

Revision 94556 - (view) (annotate) - [select for diffs]
Modified Fri Feb 28 09:44:00 2014 UTC (5 years, 7 months ago) by jasonw
File length: 6858 byte(s)
Diff to previous 84908
<<Merged from trunk#94547.>>

Revision 84908 - (view) (annotate) - [select for diffs]
Modified Fri Nov 12 14:54:50 2010 UTC (8 years, 11 months ago) by julian
File length: 6850 byte(s)
Diff to previous 84902
Set up basic controller (proofs then tests) as default.
Reacting to changes of class invariant.
Fixed bug of AutoTest (Jason).


Revision 84902 - (view) (annotate) - [select for diffs]
Modified Thu Nov 11 15:11:30 2010 UTC (8 years, 11 months ago) by julian
File length: 6865 byte(s)
Diff to previous 84261
Redesigned GUI of verification assistant.
Added manual tool execution to context menu of classes.
Added display of Eiffel2Boogie and AutoTest result.
Added verification score highlighting to features tool.
Started with state controller.

Revision 84261 - (view) (annotate) - [select for diffs]
Modified Mon Aug 23 14:50:18 2010 UTC (9 years, 1 month ago) by julian
File length: 6918 byte(s)
Diff to previous 83814
First version of blackboard system.

Revision 83814 - (view) (annotate) - [select for diffs]
Modified Tue Jul 6 12:00:46 2010 UTC (9 years, 3 months ago) by julian
File length: 4089 byte(s)
Diff to previous 83809
Added simple way for eve proofs to add data to blackboard.

Revision 83809 - (view) (annotate) - [select for diffs]
Added Mon Jul 5 15:26:10 2010 UTC (9 years, 3 months ago) by julian
File length: 4085 byte(s)
Skeleton for blackboard system.

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