Menu

Code Commit Log


Commit Date  
[r389] by nerius

Remove some dead code etc.

2023-04-11 02:03:19 Tree
[r388] by nerius

Modify generate-blocks-sources.

2023-04-11 01:44:50 Tree
[r387] by nerius

Work on the even rotations.

2023-04-11 01:34:05 Tree
[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
Older >