Juergen Stuber
|
7fe895f041
|
Replace the local implementation of 2d geometry by lowdim
This also forces an update of the rand dependency,
so while we are at it we update all the dependencies.
|
2023-04-10 01:00:41 +02:00 |
|
Juergen Stuber
|
7bf5bf22d4
|
Fix Eq for Move so that it agrees with Ord, as required.
|
2018-12-03 20:36:50 +01:00 |
|
Juergen Stuber
|
e60c0b26eb
|
Use priority queue for next move to make in mazes.
This is the proper data structure to use.
No more of this regularly resorting a vector rubbish.
|
2018-12-03 20:20:04 +01:00 |
|
Juergen Stuber
|
c4d45a9016
|
Draw time of day in the mazes.
|
2018-12-02 15:57:24 +01:00 |
|
Juergen Stuber
|
4c5d693dfd
|
Display priorities.
|
2018-12-02 15:56:26 +01:00 |
|
Juergen Stuber
|
3158928015
|
Fix 7 segment order.
Segments for bits 4 and 5 were swapped with respect to the standard order.
|
2018-12-02 15:54:22 +01:00 |
|
Juergen Stuber
|
85ff8c6c62
|
Adapt methods from dual maze to original maze.
|
2018-12-02 14:39:59 +01:00 |
|
Juergen Stuber
|
af5e1db20a
|
Replace macros for 2d literals by functions.
|
2018-12-02 14:21:59 +01:00 |
|
Juergen Stuber
|
3389551f05
|
Rename everything from suffix 2 to 2d for clarity.
|
2018-12-01 10:03:58 +01:00 |
|
Juergen Stuber
|
c3ca8888fd
|
Factor out two-dimensional arithmetic from maze.
|
2018-11-30 22:15:25 +01:00 |
|
Juergen Stuber
|
610c864cd9
|
Factor out color handling into common module.
|
2018-11-30 20:34:08 +01:00 |
|
Juergen Stuber
|
e15ac35f18
|
Darken the blue.
|
2018-11-28 22:11:14 +01:00 |
|
Juergen Stuber
|
742184580e
|
Make walls blue again.
|
2018-11-28 22:03:40 +01:00 |
|
Juergen Stuber
|
e90e8072c3
|
Use darker brown for walls.
|
2018-11-28 19:00:02 +01:00 |
|
Juergen Stuber
|
e43b0271a9
|
Try different brown.
|
2018-11-28 18:57:09 +01:00 |
|
Juergen Stuber
|
354a0cf4b2
|
Color walls brown.
|
2018-11-28 18:54:10 +01:00 |
|
Juergen Stuber
|
793fc69e1e
|
Start drawing the maze immediately to avoid flicker.
|
2018-11-28 18:24:51 +01:00 |
|
Juergen Stuber
|
759c9c4f8a
|
Initial commit.
|
2018-11-28 16:02:33 +01:00 |
|