Rewrite #1

Open
svenvanheugten wants to merge 23 commits from mutannot-rewrite into main

23 commits

Author SHA1 Message Date
c13b257083
nix stuff 2026-05-12 16:47:24 +02:00
cf8f914df0
Update deps.json 2026-05-12 16:44:42 +02:00
9ca9bfd687
Introduce --filter 2026-05-12 16:38:47 +02:00
de5843a783
Simplify Example 2026-05-12 16:34:08 +02:00
9ff53f1803
Remove unnecessary functions in example 2026-05-12 16:31:37 +02:00
500b3f0d8c
Introduce --validateonly 2026-05-12 16:30:23 +02:00
294b2f85a9
Add Argu for argument parsing 2026-05-12 16:24:40 +02:00
ae246d3f36
Improve console output a lot 2026-05-12 16:14:35 +02:00
63d0219e9e
unindented -> unindentPatch 2026-05-12 16:02:33 +02:00
5a521e7bfc
Actually check if the mutant was killed 2026-05-12 08:45:31 +02:00
627e7f76a5
Remove skills 2026-05-12 08:41:29 +02:00
bd7f0e70e1
Run the test after mutating 2026-05-12 08:36:28 +02:00
c93f87d282
Apply the mutations 2026-05-12 08:32:11 +02:00
c6996d5bbf
Move ensureCleanWorkingDirectory to own function 2026-05-12 08:08:58 +02:00
2dc2c288fb
Make mutations patch-based 2026-05-12 08:07:43 +02:00
10ddbef963
Scan assembly for mutations 2026-05-12 07:58:33 +02:00
05deb1f089
Build the project 2026-05-12 07:05:45 +02:00
b429296967
Add usage message 2026-05-12 07:02:02 +02:00
c2e5a01e26
Add git-temp-commit to devshell 2026-05-12 07:02:01 +02:00
442fe5d5d8
Use flake-utils in flake.nix 2026-05-12 07:02:01 +02:00
ccb456d5b0
Add .editorconfig 2026-05-12 07:02:01 +02:00
6728ffeee8
Refuse to run if git repo is dirty 2026-05-12 07:02:01 +02:00
3bc0c4e9e8
Empty Program.fs 2026-05-12 06:36:50 +02:00