SRI-CSL / yices2 / 25686639376

67%

master: 69%

Build Type

push

github

Committed by disteph

Commit Message

Commit supported by Codex/GPT5.5 and Windsurf/Opus4.7: support Floyd-Warshall E-graph satellites

Add one-shot E-graph satellite support for the IDL and RDL Floyd-Warshall solvers, including tagged atom pointers, E-graph assertion queues, equality-edge explanations, model reconciliation hooks, and context architectures for EG+IFW/RFW with optional BV.

Update API/frontend config selection and documentation, and add API regression coverage for SAT-level FW atoms, logic-config overrides, BV-guarded equality, and disequality interface lemmas.

Coverage Stats

297 of 672 new or added lines in 11 files covered. (44.2%)

9 existing lines in 4 files now uncovered.

85516 of 127324 relevant lines covered (67.16%)

1619036.4 hits per line