Commits

History for

Commits on Nov 15, 2024

🐳 Unify Dockerfile labels to conform to the Open Container Initiative (OCI) standard (#580 )
marcelwa
authored

Commits on Nov 5, 2024

🐳 Improved the Docker workflow (#558 )
marcelwa
authored

Commits on Aug 14, 2024

⬆️ Upgrade Z3 to Version 4.13.0 in CLI Workflow and Docker. (#498 )
Drewniok
authored

Commits on Apr 29, 2024

🎨 Refactored the technology mapping interface (#278 )

authored

Commits on Apr 26, 2024

⬆️ Bump the submodules group across 1 directory with 3 updates (#421 )

dependabot[bot]
and
marcelwa
authored

Commits on Sep 23, 2023

🏗️ Overhauled and modernized the build system (#288 )
marcelwa
authored

Commits on Jul 12, 2023

📝 Fixed remaining fragments from the move to cda-tum and adjusted the tracking of publications (#249 )
marcelwa
authored

Commits on May 12, 2023

⚡ Use mold instead of ld for faster link times (#210 )
marcelwa
authored

Commits on May 11, 2023

💚 Fixed the Docker CI by installing Z3 via pip (#208 )
marcelwa
authored

Commits on Sep 28, 2022

👷 Z3 setup action (#58 )
marcelwa
authored

Commits on Sep 27, 2022

👷 Docker Image CI (#55 )
marcelwa
authored

Commits on Aug 7, 2022

🔧 Updated the Dockerfile (#48 )
marcelwa
authored

Commits on Jan 27, 2022

There are people who think that things that happen in fiction do not really happen. These people are wrong. (v0.4.0) (#10 )
marcelwa
authored

Commits on Jan 7, 2021

Sometimes fiction is more easily understood than true events (v0.3.2) (#9 )
marcelwa
authored

Commits on Dec 5, 2019

Create Dockerfile (#5 )

mKay00
authored and
marcelwa
committed

Loading