Code

Into i64#271

Code

Open

Pat-Lafon wants to merge 2 commits intoprove-rs:masterprove-rs/z3.rs:masterfrom Pat-Lafon:into_i64Pat-Lafon/z3.rs:into_i64Copy head branch name to clipboard

+29-58

Commits

Commits on Nov 10, 2023

• Let from_i64 use Into<i64>

  Pat-Lafon

  committed
  76ad2fd

  Copy full SHA for 76ad2fd

• Create an all_num_versions macro

  Pat-Lafon

  committed
  c323947

  Copy full SHA for c323947