All pull requests

Pull requests

• feat: add C and Python bindings for tree serialization and deserialization.

  #604·AonoZan opened Jun 2, 2026Contributor·

  ·

• Add missing include to fix build on Fedora 42

  #598·nomike opened Aug 11, 2025·

  ·

• OracleClause: hide singleton in cpp

  #569·Nekto89 opened Apr 3, 2024·

  ·
  1

• Fix guile environment variable on linux

  #551·MorganJamesSmith opened Oct 17, 2023Contributor·

  ·

• failing unit test for bug #472

  #474·doug-moen opened Oct 12, 2021Contributor·

  ·
  1

• Add path to installed libraries to ffi.py

  #460·dsanderson opened Jul 18, 2021·

  ·

• Add a domain repetition example

  #459·Limeth opened Jul 15, 2021·

  ·

• CI build for macos

  #443·zeeyang opened May 16, 2021·

  ·
  2

• Feature/trig: ass cosh, sinh, and tanh

  #377·kayarre opened Feb 8, 2021·

  ·

• Adds GitHub-Actions for cross-platform building / testing / artifact-production

  buildingenhancement
  #357·TyOverby opened Jul 26, 2020·

  ·
  13

• CMake export

  #353·FunMiles opened Jun 16, 2020·

  ·
  1

• feature: hyperbolic trig functions

  kernel
  #348·kayarre opened May 27, 2020·

  ·
  12

• Evaluator::intervalAndCheck

  #296·Yitzi2 opened Aug 5, 2019Contributor·

  ·