Email Gateway (Aug 22 2022 at 13:29): Email Gateway (Aug 22 2022 at 13:29):From: Nemouchi Yakoub <y.nemouchi@gmail.com>
Dear all,
I observed a strange behaviour related to polyml and Isabelle-2016 on
Windows 8.1.
The memory allocate and memory free process is
weird on Windows 8.1.
When i open the session (see the 2 attached screenshots),
Isabelle allocate memory until the system run out of resources and my OS
crash.
Something that never happened on my other machine with Wndows 7 and
with the same theories session.
I have also to notice that i did not have this behaviour on Isabelle-2013,
i was able to work on the same session without problems.
Machine characteristics:
Processor: i5-4200U @1.60 GHz 2.60GHz.
Memory: 4,00 Go.
OS: 64 bits, processor x64.
Best,
Yakoub.
[image: Images intégrées 1][image: Images intégrées 2]
Isabelle list.jpg
Isabelle list 1.jpg
Last updated: Apr 19 2024 at 16:20 UTC