Code

WIP: Vector Improvements#113

Code

Draft

ncough wants to merge 8 commits intopartial_evalUQ-PAC/aslp:partial_evalfrom vec2UQ-PAC/aslp:vec2Copy head branch name to clipboard

+3,010-3,230

Commits

Commits on Nov 12, 2024

• Add ITE Simplification Transform

  Show description for f412e03
  ncough

  committed
  f412e03

Commits on Nov 26, 2024

• Vector Fixes

  Show description for 78b416f
  ncough

  committed
  78b416f

• Improve post-dis type inference

  Show description for eeba88d
  ncough

  committed
  eeba88d

• Rework Shifting

  Show description for e0e3a03
  ncough

  committed
  e0e3a03

• Vector Rework

  Show description for 294c0cb
  ncough

  committed
  294c0cb

• Whitespace in BDDSimp, update tests

  ncough

  committed
  81a15bf

• Extend vectorizer

  Show description for b7e68b2
  ncough

  committed
  b7e68b2

• Guess sqrt impl

  Show description for ee24298
  ncough

  committed
  ee24298