search

utensil / ginac-lean

A work-in-progress Lean 4 binding to GiNaC
Other
4 stars 1 forks source link

Some make check cases are failing on Mac M1 #1

Closed utensil closed 9 months ago

utensil commented 10 months ago

OS: Mac M1

utensil commented 10 months ago

CLN fails and only fails at test_I_io, cause is calling any method of either std::sstream or std::string, causing trap 6 or segment fault.

GiNaC fails at clifford algebra, failing to simplified to zero, and the corresponding archiving.

Both pass on Codespace.

utensil commented 9 months ago

Issued resolved since 6bb16ea9306d0266a58e64f50b507defc94e5e93 , all checks pass on Ubuntu and Mac, verified also via CI.