35 Commits

Author	SHA1	Message	Date
Dmitry Vagner	95e5fb5910	cleaner rand	2023-02-27 22:40:39 -08:00
Dmitry Vagner	361d6d7262	tests and stacks	2023-02-07 18:53:58 -08:00
Dmitry Vagner	57146c83bc	miller loop test	2023-02-07 09:18:49 -08:00
Dmitry Vagner	962754be99	rand impl	2023-02-01 19:15:56 -08:00
Dmitry Vagner	ea01e19c41	comment	2023-01-28 14:17:55 +08:00
Dmitry Vagner	f70243e70c	better comments	2023-01-25 15:31:32 +07:00
Dmitry Vagner	9c8f11666f	ocd	2023-01-25 14:15:46 +07:00
Dmitry Vagner	d98c69f0bc	better comments	2023-01-25 14:12:29 +07:00
Dmitry Vagner	75c5938c49	rewrite w methods	2023-01-24 00:01:47 +07:00
Dmitry Vagner	ec4cddb7c9	inv as method	2023-01-23 14:59:08 +07:00
Dmitry Vagner	f34b35eda2	extra comments	2023-01-21 16:11:32 +07:00
Dmitry Vagner	8b670d54d1	meh	2023-01-21 14:26:38 +07:00
Dmitry Vagner	769c615cf1	cleanup	2023-01-21 14:17:01 +07:00
Dmitry Vagner	155e973d06	slight refactor	2023-01-21 13:24:45 +07:00
Dmitry Vagner	d2aa937a2f	improved prover input and test api	2023-01-21 13:19:07 +07:00
Dmitry Vagner	4d783da82d	fmt	2023-01-20 16:05:27 +07:00
Dmitry Vagner	b2f9d885f9	remove redundant macros and improve comments	2023-01-20 15:59:14 +07:00
Dmitry Vagner	922d3ebca8	add module and fix errors	2023-01-20 15:43:17 +07:00
Dmitry Vagner	5f2baea0df	mul test from memory	2023-01-20 13:59:39 +07:00
Dmitry Vagner	7f135fc090	reorg	2023-01-20 12:53:02 +07:00
Dmitry Vagner	eb7d18da2e	fix clippy	2023-01-19 00:59:51 +07:00
Dmitry Vagner	54676487e1	cleaner description	2023-01-19 00:56:18 +07:00
Dmitry Vagner	d6167a630d	complete description	2023-01-19 00:25:40 +07:00
Dmitry Vagner	23698b7474	more comments	2023-01-19 00:08:56 +07:00
Dmitry Vagner	fda4b4c180	more comments	2023-01-18 21:42:16 +07:00
Dmitry Vagner	985e816039	transmute + comments	2023-01-18 20:53:59 +07:00
Dmitry Vagner	6e21538673	comments	2023-01-18 15:11:05 +07:00
Dmitry Vagner	0daaa3bf4e	org	2023-01-18 14:48:05 +07:00
Dmitry Vagner	bc9c431e3b	remove comments	2023-01-18 14:42:30 +07:00
Dmitry Vagner	9977ae03bd	new inverse	2023-01-18 14:41:09 +07:00
Dmitry Vagner	fe91e11920	frob format	2023-01-18 13:11:23 +07:00
Dmitry Vagner	37ad340774	frob format	2023-01-18 12:56:30 +07:00
Dmitry Vagner	ecde3d13b1	frob tests	2023-01-18 11:10:26 +07:00
Dmitry Vagner	be19cb81e3	struct impl style arithmetic	2023-01-17 23:58:36 +07:00
Dmitry Vagner	31c5db91a5	rename module	2023-01-17 16:11:15 +07:00