Code

add ffi tests & fix ffi#2786

Code

Draft

Skgland wants to merge 18 commits intomthom:mastermthom/scryer-prolog:masterfrom Skgland:ffi-f64-testsSkgland/scryer-prolog:ffi-f64-testsCopy head branch name to clipboard

+1,039-551

Commits

Commits on Feb 17, 2025

• add ffi tests using f64

  Skgland

  committed
  8dd69a4

  Copy full SHA for 8dd69a4

• cleanup and fix miri & cross-compile

  Skgland

  committed
  79d9890

  Copy full SHA for 79d9890

• add more ffi tests

  Skgland

  committed
  2fa19a0

  Copy full SHA for 2fa19a0

• fix crash when trying to load and ffi library with an invalid type specification

  Skgland

  committed
  591ec97

  Copy full SHA for 591ec97

• fix all but {i,u}64

  Skgland

  committed
  095a131

  Copy full SHA for 095a131

• fix {i,u}64 in ffi

  Skgland

  committed
  49c86f5

  Copy full SHA for 49c86f5

• make Fixnum::build_with harder to accidentally missuse

  Show description for 6d91a37
  Skgland

  committed
  6d91a37

  Copy full SHA for 6d91a37

• make ffi support full {i,u}64 range

  Skgland

  committed
  775247a

  Copy full SHA for 775247a

• add new test helper

  Skgland

  committed
  d7b6758

  Copy full SHA for d7b6758

• fix UB in ffi tests

  Skgland

  committed
  12f3e2d

  Copy full SHA for 12f3e2d

• add a simple ffi test using structs

  Skgland

  committed
  e482f1e

  Copy full SHA for e482f1e

• use libffi::middle instead of libffi::low were possible

  Skgland

  committed
  8b875d6

  Copy full SHA for 8b875d6

• also accept rust type name

  Skgland

  committed
  5303133

  Copy full SHA for 5303133

• don't panic on unexpected/invalid value

  Skgland

  committed
  805e339

  Copy full SHA for 805e339

• further ffi cleanup

  Skgland

  committed
  e50f7ae

  Copy full SHA for e50f7ae

Commits on Feb 18, 2025

• fix compatibility with 1.77

  Skgland

  committed
  990cdbb

  Copy full SHA for 990cdbb

• further cleanup

  Show description for fe274d0
  Skgland

  committed
  fe274d0

  Copy full SHA for fe274d0

• no longer skip f32 and f64 now that they work consistently

  Skgland

  committed
  549517e

  Copy full SHA for 549517e