/[eiffelstudio]/trunk/research
ViewVC logotype

Log of /trunk/research

View Directory Listing Directory Listing


Sticky Revision:

Revision 103247 - Directory Listing
Modified Fri May 31 07:32:21 2019 UTC (2 months, 2 weeks ago) by alexk
Changed ECF schema version to use recent defaults.

Revision 103246 - Directory Listing
Modified Fri May 31 07:30:28 2019 UTC (2 months, 2 weeks ago) by alexk
Supported file names in Unicode.
Replaced arrays with arrayed lists to avoid using obsolete features and to move towards void safety.
Used standard classes instead of those from Gobo.
Replaced reverse assignments with object tests.
Relied on standard layout to lookup files.
Replaced standard loops with ITERABLE-based ones.
Added error reporting when some required features are not found in the standard classes.
Added PREDICATE to the list of known agent types.


Revision 103245 - Directory Listing
Modified Fri May 31 07:11:59 2019 UTC (2 months, 2 weeks ago) by alexk
Removed unused local variables.

Revision 103244 - Directory Listing
Modified Fri May 31 07:07:26 2019 UTC (2 months, 2 weeks ago) by alexk
Added a feature to check whether a 32-bit string is a valid name.

Revision 103243 - Directory Listing
Modified Fri May 31 07:05:50 2019 UTC (2 months, 2 weeks ago) by alexk
Removed an empty description.

Revision 103242 - Directory Listing
Modified Fri May 31 07:04:56 2019 UTC (2 months, 2 weeks ago) by alexk
Replaced a comparison against a manifest constant with a specific query

Revision 103241 - Directory Listing
Modified Fri May 31 07:03:46 2019 UTC (2 months, 2 weeks ago) by alexk
Enabled warnings.

Revision 103240 - Directory Listing
Modified Fri May 31 07:00:25 2019 UTC (2 months, 2 weeks ago) by alexk
Removed an empty argument list.

Revision 102682 - Directory Listing
Modified Fri Dec 28 21:18:39 2018 UTC (7 months, 3 weeks ago) by alexk
Changed formal generic constraints to be non-separate because separate items could be changed by some other processor and break properties of containers relying on items state.

Revision 102681 - Directory Listing
Modified Fri Dec 28 21:14:17 2018 UTC (7 months, 3 weeks ago) by alexk
Moved modify clauses to postconditions.

Revision 102680 - Directory Listing
Modified Fri Dec 28 21:13:20 2018 UTC (7 months, 3 weeks ago) by alexk
Added a configuration file to compile the library in SCOOP mode.

Revision 102672 - Directory Listing
Modified Sat Dec 22 10:51:03 2018 UTC (7 months, 4 weeks ago) by alexk
Moved modify clauses to postconditions.

Revision 102671 - Directory Listing
Modified Sat Dec 22 10:32:04 2018 UTC (7 months, 4 weeks ago) by alexk
Removed redefinitions that violate VDRS(4) when a deferred feature is effected in the class, not redefined.

Revision 102670 - Directory Listing
Modified Sat Dec 22 10:20:00 2018 UTC (7 months, 4 weeks ago) by alexk
Removed redefinitions that violate VDRS(4) when a deferred feature is effected in the class, not redefined.

Revision 102523 - Directory Listing
Modified Fri Nov 23 13:12:53 2018 UTC (8 months, 3 weeks ago) by alexk
Supported built-in conversion of basic types.

Revision 102522 - Directory Listing
Modified Fri Nov 23 12:43:57 2018 UTC (8 months, 3 weeks ago) by alexk
Added protection for the case when MML_SET is not available.

Revision 102418 - Directory Listing
Modified Mon Nov 12 10:44:25 2018 UTC (9 months, 1 week ago) by alexk
Made feature `FIBONACCI.new_cursor` non-class to support current implementation of observers.

Revision 102417 - Directory Listing
Modified Mon Nov 12 09:40:43 2018 UTC (9 months, 1 week ago) by alexk
Moved modify clause to postcondition.

Revision 102353 - Directory Listing
Modified Sun Oct 21 14:53:13 2018 UTC (9 months, 4 weeks ago) by alexk
Made feature `PRIMES.new_cursor` non-class to support current implementation of observers.

