Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

Rename Word::zero to Word::zero_expr #1748

Closed
wants to merge 5 commits into from
Closed

Rename Word::zero to Word::zero_expr #1748

wants to merge 5 commits into from

Commits on Feb 1, 2024

  1. Configuration menu
    Copy the full SHA
    a32f376 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ee06c29 View commit details
    Browse the repository at this point in the history
  3. rename zero_f to zero

    ChihChengLiang committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    f5a98f2 View commit details
    Browse the repository at this point in the history
  4. rename one_f to one

    ChihChengLiang committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    0638881 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2024

  1. Configuration menu
    Copy the full SHA
    07e4956 View commit details
    Browse the repository at this point in the history