Menu

Code Commit Log


Commit Date  
[r386] by nerius

Commenting out the reductions that aren't necessary.

2023-04-10 21:12:33 Tree
[r385] by nerius

This seems to be a complete set of reductions.

2023-04-10 20:19:30 Tree
[r384] by nerius

Adding some more negation simplifications.

2023-04-10 19:46:48 Tree
[r383] by nerius

Adding a few more missing reductions.

2023-04-10 19:43:35 Tree
[r382] by nerius

Still looking for missing reductions.

2023-04-10 19:28:29 Tree
[r381] by nerius

Adding some missing reductions.

2023-04-10 19:17:44 Tree
[r380] by nerius

Still working on the rotation reductions.

2023-04-10 18:40:29 Tree
[r379] by nerius

Adding some more missing transforms.

2023-04-10 17:39:46 Tree
[r378] by nerius

Filling some missing reductions. Not done yet I think.

2023-04-10 17:29:17 Tree
[r377] by nerius

I think I fixed a bug. I don't know how correct this is. Still testing. This
code is so complex that it seems to make my head turn upside down; I wonder
about the secrets of the Universe as I work on this code. It's so awe-
inspiring that I think I have to make a video explaining it.

2023-04-10 16:48:02 Tree
Older >