Revision 102187 - Directory Listing
Modified Mon Sep 17 12:01:15 2018 UTC (11 months ago) by alexk
Supported assertion tags with spaces that can be used when there are no explicit assertion tags and the corresponding expressions are used instead.

Revision 102186 - Directory Listing
Modified Mon Sep 17 11:44:09 2018 UTC (11 months ago) by alexk
Added missing message formatting.

Revision 102185 - Directory Listing
Modified Mon Sep 17 11:40:22 2018 UTC (11 months ago) by alexk
Used case-insensitive comparison when comparing with `assume`.

Revision 102164 - Directory Listing
Modified Thu Sep 13 16:59:10 2018 UTC (11 months ago) by alexk
Moved modify clauses to postconditions.

Revision 102163 - Directory Listing
Modified Thu Sep 13 16:52:12 2018 UTC (11 months ago) by alexk
Changed processing of modify clauses to have them in postconditions.

Revision 102115 - Directory Listing
Modified Fri Aug 31 14:24:38 2018 UTC (11 months, 2 weeks ago) by alexk
Made code completely void-safe except for features {V_HASH_TABLE}.make, {V_DOUBLY_LINKABLE}.insert_right, {V_DOUBLY_LINKABLE}.remove_right by
	- using design mode for ghost functions returning non-void reference values;
	- initializing local variables referencing ghost state;
	- adding attachment marks;
	- adding formal generic constraints;
	- adding object tests and checks for False when attachment status of an expression is known to the verifier;
	- adding additional checks before object tests so that they are handled by the verifier as expected.
Removed conversion function {TUPLE}.to_mml_set because it does not work well when attachment marks of actual generics of MML_SETs used in comparison or reattachment are different.
Added an ECF (base-safe.ecf) for a version of the base library excluding classes that are not completely void-safe or depend on them:
	- V_DOUBLY_LINKABLE
	- V_DOUBLY_LINKED_LIST
	- V_DOUBLY_LINKED_LIST_ITERATOR
	- V_HASH_SET
	- V_HASH_SET_ITERATOR
	- V_HASH_TABLE
	- V_HASH_TABLE_ITERATOR


Revision 102108 - Directory Listing
Modified Fri Aug 31 11:03:33 2018 UTC (11 months, 2 weeks ago) by alexk
Added initialization of `internal_last_string_`.

Revision 102107 - Directory Listing
Modified Fri Aug 31 10:57:20 2018 UTC (11 months, 2 weeks ago) by alexk
Added an explicit type to a manifest integer to make sure verification passes.

Revision 102102 - Directory Listing
Modified Tue Aug 28 19:59:08 2018 UTC (11 months, 3 weeks ago) by alexk
Ignored a compilation directory.

Revision 102101 - Directory Listing
Modified Tue Aug 28 19:57:27 2018 UTC (11 months, 3 weeks ago) by alexk
Updated to be compatible with full class checking.

Revision 102100 - Directory Listing
Modified Tue Aug 28 19:00:17 2018 UTC (11 months, 3 weeks ago) by alexk
Cosmetics: removed an unnecessary white space character.

Revision 102099 - Directory Listing
Modified Tue Aug 28 18:58:20 2018 UTC (11 months, 3 weeks ago) by alexk
Removed unused local variables.

Revision 102098 - Directory Listing
Modified Tue Aug 28 18:20:47 2018 UTC (11 months, 3 weeks ago) by alexk
Adapted EVE version of the base library to be used with the standard version of this library.
Added scripts to automate conversion of base library classes and ECF to autoproof-aware ones.
Adapted MML library for use with the current Eiffel.
Imported base2 library so that it's code can be updated if needed.


Revision 102092 - Directory Listing
Modified Tue Aug 28 10:37:26 2018 UTC (11 months, 3 weeks ago) by jfiat
Fixed signature to avoid potential catcall.

Revision 102069 - Directory Listing
Added Fri Aug 24 18:15:30 2018 UTC (11 months, 3 weeks ago) by alexk
Added a research directory for projects built on top of official EiffelStudio without the need to duplicate code in branches, perform two-way merges and other maintainance activities. The projects should always be kept up-to-date with the rest of the trunk.

  ViewVC Help
Powered by ViewVC 1.1.23