Code

Use Z module directly#1329

Code

Merged

sim642 merged 53 commits intomastergoblint/analyzer:masterfrom z-modulegoblint/analyzer:z-moduleCopy head branch name to clipboardJan 29, 2024

+583-592

Commits

Commits on Jan 15, 2024

• Use Z module instead of IntOps.BigIntOps in base

  karoliineh

  committed
  1cbbd25

• Use Z module instead of IntOps.BigIntOps in baseInvariant

  karoliineh

  committed
  5946b03

• Use Z module instead of IntOps.BigIntOps in arrayDomain

  karoliineh

  committed
  2df6d66

• Use Z module instead of IntOps.BigIntOps in valueDomain

  karoliineh

  committed
  643bd41

• Remove BI module and use Z instead of IntOps.BigIntOps in baseDomain

  karoliineh

  committed
  f16cfca

• Use Z instead of IntOps.BigIntOps in function types in vectorMatrix

  karoliineh

  committed
  27b267d

• Remove BI module and use Z instead of IntOps.BigIntOps in intDomainProperties

  karoliineh

  committed
  ad09388

• Use Z instead of IntOps.BigIntOps in expressionEvaluation

  karoliineh

  committed
  9cf5086

• Use Z instead of IntOps.BigIntOps in transform

  karoliineh

  committed
  b6ed515

• Use Z instead of IntOps.BigIntOps in sharedFunctions.apron

  karoliineh

  committed
  0edd272

• Use Z instead of IntOps.BigIntOps in offset

  karoliineh

  committed
  7ad9d1a

• Use Z instead of IntOps.BigIntOps in affineEqualityDomain.apron

  karoliineh

  committed
  028fe9c

• Remove unused BI = IntOps.BigIntOps module from apronDomain.apron

  karoliineh

  committed
  5da716a

• Replace all BI. calls with Z. in intDomain

  karoliineh

  committed
  c6c7cdf

• Remove I = BI module and replace I. calls with Z.

  karoliineh

  committed
  e0cf71a

• Remove BI module and inline IntOps.BigIntOps where needed

  karoliineh

  committed
  e9afb07

• Use Z instead IntOps.BigIntOps for Ints_t in Congurence

  karoliineh

  committed
  02a1f08

• Remove Ints_t from Congurence and use Z directly

  karoliineh

  committed
  f6e991c

• Address semgrep findings

  karoliineh

  committed
  d627cdc

• Fix spacing in module definitions

  karoliineh

  committed
  4f8e956

• Include Z instead of IntOps.BigIntOps in BigInt

  karoliineh

  committed
  944b531

• Define bitnot as Z.lognot in BigIntOpsBase

  karoliineh

  committed
  35d8cd7

• Revert "Include Z instead of IntOps.BigIntOps in BigInt"

  Show description for d929216
  karoliineh

  committed
  d929216

• Remove unused FlattenedBI module

  karoliineh

  committed
  4e95cff

• Replace BigInt.zero with Z.zero

  karoliineh

  committed
  89b13d4

• Replace BigInt.one with Z.one

  karoliineh

  committed
  c2c4d7e

• Replace BigInt.equal with Z.equal

  karoliineh

  committed
  57d9201

• Replace BigInt.add with Z.add

  karoliineh

  committed
  12045ea

• Replace BigInt.sub with Z.sub

  karoliineh

  committed
  ace1963

• Replace BigInt.neg with Z.neg

  karoliineh

  committed
  b8c9b4b

• Replace BigInt.of_int with Z.of_int

  karoliineh

  committed
  dfe104f

• Replace BigInt.rem with Z.rem

  karoliineh

  committed
  8b181cf

• Replace BigInt.compare with Z.compare

  karoliineh

  committed
  1d18891

• Replace BigInt.shift_left with Z.shift_left

  karoliineh

  committed
  1b13207

• Replace BigInt.shift_right with Z.shift_right

  karoliineh

  committed
  b5e883b

• Replace BigInt.shift_right with Z.shift_right

  karoliineh

  committed
  68dc189

• Revert "Replace BigInt.shift_right with Z.shift_right"

  Show description for 70871ef
  karoliineh

  committed
  70871ef

Commits on Jan 16, 2024

• Replace IntOps.BigIntOps with Z where possible in intDomain.mli

  karoliineh

  committed
  aad0a09

• Simplify BigInt and replace with Z where possible

  karoliineh

  committed
  444290d

Commits on Jan 22, 2024

• Inline Z.pred and Z.succ

  karoliineh

  committed
  f8ea135

• Revert part of "Remove unused FlattenedBI module": keep the test

  Show description for 7f80113
  karoliineh

  committed
  7f80113

• Remove unused functions from BigInt

  karoliineh

  committed
  5c773ed

• Include Printable to IntOpsDecorator and make IntOps printable

  karoliineh

  committed
  a8d74cd

• Remove IntDomain.BigInt

  karoliineh

  committed
  bc267c8

Commits on Jan 23, 2024

• Implement GobZ.pretty and use it where possible

  karoliineh

  committed
  0e1b389

• Simplify same

  karoliineh

  committed
  0417cf7

• Remove redundant List.hd call

  Show description for 3991fbd
  

  karoliineh

  and

  sim642

  authored
  3991fbd

Commits on Jan 26, 2024

• Rename log.* functions to c_log.*

  karoliineh

  committed
  190dd1f

• Rename bit.* functions to log.*

  karoliineh

  committed
  bdd61d1

• Merge branch 'master' into z-module

  karoliineh

  authored
  78e9bf2

Commits on Jan 29, 2024

• rename log* -> c_log*

  Show description for 018166e
  

  karoliineh

  and

  sim642

  authored
  018166e

• Rename valid_log* -> valid_c_log* in tests

  karoliineh

  committed
  3d99978

• Update and add comments about log* functions

  karoliineh

  committed
  67320d4