Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Activity Not Available

Commits : Listings

Analyzed almost 2 years ago. based on code collected almost 3 years ago.
Jan 25, 2022 — Jan 25, 2023
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'master' of https://github.com/safe-eiffel/ecli
Paul G. Crismer
as pgcrism
More... over 12 years ago
[ADD] Edoc documentation.
Paul G. Crismer
More... over 12 years ago
[FIX] Link documentation together
Paul G. Crismer
as pgcrism
More... over 12 years ago
[FIX] Adapt for voidconfident build
Paul G. Crismer
as pgcrism
More... over 12 years ago
Merge branch 'master' of http://github.com/safe-eiffel/ecli
Paul G. Crismer
as pgcrism
More... over 12 years ago
[FIX] query_assistant voidsafe
Paul G. Crismer
More... over 12 years ago
Merge branch 'master' of http://github.com/safe-eiffel/ecli
Paul G. Crismer
as pgcrism
More... over 12 years ago
[FIX] more fixes
Paul G. Crismer
More... over 12 years ago
[FIX] library.xace and ecli.ecf minor fixes. Ecli.ecf does not work with gec.
Paul G. Crismer
More... over 12 years ago
[FIX] Fixed system.xace
Paul G. Crismer
More... over 12 years ago
[FIX] Fixed possible catcall (thanks gec)
Paul G. Crismer
More... over 12 years ago
[ADD] Add void-confident ecf files for GOBO
Paul G. Crismer
More... over 12 years ago
[Fix] xace and ecf with suffix '-confident'
Paul G. Crismer
More... over 12 years ago
[FIX] Delete 've' compiler support
Paul G. Crismer
More... over 12 years ago
Merge with branch 'voidsafe'
Paul G. Crismer
More... over 12 years ago
[Fix] Various fixes
Paul G. Crismer
as pgcrism
More... over 12 years ago
Merge branch 'master' of http://github.com/safe-eiffel/ecli
Paul G. Crismer
as pgcrism
More... over 12 years ago
[Fix] Improve documentation, simplify.
Paul G. Crismer
as pgcrism
More... over 12 years ago
[FIX] remove attached_... features
Paul G. Crismer
as pgcrism
More... over 12 years ago
Merge branch 'voidsafe' of https://github.com/safe-eiffel/ecli into voidsafe
Paul G. Crismer
More... over 12 years ago
[UPD] Update doc about error handling.
Paul G. Crismer
More... over 12 years ago
[Fix] The implementation of is_deferred has changed.
Paul G. Crismer
More... over 12 years ago
[Fix] Use 'as_attached'
Paul G. Crismer
More... over 12 years ago
[Fix] Indentation
Paul G. Crismer
More... over 12 years ago
[Fix] Suppress comments and unnecessary feature redefinition
Paul G. Crismer
More... over 12 years ago
Merge pull request #4 from oligot/qa_procedure
Paul G. Crismer
More... over 12 years ago
Merge remote-tracking branch 'upstream/voidsafe' into qa_procedure
Olivier Ligot
More... over 12 years ago
Merge pull request #3 from oligot/voidsafe
Paul G. Crismer
More... over 12 years ago
Merge pull request #2 from oligot/ignore_files
Paul G. Crismer
More... over 12 years ago
Merge branch 'voidsafe' of https://github.com/safe-eiffel/ecli into voidsafe
Paul G. Crismer
More... over 12 years ago