Code

Centralize extendable array logic#480

Code

Merged

disteph merged 9 commits intoSRI-CSL:masterSRI-CSL/yices2:masterfrom markpmitchell:ds-cleanupmarkpmitchell/yices2:ds-cleanupCopy head branch name to clipboardDec 1, 2023

+1,043-1,025

Commits

Commits on Sep 26, 2023

• Remove extra factor of 4.

  

  Mark Mitchell

  committed
  9f3cc35

  Copy full SHA for 9f3cc35

Commits on Oct 16, 2023

• Merge branch 'SRI-CSL:master' into master

  markpmitchell

  authored
  99a81df

  Copy full SHA for 99a81df

Commits on Oct 27, 2023

• Base term term on index table.

  

  Mark Mitchell

  committed
  5e19ff6

  Copy full SHA for 5e19ff6

Commits on Oct 31, 2023

• Convert type table to used indexed_table.

  

  Mark Mitchell

  committed
  d85e128

  Copy full SHA for d85e128

Commits on Nov 21, 2023

• Used indexed_table in type macro table.

  

  Mark Mitchell

  committed
  5aeacef

  Copy full SHA for 5aeacef

Commits on Nov 22, 2023

• Clean up the pprod_table.

  

  Mark Mitchell

  committed
  b6385aa

  Copy full SHA for b6385aa

Commits on Nov 27, 2023

• Used indexed_table.

  

  Mark Mitchell

  committed
  f98e83d

  Copy full SHA for f98e83d

Commits on Nov 29, 2023

• Merge branch 'SRI-CSL:master' into ds-cleanup

  markpmitchell

  authored
  31164c5

  Copy full SHA for 31164c5

• Centralize check for maximum number of elements.

  

  Mark Mitchell

  committed
  8a46390

  Copy full SHA for 8a46390