[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Axiom unsoundness
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-developer] Axiom unsoundness |
Date: |
27 Oct 2006 19:01:15 +0200 |
Waldek Hebisch <address@hidden> writes:
[...]
| All this is based on system trace. AFAICS when AXIOMsys runs
| standalone there is no select loop. I tried to give "(1) ->\n"
| and then ^C to standalone AXIOMsys -- the trace looks quite similar
| but AXIOMsys produces reasonable error messages. Still, giving a
| few bad inputs interspesed with ^C, I was able to generate:
|
| >> System error:
| Caught fatal error [memory may be damaged]
I've been running into this "memory may be damaged" stuff very often
these days ]with students, everything is possible :-)]. Most of them
happens on invalid syntax and such. The system should be more
resilient should not corrupt memory just because of syntax errors and
such.
-- Gaby
- [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, Camm Maguire, 2006/10/26
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, root, 2006/10/26
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, Waldek Hebisch, 2006/10/26
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, Camm Maguire, 2006/10/27
- RE: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiomcan blow up catastrophically, Page, Bill, 2006/10/27
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiomcan blow up catastrophically, Waldek Hebisch, 2006/10/27
- RE: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiomcan blow up catastrophically, Page, Bill, 2006/10/27
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, root, 2006/10/27
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, Waldek Hebisch, 2006/10/27
- [Axiom-developer] Axiom unsoundness,
Gabriel Dos Reis <=
- [Axiom-developer] Re: Bug#346552: Axiom unsoundness, Camm Maguire, 2006/10/27
- [Axiom-developer] Re: Bug#346552: Axiom unsoundness, Gabriel Dos Reis, 2006/10/27
- RE: [Axiom-developer] Axiom unsoundness, Page, Bill, 2006/10/27