John Hughes (May 15 2025 at 02:06): John Hughes (May 15 2025 at 02:06):On my mac, I was using ISabelle and it just shut down with no warning -- perhaps because there were network glitches happening or something. I needed to restart the laptop anyhow and went from 2025 RC2 to the 2025 release -- I installed, opened it according to the instructions to deal with security stuff...and it shut down instantly. So I tried Isabelle 2024, which I still had installed...and it did the same thing.
I suspect something like the list of recently opened items, or the most recent item, is somehow screwed up. Does anyone know where this is stored on a Mac, so thatI can reset it perhaps?
Normally I'd look for something like ~/.isabellerc, but I didn't see anything obvious.
Mathias Fleury (May 15 2025 at 04:05):Can you start it in the terminal and see if there is any error message?
Mathias Fleury (May 15 2025 at 04:06):And it is called ~/.isabelle…
John Hughes (May 15 2025 at 12:20):Thanks. I'll give both of these a try. I'm not sure how I missed ~/.isabelle ... needed more coffee, I guess.
John Hughes (May 16 2025 at 01:44):I removed the whole ~/.isabelle directory, and then moved all three versions of Isabelle from the Applications folder to the trash, and re-downloaded Isabelle2025. I restarted the computer as well. Then I installed Isabelle2025, tried to run it, dealt with the security/privacy settings issue, and tried again...after which it shut down instantly, same as before. I did try running it from the command line, but couldn't figure out the correct invocation, alas. (I also used the Mac's task-manager-equivalent to look for any processes that might be left over from a previous invocation of Isabelle, but didn't see any.)
Fabian Huch (May 16 2025 at 07:42):The invocation you are looking for would simply be .../isabelle jedit
John Hughes (May 20 2025 at 18:44):Running isabelle jedit seems to work fine. But doube-clicking on the Isabelle-2025 icon in the Applications folder still quits more or less immediately.
I append here the report that Apple generates for this failed attempt:
------------------------------------
Translated Report (Full Report Below)
-------------------------------------
Incident Identifier: F4C46DCC-C209-4361-BC44-C06246DC1538
CrashReporter Key: 74089454-1E22-2678-A9E7-40DFDB1F05CF
Hardware Model: MacBookPro18,3
Process: Isabelle2025 [29359]
Path: /Applications/Isabelle2025.app/Isabelle2025
Identifier: de.tum.in.isabelle
Version: Isabelle2025 (4b875a4c83b0)
Code Type: X86-64 (Native)
Role: Default
Parent Process: launchd [1]
Coalition: de.tum.in.isabelle [1107]
Date/Time: 2025-05-20 14:43:41.3412 -0400
Launch Time: 2025-05-20 14:43:41.2989 -0400
OS Version: macOS 15.1.1 (24B91)
Release Type: User
Report Version: 104
Exception Type: EXC_CRASH (SIGABRT)
Exception Codes: 0x0000000000000000, 0x0000000000000000
Termination Reason: ROSETTA 0
Triggered by Thread: 0
Thread 0 Crashed:
0 runtime 0x7ff7ffd4bdb0 0x7ff7ffd48000 + 15792
Thread 0 crashed with ARM Thread State (64-bit):
x0: 0x0000000000000022 x1: 0x0000000000000000 x2: 0x00007ff7ffd79331 x3: 0x0000000000000800
x4: 0x00007ff7ffd744ad x5: 0x0000000000000000 x6: 0x000000000000002c x7: 0x0000000000000000
x8: 0x00007ff7ffd83000 x9: 0x0000000000000000 x10: 0x00000000fffffed4 x11: 0x0000000000000900
x12: 0x0000000000000076 x13: 0x0000000000000013 x14: 0x0000000000000021 x15: 0x00007ff7ffd83914
x16: 0x0000000000000209 x17: 0x00007ff7ffd6baec x18: 0x000000030c46ccf3 x19: 0x00007ff7ffd79331
x20: 0x00007ff7ffd79331 x21: 0x00000000000000bf x22: 0x00007ff7ffd6fda1 x23: 0x000000030c46c7c0
x24: 0x000000010c158000 x25: 0x0000000000000009 x26: 0x000000010c158000 x27: 0x0000000000000010
x28: 0x0000000000000009 fp: 0x000000030c46c750 lr: 0x00007ff7ffd65c94
sp: 0x000000030c46c730 pc: 0x00007ff7ffd4bdb0 cpsr: 0x44001000
far: 0x0000000000000000 esr: 0x56000080 Address size fault
Binary Images:
0x204202000 - 0x20428efff dyld (*) <4d52bd1e-6a0e-31db-b564-9e2029fdcd6f> /usr/lib/dyld
0x7ff7ffd48000 - 0x7ff7ffd77fff runtime (*) <2315e5a0-93f9-38af-a9d5-102bbd4c4c00> /usr/libexec/rosetta/runtime
0x0 - 0xffffffffffffffff ??? (*) <00000000-0000-0000-0000-000000000000> ???
Error Formulating Crash Report:
dyld_process_snapshot_get_shared_cache failed
EOF
-----------
Full Report
-----------
{"app_name":"Isabelle2025","timestamp":"2025-05-20 14:43:41.00 -0400","app_version":"Isabelle2025","slice_uuid":"3fa2ceaa-b645-3821-99f3-e6bc6a501040","build_version":"4b875a4c83b0","platform":0,"bundleID":"de.tum.in.isabelle","share_with_app_devs":0,"is_first_party":0,"bug_type":"309","os_version":"macOS 15.1.1 (24B91)","roots_installed":0,"name":"Isabelle2025","incident_id":"F4C46DCC-C209-4361-BC44-C06246DC1538"}
{
"uptime" : 99000,
"procRole" : "Default",
"version" : 2,
"userID" : 502,
"deployVersion" : 210,
"modelCode" : "MacBookPro18,3",
"coalitionID" : 1107,
"osVersion" : {
"train" : "macOS 15.1.1",
"build" : "24B91",
"releaseType" : "User"
},
"captureTime" : "2025-05-20 14:43:41.3412 -0400",
"codeSigningMonitor" : 1,
"incident" : "F4C46DCC-C209-4361-BC44-C06246DC1538",
"pid" : 29359,
"translated" : true,
"cpuType" : "X86-64",
"roots_installed" : 0,
"bug_type" : "309",
"procLaunch" : "2025-05-20 14:43:41.2989 -0400",
"procStartAbsTime" : 2376592033065,
"procExitAbsTime" : 2376592953962,
"procName" : "Isabelle2025",
"procPath" : "\/Applications\/Isabelle2025.app\/Isabelle2025",
"bundleInfo" : {"CFBundleShortVersionString":"Isabelle2025","CFBundleVersion":"4b875a4c83b0","CFBundleIdentifier":"de.tum.in.isabelle"},
"storeInfo" : {"deviceIdentifierForVendor":"1C5078C5-CCF5-507F-9962-D4D1CE416F70","thirdParty":true},
"parentProc" : "launchd",
"parentPid" : 1,
"coalitionName" : "de.tum.in.isabelle",
"crashReporterKey" : "74089454-1E22-2678-A9E7-40DFDB1F05CF",
"codeSigningID" : "",
"codeSigningTeamID" : "",
"codeSigningValidationCategory" : 0,
"codeSigningTrustLevel" : 4294967295,
"instructionByteStream" : {"beforePC":"ARAA1AEAgJIgIICawANf1pBAgNIBEADU4TefmsADX9YwQYDSARAA1A==","atPC":"AQCAkiAggJrAA1\/WMEGA0gEQANThN5+awANf1hBDgNIBEADUAQCAkg=="},
"bootSessionUUID" : "9629A214-2ED9-48B6-91C4-3648B58509DA",
"wakeTime" : 810,
"sleepWakeUUID" : "145E8114-9C8B-4AC0-90B9-6E47DA0DEC5B",
"sip" : "enabled",
"exception" : {"codes":"0x0000000000000000, 0x0000000000000000","rawCodes":[0,0],"type":"EXC_CRASH","signal":"SIGABRT"},
"termination" : {"namespace":"ROSETTA","flags":518,"code":0},
"extMods" : {"caller":{"thread_create":0,"thread_set_state":0,"task_for_pid":0},"system":{"thread_create":0,"thread_set_state":0,"task_for_pid":0},"targeted":{"thread_create":0,"thread_set_state":0,"task_for_pid":0},"warnings":0},
"faultingThread" : 0,
"threads" : [{"triggered":true,"id":1254347,"threadState":{"x":[{"value":34},{"value":0},{"value":140703125967665},{"value":2048},{"value":140703125947565},{"value":0},{"value":44},{"value":0},{"value":140703126007808},{"value":0},{"value":4294966996},{"value":2304},{"value":118},{"value":19},{"value":33},{"value":140703126010132,"symbolLocation":12,"symbol":"__crashreporter_info__"},{"value":521},{"value":140703125912300},{"value":13090868467},{"value":140703125967665},{"value":140703125967665},{"value":191},{"value":140703125929377},{"value":13090867136},{"value":4497702912},{"value":9},{"value":4497702912},{"value":16},{"value":9}],"flavor":"ARM_THREAD_STATE64","lr":{"value":140703125888148},"cpsr":{"value":1140854784},"fp":{"value":13090867024},"sp":{"value":13090866992},"esr":{"value":1442840704,"description":" Address size fault"},"pc":{"value":140703125781936,"matchesCrashFrame":1},"far":{"value":0}},"frames":[{"imageOffset":15792,"imageIndex":1}]}],
"usedImages" : [
{
"source" : "P",
"arch" : "x86_64",
"base" : 8659148800,
"size" : 577536,
"uuid" : "4d52bd1e-6a0e-31db-b564-9e2029fdcd6f",
"path" : "\/usr\/lib\/dyld",
"name" : "dyld"
},
{
"source" : "P",
"arch" : "arm64",
"base" : 140703125766144,
"size" : 196608,
"uuid" : "2315e5a0-93f9-38af-a9d5-102bbd4c4c00",
"path" : "\/usr\/libexec\/rosetta\/runtime",
"name" : "runtime"
},
{
"size" : 0,
"source" : "A",
"base" : 0,
"uuid" : "00000000-0000-0000-0000-000000000000"
}
],
"vmSummary" : "ReadOnly portion of Libraries: Total=1068K resident=0K(0%) swapped_out_or_unallocated=1068K(100%)\nWritable regions: Total=136.3M written=193K(0%) resident=193K(0%) swapped_out=0K(0%) unallocated=136.1M(100%)\n\n VIRTUAL REGION \nREGION TYPE SIZE COUNT (non-coalesced) \n=========== ======= ======= \nRosetta Generic 8K 2 \nRosetta IndirectBranch (reserved) 32K 1 reserved VM address space (unallocated)\nRosetta JIT 128.0M 1 \nSTACK GUARD 56.0M 1 \nStack 8176K 1 \nVM_ALLOCATE (reserved) 8K 1 reserved VM address space (unallocated)\n__DATA 76K 4 \n__DATA_CONST 24K 1 \n__DATA_DIRTY 8K 2 \n__LINKEDIT 336K 4 \n__TEXT 756K 2 \n__TPRO_CONST 276K 1 \nmapped file 484K 7 \npage table in kernel 193K 1 \n=========== ======= ======= \nTOTAL 194.1M 29 \nTOTAL, minus reserved VM space 194.1M 29 \n",
"legacyInfo" : {
"threadTriggered" : {
}
},
"logWritingSignature" : "a213cc516eaf8d985f0ef9b67f2435f343cc285d",
"trialInfo" : {
"rollouts" : [
{
"rolloutId" : "5ffde50ce2aacd000d47a95f",
"factorPackIds" : {
},
"deploymentId" : 240000470
},
{
"rolloutId" : "644114de41e7236e6177f9bd",
"factorPackIds" : {
},
"deploymentId" : 240000013
}
],
"experiments" : [
]
},
"reportNotes" : [
"dyld_process_snapshot_get_shared_cache failed"
]
}
Model: MacBookPro18,3, BootROM 11881.101.1, proc 8:6:2 processors, 16 GB, SMC
Graphics: Apple M1 Pro, Apple M1 Pro, Built-In
Display: LG HDR 4K, 3840 x 2160 (2160p/4K UHD 1 - Ultra High Definition), Main, MirrorOff, Online
Display: PZN3210U, 3840 x 2160 (2160p/4K UHD 1 - Ultra High Definition), MirrorOff, Online
Memory Module: LPDDR5, Samsung
AirPort: spairport_wireless_card_type_wifi (0x14E4, 0x4387), wl0: Jul 26 2024 20:03:40 version 20.10.1123.2.8.7.186 FWID 01-94146b8e
IO80211_driverkit-1315.7 "IO80211_driverkit-1315.7" Sep 28 2024 16:04:40
AirPort:
Bluetooth: Version (null), 0 services, 0 devices, 0 incoming serial ports
Network Service: Wi-Fi, AirPort, en0
USB Device: USB31Bus
USB Device: USB3.0 Hub
USB Device: USB3.0 Card Reader
USB Device: USB2.0 Hub
USB Device: Anker USB-C Hub Device
USB Device: USB31Bus
USB Device: USB31Bus
Thunderbolt Bus: MacBook Pro, Apple Inc.
Thunderbolt Bus: MacBook Pro, Apple Inc.
Thunderbolt Bus: MacBook Pro, Apple Inc.
Problem solved -- an update to MacOS seems to have resolved the problem.
Last updated: May 31 2025 at 04:25 UTC