Code

Support uint constants#72

Code

Merged

pi8027 merged 5 commits intomastermath-comp/algebra-tactics:masterfrom uintmath-comp/algebra-tactics:uintCopy head branch name to clipboardNov 24, 2022

+1,198-1,006

Commits

Commits on Nov 23, 2022

• [WIP] support uint constants

  pi8027

  committed
  54724e9

  Copy full SHA for 54724e9

Commits on Nov 24, 2022

• Refactor and propagate changes to the ring and field tactics

  pi8027

  committed
  5b5a0c7

  Copy full SHA for 5b5a0c7

• Uncomment large constants in vcgen_25

  pi8027

  committed
  a5b7db1

  Copy full SHA for a5b7db1

• Add comments

  pi8027

  committed
  c9c4e35

  Copy full SHA for c9c4e35

• Add a test that rfstr can find a realDomainType in a tricky case

  pi8027

  committed
  fa0ccff

  Copy full SHA for fa0ccff