Repositories list

• dReal-clang-tidy

  Public
  C++ static analysis tool for dReal that uses a graph-based solver over LLVM ASTs to validate floating-point rounding mode preconditions, detect contradictions, and generate structured JSON outputs for analysis.

  LLVM

  •0•0•0•0•Updated Sep 23, 2025Sep 23, 2025

• capdDynSys-4.0

  Public
  C++

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Sep 8, 2025Sep 8, 2025

• ibex-lib

  Public
  IBEX is a C++ library for constraint processing over real numbers.

  C++

  •

  GNU Lesser General Public License v3.0

  •53•0•0•0•Updated Aug 21, 2025Aug 21, 2025

• ncsys-lab.github.io

  Public
  group website

  TeX

  •0•0•0•0•Updated Jun 2, 2025Jun 2, 2025

• FUSE

  Public
  Python

  •0•5•1•0•Updated Jan 21, 2025Jan 21, 2025

• dreal4

  Public
  Automated Reasoning in Nonlinear Theories of Reals

  SMT

  •

  Apache License 2.0

  •35•0•0•0•Updated Jan 12, 2025Jan 12, 2025

• cadical-dreal-configure-fix

  Public
  CaDiCaL SAT Solver

  C++

  •

  MIT License

  •159•0•0•0•Updated Dec 11, 2024Dec 11, 2024

• msdsl-sympy

  Public
  Automatic generation of real number models from analog circuits

  Python

  •

  MIT License

  •12•0•0•0•Updated Oct 3, 2024Oct 3, 2024

• AnalogBenChmark

  Public
  Verilog

  •0•1•0•0•Updated Nov 19, 2023Nov 19, 2023

• analog-verification

  Public
  SystemVerilog

  •0•2•0•0•Updated Oct 3, 2023Oct 3, 2023

• LDO-Block-Models

  Public
  Python

  •0•0•0•0•Updated Jul 28, 2023Jul 28, 2023

• fixture-analog-verification

  Public
  Library of templates for analog blocks and strategies to model them in a digital environment. Modified for novel computing systems lab analog-verification.

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •4•0•0•0•Updated Jul 19, 2023Jul 19, 2023

• msdsl-param-to-diff

  Public
  Python

  •0•0•0•0•Updated Jul 18, 2023Jul 18, 2023