GillianPlatform / Gillian

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

Compound branching #269

Open NatKarmios opened 10 months ago

NatKarmios commented 10 months ago

It'd be a neat idea if, in the debugging interface, "compound branches" i.e. multiple branches between two commands, could be split out and represented separately

i.e.:

        +---------------+
        | if (x.y == 1) |
        +---------------+
              /   \
 (x != null) /     \ (x == null)
            /       \
           /     +------+
          o      | fail |
         / \     +------+
        /   \
(true) /     \ (false)
      /       \
  +-----+   +-----+
  | ... |   | ... |
  +-----+   +-----+

Might implement this as part of Kanillian stuff.