Commit graph

Select branches

Hide pull requests

boolean

boolean-nojunk

commute-rules

cred

erase

main

master

norm

norm-take2

norm-take3

normalization

normalization-2

sigma-type

Mono Color

• 393a022f04 Fix Abs_EPar Yiyun Liu 2024-12-20 22:56:08 -05:00
• a9de3013c9 Revise the par reduction relation master Yiyun Liu 2024-12-20 16:26:32 -05:00
• 67bcc69de7 par eta is too complex Yiyun Liu 2024-12-20 16:19:35 -05:00
• 9dda22dae2 Work on Abs_EPar Yiyun Liu 2024-12-17 01:55:28 -05:00
• a285b44a46 Add more cases Yiyun Liu 2024-12-17 00:41:32 -05:00
• 45bc061b4d Change the definition of commutativity Yiyun Liu 2024-12-16 21:41:29 -05:00
• b0dbcba2d0 Add dependent inversion principle Yiyun Liu 2024-12-16 19:56:27 -05:00
• d723ee4675 Revise reduction rules Yiyun Liu 2024-12-16 18:00:08 -05:00
• ace1325da8 Add rules Yiyun Liu 2024-12-13 11:09:00 -05:00
• 145e316a4b Initial commit Yiyun Liu 2024-12-11 23:52:57 -05:00