-
### IDE Information
GoLand 2024.3
Build #GO-243.21565.208, built on November 13, 2024
Licensed to Michael Henderson
Subscription is active until January 31, 2025.
Runtime version: 21.0.5+8-b631.1…
-
The following program is accepted by VeriFast, even though it has Undefined Behavior:
```rust
unsafe fn mutate(p: *const i32)
//@ req *p |-> _;
//@ ens *p |-> 42;
{
*(p as *mut i32) = 42;
}…
-
### IDE Information
GoLand 2024.3
Build #GO-243.21565.208, built on November 13, 2024
Licensed to Michael Henderson
Subscription is active until January 31, 2025.
Runtime version: 21.0.5+8-b631.1…
-
### IDE Information
GoLand 2024.3
Build #GO-243.21565.208, built on November 13, 2024
Licensed to Michael Henderson
Subscription is active until January 31, 2025.
Runtime version: 21.0.5+8-b631.1…
-
Hi Paul,
I am preparing to package your extensions on [postgres.pm](http://postgres.pm/) – would it be possible to tag releases in this repo? This makes it so much easier to pick up releases automa…
-
### IDE Information
GoLand 2024.3
Build #GO-243.21565.208, built on November 13, 2024
Licensed to Michael Henderson
Subscription is active until January 31, 2025.
Runtime version: 21.0.5+8-b631.1…
-
### IDE Information
GoLand 2024.3
Build #GO-243.21565.208, built on November 13, 2024
Licensed to Michael Henderson
Subscription is active until January 31, 2025.
Runtime version: 21.0.5+8-b631.1…
-
### IDE Information
GoLand 2024.3
Build #GO-243.21565.208, built on November 13, 2024
Licensed to Michael Henderson
Subscription is active until January 31, 2025.
Runtime version: 21.0.5+8-b631.1…
-
### IDE Information
GoLand 2024.3
Build #GO-243.21565.208, built on November 13, 2024
Licensed to Michael Henderson
Subscription is active until January 31, 2025.
Runtime version: 21.0.5+8-b631.1…
-
This issue was made by a bot 🤖...
Attempting to test the feature flag cleanup process.