Skip to content

@uclid-org UCLID5

Change the repository type filter

All

    Repositories list

    16 repositories

    • eudoxus

      Public
      eudoxus: UCLID5 text-to-code tool
      Python
      •
      MIT License
      •0•0•0•0•Updated Aug 9, 2025Aug 9, 2025

    • polyver

      Public
      A framework for polyglot system modeling and verification
      Python
      •
      MIT License
      •0•0•0•0•Updated Jul 31, 2025Jul 31, 2025

    • uclid

      Public
      UCLID5: formal modeling, verification, and synthesis of computational systems
      Scala
      •
      Other
      •34•149•21•4•Updated Jul 9, 2025Jul 9, 2025

    • uclid-api

      Public
      Python API for UCLID5
      Python
      •
      MIT License
      •1•4•0•0•Updated May 1, 2025May 1, 2025

    • uclid-org.github.io

      Public
      UCLID5 Website
      HTML
      •0•0•0•0•Updated Dec 19, 2024Dec 19, 2024

    • uclid5-language-vscode

      Public
      uclid5 language support for vscode
      Shell
      •0•3•0•0•Updated May 9, 2024May 9, 2024

    • algaroba

      Public
      An eager SMT solver for Algebraic Data Types (ADTs)
      SMT
      •1•3•0•0•Updated May 8, 2024May 8, 2024

    • upverifier

      Public
      Unbounded Verification of P(-like) Programs
      OCaml
      •
      MIT License
      •3•1•0•1•Updated Jan 7, 2024Jan 7, 2024

    • riscverifier

      Public
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •1•3•0•1•Updated Sep 15, 2023Sep 15, 2023

    • uclid5-ssft22

      Public
      Python
      •
      Other
      •1•2•0•0•Updated Mar 17, 2023Mar 17, 2023

    • rtl2model

      Public
      a compositional framework for hardware lifting
      Python
      •1•4•0•0•Updated May 25, 2022May 25, 2022

    • tool_paper_artifact

      Public
      Scala
      •
      Other
      •0•0•0•0•Updated May 24, 2022May 24, 2022

    • uclid-riscv

      Public
      Architectural models for RISC-V assembly
      C
      •0•4•0•0•Updated Mar 10, 2022Mar 10, 2022

    • trusted-abstract-platform

      Public
      Makefile
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•1•0•Updated Oct 13, 2021Oct 13, 2021

    • chiselucl

      Public
      ChiselUCL: Utilities for generating UCLID5 models from Chisel and FIRRTL descriptions
      Scala
      •
      Other
      •1•7•1•2•Updated Apr 27, 2021Apr 27, 2021

    • medley-solver

      Public
      Python
      •1•6•0•0•Updated Apr 15, 2021Apr 15, 2021