20 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
ying tong	d0dd58e610	Remove unnecessary gate; update comments.	2022-06-25 14:58:24 -04:00
therealyingtong	5129aa65d0	decompose_range_check: Fix typo and add more comments.	2022-06-25 14:58:24 -04:00
therealyingtong	92c3454425	decompose_range_check: Spec and skeleton structure.	2022-06-25 14:58:24 -04:00
ying tong	434c7c35c4	Merge pull request #7 from Janmajayamall/patch-2 ... Fixes lookup table in comment	2022-06-23 10:44:55 -04:00
Janmajayamall	82f0fa5f9a	Fixes lookup table in comment	2022-06-23 17:58:19 +05:30
ying tong	7248ebbec6	Merge pull request #5 from icemelon/patch-range-check ... range_check: Fix range_check closure.	2022-06-22 04:51:32 -04:00
therealyingtong	865484355d	range_check: Fix range_check closure. ... Co-authored-by: Daira Hopwood <daira@jacaranda.org>	2022-06-22 04:42:16 -04:00
ying tong	8662bb59bb	Merge pull request #4 from icemelon/patch-range-check-ex-2 ... [range_check] Patch example_2	2022-06-22 04:33:32 -04:00
therealyingtong	6c0dc3042b	range_check: Patch example_2.	2022-06-22 04:32:12 -04:00
ying tong	b85b595009	Merge pull request #3 from icemelon/range-check ... Range check example (broken)	2022-06-21 22:17:27 -04:00
therealyingtong	48337d735a	Add broken example 3.	2022-06-21 22:10:40 -04:00
therealyingtong	9bd090ae15	Range-check example 2 (with lookup).	2022-06-21 18:42:45 -04:00
therealyingtong	28637c2774	Add range-check example 1.	2022-06-21 18:42:45 -04:00
ying tong	2b3ced2e84	Merge pull request #2 from icemelon/cleanup ... Cleanups	2022-06-21 18:42:18 -04:00
therealyingtong	d46f8d4fb7	Clippy fixes	2022-06-21 17:12:18 -04:00
therealyingtong	4b639778d1	cargo fmt	2022-06-21 16:46:36 -04:00
therealyingtong	bb46947142	Move fibonacci examples into fibonacci module.	2022-06-21 16:46:20 -04:00
AtHeartEngineer	0fed4af1fb	Fixed plotting command (#1)	2022-06-21 13:36:23 -07:00
Haichen Shen	0bab780576	add new examples	2022-06-16 14:04:13 -07:00
Haichen Shen	869d126132	init	2022-06-14 12:16:09 -07:00