Phil Clayton

Equivalent programs show different behaviour

3

I have an example where a finalizer is unexpectedly not being run. However, the finalizer _is_ run if I transform the code to something (that I thought was) equivalent. This...

Foreign function gives segmentation fault only when called from SML/NJ

2

### Version 110.99.4 (Latest) ### Operating System - [ ] Any - [X] Linux - [ ] macOS - [ ] Windows - [ ] Other Unix ### OS Version...

Weak reference behaviour in top-level REPL affected by grouping of declarations in topdecs

3

### Version 110.99.3 (Latest) ### Operating System - [x] Any - [ ] Linux - [ ] macOS - [ ] Windows - [ ] Other Unix ### OS Version...

### Version 110.99.3 (Latest) ### Operating System - [ ] Any - [X] Linux - [ ] macOS - [ ] Windows - [ ] Other Unix ### OS Version...

### Version Pre-110.97 ### Operating System - [ ] Any - [ ] Linux - [ ] macOS - [X] Windows - [ ] Other Unix ### OS Version Windows...

Cannot get parameter of func decl of floating-point numeral expression

3

For a func decl `d` of a floating-point numeral expression: - `Z3_get_decl_kind (ctx, d)` returns `Z3_OP_FPA_NUM`. - `Z3_get_decl_num_parameters (ctx, d)` returns 1. - `Z3_get_decl_parameter_kind (ctx, d, 0)` returns `Z3_PARAMETER_FUNC_DECL`. -...