fiction

fiction copied to clipboard

💥 Introducing `ClusterComplete`: Exact SiDB Logic Simulation with well over 50 DBs

34

## Description This rather extensive PR introduces the groundbreaking _ClusterComplete_ exact simulator to `fiction`. It relies on the concept of "State Space Pruning in a Cluster Hierarchy", which is demonstrated...

wlambooy

✨ Defect-aware on-the-fly SiDB circuit designer

6

## Description This PR adds the `defect-aware on-the-fly SiDB circuit designer` and supports all 2 input functions. ## Checklist: - [x] The pull request only contains commits that are related...

Drewniok

## Description WIP: Some restructuring of the CI system - Deprecate macOS-12 support ## Checklist: - [ ] The pull request only contains commits that are related to it. -...

marcelwa

🐛 Fix exclude pattern in clang-tidy-review.yml

1

## Description Clang-tidy did not exclude all files specified in the exclude pattern due to whitespaces, which are not stripped correctly. Minimal code example taken from https://github.com/ZedThree/clang-tidy-review: ``` import fnmatch...

simon1hofmann

✨ Wiring reduction

7

## Description Wiring reduction algorithm ## Checklist: - [x] The pull request only contains commits that are related to it. - [x] I have added appropriate tests and documentation. -...

simon1hofmann

🚧 Displacement Robustness Domain Simulation

1

## Description This PR presents the first version of the _Displacement Robustness Domain Simulation_. It is a starting point and further ideas will be incorporated step by step. ## Checklist:...

Drewniok

⬆️ Bump pre-commit hooks

4

updates: - [github.com/pre-commit/pre-commit-hooks: v4.5.0 → v4.6.0](https://github.com/pre-commit/pre-commit-hooks/compare/v4.5.0...v4.6.0) - [github.com/sirosen/texthooks: 0.6.2 → 0.6.6](https://github.com/sirosen/texthooks/compare/0.6.2...0.6.6) - [github.com/pre-commit/mirrors-clang-format: v17.0.4 → v18.1.4](https://github.com/pre-commit/mirrors-clang-format/compare/v17.0.4...v18.1.4)

pre-commit-ci[bot]

⬆️ Bump the submodules group across 1 directory with 2 updates

2

Bumps the submodules group with 2 updates in the / directory: [libs/Catch2](https://github.com/catchorg/Catch2) and [libs/json](https://github.com/nlohmann/json). Updates `libs/Catch2` from `838f8d7` to `f232072` Commits f232072 Fix build on ARM64EC (#2858) 8e80b8f conanfile: set...

dependabot[bot]

Introduce input sort

5

## Description Network_ordering utilizes following files: - (NEW_FILE)ortho_ordering_network.hpp: implementation of the algorithm - (NEW_FILE)inverter_balancing.hpp: given a fanout node with two inverters as fanouts, the inverters are replaced by one inverter...

hibenj

:zap: Collection of optimizations and a bug fix for `charge_distribution_surface`

21

## Description This PR introduces a collection of optimisations, mainly with regard to `charge_distribution_surface`. The commit messages describe the changes that are made. Most prominently, we have: - Fixed a...

wlambooy