Miodrag Milanovic 921d909caa Initial new driver

2026-09-03 09:32:05 +02:00

..

bigint

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

boost_regex @ 2b3ac0834f

Slang frontend integration

2026-07-06 15:49:56 +02:00

cxxopts @ 4bf61f0869

driver: switch to cxxopts, replace -B

2024-10-09 15:21:34 +02:00

dlfcn-win32

Fix Windows portability issues that break MSVC build.

2026-06-03 08:58:11 +00:00

ezsat

ezsat add propagation budget api.

2026-08-05 12:57:56 +02:00

flex

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

fmt @ a00f82c6b6

Updated vendored fmt to 12.2.1

2026-08-01 13:25:27 +02:00

fst

Update lz4 to 1.10.0 for CVE-2014-4715, CVE-2021-3520, CVE-2019-17543

2026-06-18 07:00:59 +00:00

json11

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

minisat

use env for bash

2026-06-05 09:18:05 +02:00

sha1

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

slang @ e222e7dc02

Update slang and sv-elab to latest

2026-08-12 13:13:30 +02:00

subcircuit

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

symfpu @ 5d5e508674

Update constids to fix leaks

2026-07-20 11:53:55 +02:00

tomlplusplus @ a43ad37872

Slang frontend integration

2026-07-06 15:49:56 +02:00

CMakeLists.txt

Initial new driver

2026-09-03 09:32:05 +02:00