feature/modularize-assertions #1

Merged

dsleung merged 3 commits from feature/modularize-assertions into master 2020-11-05 16:39:05 +08:00

Conversation 0 Commits 3 Files Changed 2 +123 -98

3 Commits

Author	SHA1	Message	Date
Donald Sebastian Leung	8b2351d9a7	Add and verify new assertions for sorting network with BMC	2020-11-05 16:34:53 +08:00
Donald Sebastian Leung	7875c1dcd5	Propose new assertions for sorting network (to be implemented)	2020-11-05 11:35:00 +08:00
Donald Sebastian Leung	ffc74fbb85	Remove assertions from within sorting network itself	2020-11-04 12:28:05 +08:00