Repository navigation

Draft: nix - #686

Closed

yaitskov wants to merge 18 commits into

Copilot-Language:masterfrom

Closed

Draft: nix#686
yaitskov wants to merge 18 commits into
Copilot-Language:masterfrom
yaitskov:nix

Commits on Nov 14, 2025
- nix ignore nix output dir
  yaitskov
  committed
  0950522
- nix note bluespec test long execution time
  yaitskov
  committed
  7118445
- nix resolve version collision among cabal packages: crux what4 llvm-pretty
  yaitskov
  committed
  999d8b3
- nix use cabal2nix for every subpackage
  yaitskov
  committed
  5c3b89c
- nix remove dead nix lines
  yaitskov
  committed
  3c1c7cf
- nix extract from importZ clang and llvm into separate functions
  yaitskov
  committed
  caabb9f
- nix remove cabal.project because cabal in nix-shell breaks
  yaitskov
  committed
  5d9e5b4
- nix dead code
  yaitskov
  committed
  7b46f5c
- nix sync llvm and clang versions as 16
  yaitskov
  committed
  5eab31e
- nix copilot-verifier/shell.nix
  yaitskov
  committed
  02a7249
Commits on Nov 15, 2025
- nix nix CI
  yaitskov
  committed
  8e03a6b
- nix split commands on CI
  yaitskov
  committed
  e52d031
- nix turn off wrapv in tests and shell to make AbsIntMin-fail test pass
  yaitskov
  committed
  bb1e7d1
- nix deduplicate nix folder
  yaitskov
  committed
  d419237
- nix setup HLS in core
  yaitskov
  committed
  51adbf6
- nix setup HLS in prettyprinter
  yaitskov
  committed
  2adb2ad
- nix setup HLS in interpeter
  yaitskov
  committed
  d764bd0
- nix setup HLS in rest of modules
  yaitskov
  committed
  a206953