Centralize extendable array logic

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

360 stars 45 forks source link

Centralize extendable array logic #480

Closed markpmitchell closed 7 months ago

markpmitchell commented 7 months ago

Create a new data structure (indexed_table) for arrays that automatically extend as items are added.
Use throughout the term table and associated data structures.

coveralls commented 7 months ago

coverage: 65.137% (-0.003%) from 65.14% when pulling 8a46390987f98c052bdeedbdff7a5a496e6a3d79 on markpmitchell:ds-cleanup into f1860fe253af1b0bd1b8bbe111c40f12134524eb on SRI-CSL:master.