Code

Feat/float as decimal#1

Code

Merged

amimart merged 9 commits intomainaxone-protocol/prolog:mainfrom feat/float-as-decimalaxone-protocol/prolog:feat/float-as-decimalCopy head branch name to clipboardJul 6, 2024

+573-596

Commits

Commits on Jul 4, 2024

• feat: rework float definition using decimal gda impl

  amimart

  committed
  c870b2d

• feat: allow to parse float

  amimart

  committed
  ed8e9d3

• feat: prevent to use float as placeholders

  amimart

  committed
  3b12331

• feat: make unification of float work

  amimart

  committed
  ad3d119

• feat: scan float solution as string

  amimart

  committed
  fe1702f

• feat: reimplement arithmetic functors

  Show description for c048876
  amimart

  committed
  c048876

• test: update all tests related to floats

  amimart

  committed
  f4bc73c

• feat: secure integer arithmetic operations

  amimart

  committed
  dd60a95

• refactor: remove unused var

  amimart

  committed
  bf4ef2a