Groups
Groups
Sign in
Groups
Groups
Eiffel Users
Conversations
About
Send feedback
Help
Group path
Eiffel Users
Contact owners and managers
1–30 of 5790
Welcome to the Eiffel users mailing list where you can discuss topics on the Eiffel programming language and its various supporting tools.
Eiffel: What programming should be!
Mark all as read
Report group
0 selected
Ulrich Windl
, …
Hubert Cater
6
Jul 4
Wondering: The most popular Eiffel application
Thanks and I did actually have a Built with Eiffel label on the games for the first 15 years that
unread,
Wondering: The most popular Eiffel application
Thanks and I did actually have a Built with Eiffel label on the games for the first 15 years that
Jul 4
Eric Bezault
Jul 1
Gobo Eiffel 26.06 released
Hello, I just released Gobo Eiffel 26.06. This new version includes: -> support for once classes.
unread,
Gobo Eiffel 26.06 released
Hello, I just released Gobo Eiffel 26.06. This new version includes: -> support for once classes.
Jul 1
Finnian Reilly
,
Finnian Reilly
2
Jun 29
Is there an existing Eiffel Studio library wrapper for zlib's crc32 function?
There is a quasi-canonical catalog for various kinds of CRC — the CRC RevEng Catalogue (maintained by
unread,
Is there an existing Eiffel Studio library wrapper for zlib's crc32 function?
There is a quasi-canonical catalog for various kinds of CRC — the CRC RevEng Catalogue (maintained by
Jun 29
Finnian Reilly
, …
Finnian Reilly
24
Jun 24
Finding a billion-user project for Eiffel: How DbC catches the security flaws that Rust misses
Xpact-core benchmark milestone: x2 eXpat throughput, same parsing window Hi everyone, I want to share
unread,
Finding a billion-user project for Eiffel: How DbC catches the security flaws that Rust misses
Xpact-core benchmark milestone: x2 eXpat throughput, same parsing window Hi everyone, I want to share
Jun 24
Finnian Reilly
,
Eric Bezault
3
Jun 24
When the compiler error points the wrong way: a void-safety creation gotcha
Thanks for the explanation Eric. In Eiffel-Loop full class checking was getting in the way of what I
unread,
When the compiler error points the wrong way: a void-safety creation gotcha
Thanks for the explanation Eric. In Eiffel-Loop full class checking was getting in the way of what I
Jun 24
Ulrich Windl
, …
Finnian Reilly
3
Jun 24
Eiffel, what's that, BTW? ;-)
When I tried out the fungenerator I got this !!!! > In 1985, the Eiffel Tower was officially
unread,
Eiffel, what's that, BTW? ;-)
When I tried out the fungenerator I got this !!!! > In 1985, the Eiffel Tower was officially
Jun 24
Alejandro Garcia
, …
Ilgiz Mustafin
4
Jun 21
Is this the most up to date tutorial on Autoproof?
Thank you both. This is very helpful. Alejandro García F. (elviejo) https://elviejo79.github.io Too
unread,
Is this the most up to date tutorial on Autoproof?
Thank you both. This is very helpful. Alejandro García F. (elviejo) https://elviejo79.github.io Too
Jun 21
Finnian Reilly
3
Jun 21
Stealing eXpat's lunch
Correcting an unfair advantage for eXpat tag counter I just realized I unintentionally gave the expat
unread,
Stealing eXpat's lunch
Correcting an unfair advantage for eXpat tag counter I just realized I unintentionally gave the expat
Jun 21
Finnian Reilly
,
Jocelyn Fiat
2
Jun 16
Question about backing up Eiffel Studio execution parameters on estudio 25.12
In the execution parameters, look at the top right drop-down menu. Among other options, you have
unread,
Question about backing up Eiffel Studio execution parameters on estudio 25.12
In the execution parameters, look at the top right drop-down menu. Among other options, you have
Jun 16
Alejandro Garcia
, …
Ulrich Windl
10
Jun 14
SCOOP: Do wait - ever conditions for expire
Well, pure logic is nice, but there's also the user: Assume the user made a mistake and the
unread,
SCOOP: Do wait - ever conditions for expire
Well, pure logic is nice, but there's also the user: Assume the user made a mistake and the
Jun 14
Finnian Reilly
, …
"João M. Rocha"
10
Jun 12
Question on rationale for FORMAT_DOUBLE non-conforming inheritance of FORMAT_INTEGER
Yeah, I was implying the "we think you don't" :-) It's provocative, but I think it
unread,
Question on rationale for FORMAT_DOUBLE non-conforming inheritance of FORMAT_INTEGER
Yeah, I was implying the "we think you don't" :-) It's provocative, but I think it
Jun 12
Bertrand Meyer
,
"João M. Rocha"
2
Jun 9
RE: [eiffel-users] Survey On Verification-Aware Programming
I agree with Bertrand that not mentioning Eiffel in an Eiffel group, specially on a Verification-
unread,
RE: [eiffel-users] Survey On Verification-Aware Programming
I agree with Bertrand that not mentioning Eiffel in an Eiffel group, specially on a Verification-
Jun 9
Finnian Reilly
, …
Finnian Reilly
9
Jun 4
Zig as an Intermediate Language for EiffelStudio
Hi João that was precisely the video that inspired my discussion paper Zig as an Intermediate
unread,
Zig as an Intermediate Language for EiffelStudio
Hi João that was precisely the video that inspired my discussion paper Zig as an Intermediate
Jun 4
Finnian Reilly
, …
Finnian Reilly
3
Jun 2
Why I Write on eiffel.org Blogs
Hi Alejandro you just register an account. It's free. Finnian How can I also publish in Eiffel.
unread,
Why I Write on eiffel.org Blogs
Hi Alejandro you just register an account. It's free. Finnian How can I also publish in Eiffel.
Jun 2
Jimmy Johnson
,
Eric Bezault
11
Jun 2
Convert library to SCOOP
What I had in mind is lock passing. This is one of the trickiest mechanism in SCOOP, as explained
unread,
Convert library to SCOOP
What I had in mind is lock passing. This is one of the trickiest mechanism in SCOOP, as explained
Jun 2
Jimmy Johnson
Jun 1
OPEN_ARGS and RESULT_TYPE ?
What are the OPEN_ARGS and RESULT_TYPE used in ROUTINE and descendants? jjj
unread,
OPEN_ARGS and RESULT_TYPE ?
What are the OPEN_ARGS and RESULT_TYPE used in ROUTINE and descendants? jjj
Jun 1
Finnian Reilly
May 31
The Case for an EiffelStudio F_code Runtime SDK
The Case for an EiffelStudio F_code Runtime SDK Why a 4.7 MB redistributable runtime is the missing
unread,
The Case for an EiffelStudio F_code Runtime SDK
The Case for an EiffelStudio F_code Runtime SDK Why a 4.7 MB redistributable runtime is the missing
May 31
Ian Joyner
, …
Ulrich Windl
7
May 31
Why people still don't understand OO
I think too many "OO tutorials" don't give you the full story, just some parts. But
unread,
Why people still don't understand OO
I think too many "OO tutorials" don't give you the full story, just some parts. But
May 31
Finnian Reilly
May 28
Re: CloudFlare outage: the lesson that will not be drawn
Bertrand Meyer wrote 23 November 2025: I might sound like a broken record, but the CloudFlare outage
unread,
Re: CloudFlare outage: the lesson that will not be drawn
Bertrand Meyer wrote 23 November 2025: I might sound like a broken record, but the CloudFlare outage
May 28
Ian Joyner
May 27
Article using Eiffel and DbC as example
Geoff has moved on from programming to monitoring the Australian electricity system. He still writes
unread,
Article using Eiffel and DbC as example
Geoff has moved on from programming to monitoring the Australian electricity system. He still writes
May 27
Jimmy Johnson
,
rfo amalasoft.com
2
May 26
EV_RICH_TEXT into EV_GRID
Hi Jimmy Though I have never done such a thing, I suspect there might be some challenges but it might
unread,
EV_RICH_TEXT into EV_GRID
Hi Jimmy Though I have never done such a thing, I suspect there might be some challenges but it might
May 26
Liberty Lover
,
Ian Joyner
5
May 20
Compare to Eiffel
“There is no such thing as AI. What we have is a math(s) function — a very expensive, sophisticated
unread,
Compare to Eiffel
“There is no such thing as AI. What we have is a math(s) function — a very expensive, sophisticated
May 20
Alejandro Garcia
May 14
Why wasn't EiffelBase2 merged into EiffelStudio?
Nadia Polikarpova and Julian Tschannen did work on EiffelBase2 https://github.com/nadia-polikarpova/
unread,
Why wasn't EiffelBase2 merged into EiffelStudio?
Nadia Polikarpova and Julian Tschannen did work on EiffelBase2 https://github.com/nadia-polikarpova/
May 14
Finnian Reilly
May 13
New feature in Eiffel-Loop scons build system: self-contained environment variables in ECF files
New feature in Eiffel-Loop scons build system Self-contained exported environment variables in ECF
unread,
New feature in Eiffel-Loop scons build system: self-contained environment variables in ECF files
New feature in Eiffel-Loop scons build system Self-contained exported environment variables in ECF
May 13
외계인 토리
May 12
Question about event driven design
Hello. I am a student learning object-oriented development through OOSC and Touch of Class. I have
unread,
Question about event driven design
Hello. I am a student learning object-oriented development through OOSC and Touch of Class. I have
May 12
Ulrich Windl
,
Ian Joyner
2
Apr 27
Eiffel crypto libraries?
On Burroughs/Unisys machines, I'd implement such stuff in ALGOL. There is probably a Hoare-
unread,
Eiffel crypto libraries?
On Burroughs/Unisys machines, I'd implement such stuff in ALGOL. There is probably a Hoare-
Apr 27
Alejandro Garcia
, …
john s wolter
8
Apr 27
What ever happened to the Matrix database?
Oh I've read about your P-Eiffel compiler. It sounded very interesting. Also if I remember
unread,
What ever happened to the Matrix database?
Oh I've read about your P-Eiffel compiler. It sounded very interesting. Also if I remember
Apr 27
Eric Bezault
,
Germán Arias
7
Apr 1
Gobo Eiffel 26.03 released
Hi Eric I bulid Gobo with Gcc and all works fine now Thanks Germán Enviar: miércoles 1 de abril de
unread,
Gobo Eiffel 26.03 released
Hi Eric I bulid Gobo with Gcc and all works fine now Thanks Germán Enviar: miércoles 1 de abril de
Apr 1
Anders Persson
Mar 31
Vernissage på Wrangelsborg 218!
Välkommen till vernissage: Ljusvågor och stjärnfält Varmt välkomna att inspireras och låta blicken
unread,
Vernissage på Wrangelsborg 218!
Välkommen till vernissage: Ljusvågor och stjärnfält Varmt välkomna att inspireras och låta blicken
Mar 31
"João M. Rocha"
,
Jocelyn Fiat
3
Mar 27
Eiffel 25.12: no macosx-arm64 target and missing class reference docs
I confirm that the binaries for "macosx-armv6" are targeting arm64 but it seems there are
unread,
Eiffel 25.12: no macosx-arm64 target and missing class reference docs
I confirm that the binaries for "macosx-armv6" are targeting arm64 but it seems there are
Mar 27