|
|
eedce14df4
|
Add git-check-assertions
|
2026-02-22 20:26:44 +01:00 |
|
|
|
28e05ee220
|
buildInputs -> packages
https://discourse.nixos.org/t/difference-between-buildinputs-and-packages-in-mkshell/60598/2
|
2026-02-21 18:26:16 +01:00 |
|
|
|
40194785df
|
Migrate to slnx
|
2026-02-21 17:35:29 +01:00 |
|
|
|
aedaf216f4
|
Enable mosquitto in night-light
|
2026-02-21 17:35:29 +01:00 |
|
|
|
6055b9417a
|
Don't do callPackage twice
|
2026-02-21 17:35:28 +01:00 |
|
|
|
a7d27d91b4
|
Add night-light to the module
|
2026-02-21 17:35:28 +01:00 |
|
|
|
5aab908591
|
Add a night-light module
|
2026-02-21 17:35:28 +01:00 |
|
|
|
5961a65af5
|
nix flake update
|
2026-01-31 14:23:52 +01:00 |
|
|
|
ddc4ae4f97
|
Add a devshell
|
2026-01-31 14:23:52 +01:00 |
|
|
|
9b2d17984f
|
Change start of day
|
2026-01-27 20:04:33 +01:00 |
|
|
|
90fe37eacc
|
Update to .NET 10
|
2026-01-23 20:07:03 +01:00 |
|
|
|
59a1b1e41d
|
Bias the TimeChanged generator to make alarms more likely
|
2026-01-20 21:00:02 +01:00 |
|
|
|
fd7d927775
|
Make TimeChanged interactions much more likely
To match reality more closely.
|
2026-01-20 20:13:11 +01:00 |
|
|
|
23d3a7b601
|
Test alarm in existing test
|
2026-01-18 08:03:04 +01:00 |
|
|
|
3d84bb6435
|
Don't start the alarm immediately after a restart
|
2026-01-18 08:02:59 +01:00 |
|
|
|
e5141d528e
|
Label properties with the state of FakeHome
|
2026-01-18 07:07:22 +01:00 |
|
|
|
da5f7ea4df
|
Implement shrinking in the arbitrary
|
2026-01-18 06:40:53 +01:00 |
|
|
|
1265289866
|
Test alternative way to turn on light
|
2026-01-17 18:52:30 +01:00 |
|
|
|
6b73e32cda
|
Implement fading alarm
|
2026-01-17 18:22:37 +01:00 |
|
|
|
3e33e489aa
|
Turn off alarm first so it doesn't override
|
2026-01-17 17:49:06 +01:00 |
|
|
|
953abc5998
|
More preparation for fading alarm
|
2026-01-17 17:07:20 +01:00 |
|
|
|
9104fac638
|
Remove the remoteControlledLights helper value
|
2026-01-17 17:07:08 +01:00 |
|
|
|
0bf13d4c6f
|
Make generateZigbeeCommandsToFixLight accept whole state
|
2026-01-17 16:35:45 +01:00 |
|
|
|
998e3a94fc
|
Remember if the alarm is on
|
2026-01-17 16:31:34 +01:00 |
|
|
|
b55e48ab22
|
Get rid of partOfDayChanged
|
2026-01-17 16:12:16 +01:00 |
|
|
|
bc421bc1a7
|
Introduce generateZigbeeCommandsForDifference
|
2026-01-17 16:07:12 +01:00 |
|
|
|
9fa7037f0e
|
Rename some stuff
|
2026-01-17 15:59:11 +01:00 |
|
|
|
e422f03217
|
Move functions to module level
|
2026-01-17 15:54:31 +01:00 |
|
|
|
1e6788ac48
|
Simplify even more
|
2026-01-17 15:48:47 +01:00 |
|
|
|
9de9aefcdf
|
Simplify a bit
|
2026-01-17 15:37:11 +01:00 |
|
|
|
45210c30d4
|
Use state to steer color and brightness
|
2026-01-17 15:35:27 +01:00 |
|
|
|
437e5bf25d
|
Store more state
|
2026-01-17 15:33:30 +01:00 |
|
|
|
78b57258c1
|
Rewrite construction of newLightToState
|
2026-01-17 15:23:13 +01:00 |
|
|
|
4d8fc44bee
|
Naively move construction of lightToState to first TimeChanged
|
2026-01-17 12:01:07 +01:00 |
|
|
|
78a692bd43
|
Move some types
|
2026-01-17 11:40:31 +01:00 |
|
|
|
275a0677eb
|
Add test for light brightness
|
2026-01-17 11:30:55 +01:00 |
|
|
|
001b1e0af3
|
Fix statistic summary
|
2026-01-17 10:12:31 +01:00 |
|
|
|
62c8e446c9
|
Re-write the remaining tests
|
2026-01-17 10:04:02 +01:00 |
|
|
|
ec90147c07
|
Simplify classify by using collect
|
2026-01-16 23:47:51 +01:00 |
|
|
|
8866053172
|
Introduce ArbitraryInteractions
|
2026-01-16 21:49:38 +01:00 |
|
|
|
d278b5d8ea
|
Rewrite another test to use a more generic generator
|
2026-01-16 21:46:14 +01:00 |
|
|
|
cbc948c005
|
Re-use getPartOfDayAfterInteractions in an ensure... function
|
2026-01-16 21:19:54 +01:00 |
|
|
|
f22f31ee6c
|
Rewrite two tests with Prop.classify instead
|
2026-01-16 21:17:37 +01:00 |
|
|
|
79405b3841
|
Make biasing towards a light optional
|
2026-01-16 20:27:07 +01:00 |
|
|
|
a9331853c0
|
Improve generator names to show that they are biased
|
2026-01-16 20:23:13 +01:00 |
|
|
|
7af3827214
|
Improve test names
|
2026-01-16 20:13:54 +01:00 |
|
|
|
c342f06e82
|
Simplify function names
|
2026-01-16 20:13:54 +01:00 |
|
|
|
d509829304
|
Introduce ensureLastRemoteInteractionIs
|
2026-01-14 22:01:29 +01:00 |
|
|
|
b3689108a7
|
Introduce ensurePartOfDayIs
|
2026-01-14 21:50:47 +01:00 |
|
|
|
8f53033db4
|
Add missing case to genInteraction
|
2026-01-14 21:02:12 +01:00 |
|
