Bi-abduction working - Githubissues

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

BSD 3-Clause "New" or "Revised" License

73 stars 11 forks source link

Bi-abduction working #260

Closed giltho closed 1 year ago

giltho commented 1 year ago

Enable UX in ACT console
Add Bug variant to Flag.t
Bi: Give Bug flag instead of Error when execing fn
fix infinite recursion in sheaptree in a very specific case
Add some handling for ReductionErrors
Output Biabduction results in CSV format
Bi-abduction improvements to run Collections-C
some improvements
some tiny impr
** False is entirely False
bug has been found, remove redundant sat checks
improve handling of function calls
bi-abduction runs on amazon, not very interesting though
Attempt to add Call_graph for biabduction
fixes
Get callgraph working
Build callgraph with imports
improvements
additional fixes and some test