 Bruno BELANYI
|
43650ade44
|
nix: migrate to 'ruff' formatting
Having just the one tool is better.
Incidentally, this fixes the ternary formatting, which was messed up in
recent `black` versions.
|
2024-11-23 18:50:16 +00:00 |
|
|
Bruno BELANYI
|
94befa4d1b
|
nix: bump flake inputs
|
2024-11-23 18:50:16 +00:00 |
|
|
Bruno BELANYI
|
d392ae4f4a
|
nix: use 'main' branch for 'flake-utils'
|
2024-11-23 18:50:16 +00:00 |
|
|
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 |
|