 Bruno BELANYI
|
a9e68c07d6
|
nix: use 'nixpkgs-unstable'
|
2024-11-23 18:50:16 +00:00 |
|
|
Bruno BELANYI
|
c5861c0b22
|
nix: bump flake inputs
|
2024-11-23 18:50:16 +00:00 |
|
|
Bruno BELANYI
|
4efa9d74e3
|
nix: fix 'pyright'
|
2024-11-23 18:50:16 +00:00 |
|
|
Bruno BELANYI
|
0d3efefaa5
|
nix: add z3 to python environment
|
2024-11-23 18:50:16 +00:00 |
|
|
Bruno BELANYI
|
f42b43d8bc
|
nix: use proper python environment
|
2024-11-23 18:50:16 +00:00 |
|
|
Bruno BELANYI
|
006e9e3ac6
|
nix: add tools to devShell
|
2024-11-23 18:50:16 +00:00 |
|
|
Bruno BELANYI
|
0547c87c24
|
nix: add flake
|
2024-11-23 18:50:16 +00:00 |
|