|
|
741bb33544
|
nix: migrate to 'ruff'
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:45:57 +00:00 |
|
|
|
8618c81b2f
|
nix: bump flake inputs
|
2024-11-23 18:42:21 +00:00 |
|
|
|
37d878da27
|
nix: use 'main' branch for 'flake-utils'
|
2023-12-01 19:28:29 +00:00 |
|
|
|
31c0f09981
|
nix: use 'nixpkgs-unstable'
|
2022-12-01 10:02:48 +01:00 |
|
|
|
46864fc490
|
nix: bump flake inputs
|
2022-12-01 10:02:48 +01:00 |
|
|
|
fcb74b375f
|
nix: fix 'pyright'
|
2022-12-01 10:02:48 +01:00 |
|
|
|
d35e1d43d6
|
nix: add z3 to python environment
|
2021-12-26 17:46:51 +01:00 |
|
|
|
289b1ce455
|
nix: use proper python environment
|
2021-12-26 17:46:51 +01:00 |
|
|
|
b1f325432c
|
nix: add tools to devShell
|
2021-12-13 18:06:02 +01:00 |
|
|
|
1337f92ef3
|
nix: add flake
|
2021-12-13 14:28:59 +01:00 |
|
