Jonas Thörnblad 6ca64526bb Fix handling of RNG seed ... * Fix truncation of output seed value from 64 bits to 32 bits (int instead of uint64) when written to json file. * Fix input seed value conversion when --seed option is used. * Remove input seed value scrambling (use of rngseed()) when --seed or --randomize-seed option is used since the output seed value will be the scrambled value and not the seed that was actually supplied or generated.		2024-09-18 16:29:32 +02:00
..
kernel	Fix handling of RNG seed	2024-09-18 16:29:32 +02:00
place	clangformat	2024-06-18 13:54:12 +02:00
route	run clangformat	2023-12-26 09:54:34 +01:00
version.h.in	Change version to git describe and make set-able from outside	2020-01-11 11:38:45 +01:00