search

GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73 stars 11 forks source link

Rust catch-up #273

Closed giltho closed 9 months ago

giltho commented 9 months ago

Many things here: 1) Adds the magic wand operator the Asrt.t, and the Package operations, which creates a magic wand from the current state. 2) Implements aggregate unification plans (or master unification plans), revamping a big part of UP.ml 3) Adds implication to the formula language, which can be encoded as such to z3 4) Replace get/set/rem by consumers and consumers, fixes #225 4) Adds support for list_repeat operator

Not everything should be merged possibly, let's trim some useless prints etc

giltho commented 9 months ago

@NatKarmios This can now be reviewed and debugger can be tested independently of the CI passing if it's because of the z3 flakiness