Commit Graph

Select branches

Hide Pull Requests

feature/language-rust

generate_core

master

Mono Color

• 1ea75721fd Generate multiple modules, instead of one. feature/language-rust Adam Wick 2020-04-26 19:54:22 -07:00
• a622aa9cc9 Trying to limit some of the instructions we do in Karatsuba multiplication ... Adam Wick 2020-04-26 19:53:40 -07:00
• 9ee668daad Replace Variable Strings with Words. Adam Wick 2020-04-12 19:53:42 -07:00
• 0483bb8692 [CHECKPOINT] Adjust the Karatsuba implementation to abstract Variables from Strings Adam Wick 2020-04-12 19:52:00 -07:00
• 2baa5f070d Target generation, ideally, to those files we'll need for doing crypto. Adam Wick 2020-04-12 19:51:29 -07:00
• f93aa7ffc3 A few small changes to try to make generation faster. Adam Wick 2020-03-02 15:20:33 -08:00
• 9c76d7e0b4 Switch to a more dynamic, time-based test generation scheme. Adam Wick 2020-03-01 16:56:17 -08:00
• 71451617f9 Generate one file per type, rather than ... quite a few. Adam Wick 2020-03-01 15:51:35 -08:00
• b995c1705f Add some more (in some cases, temporary) ignores to .gitignore. Adam Wick 2020-03-01 13:16:45 -08:00
• af983adf1a Define a ModInv trait, and clean up some lingering warnings. Adam Wick 2020-02-09 17:03:33 -08:00
• 2617609bf6 Fix conversions and modinv. Adam Wick 2020-02-09 17:12:23 -06:00
• d8a2e66e7c Sort out signed shifts. Adam Wick 2020-02-07 16:59:15 -06:00
• 6dd32647b5 Fix signed addition and subtraction. Adam Wick 2020-02-07 16:03:49 -06:00
• 89c297525a Improve the state of building, moving towards addition working for signed numbers. Adam Wick 2020-01-23 16:09:11 -08:00
• ac01aad415 Unnecessary concurrency and terminal silliness. Adam Wick 2020-01-18 10:33:07 -08:00
• b3fcd4715e All the infrastructure to eventually to modinv. Don't try to use any of this yet. Adam Wick 2020-01-17 20:44:41 -08:00
• e46cfe56d1 Support generating signed numbers. Adam Wick 2020-01-14 12:13:40 -10:00
• 4383b67c44 Unsigned modular operations. Adam Wick 2020-01-10 09:05:11 -10:00
• 4b8d0b3f09 Better support for conversions between number types. Adam Wick 2020-01-10 09:04:47 -10:00
• 8c5f18cb7c Commit the start of the work on modular X before I worry about From. Adam Wick 2020-01-08 15:19:34 -10:00
• 3e82008189 Clean up an import. Adam Wick 2020-01-08 08:55:07 -10:00
• 2888164814 Division / modulus! Adam Wick 2020-01-07 18:51:29 -10:00
• c1d2922ab2 Fix number printing again. Adam Wick 2020-01-07 18:51:07 -10:00
• 00e59673f7 Support scaling values by primitive types. Adam Wick 2020-01-06 13:16:11 -08:00
• a35d0df6da Multiply works! Adam Wick 2020-01-06 12:25:38 -08:00
• d8c752fad3 Start working on generating multiplies via Karatsuba. Adam Wick 2019-12-30 20:38:28 -08:00
• e5fa103db0 Support subtraction. Adam Wick 2019-11-27 16:23:52 -08:00
• 4d724a5a6e Fix printing. Adam Wick 2019-11-27 16:23:13 -08:00
• 14ccd6c2b9 add a project, since the language-rust extensions haven't been released. Adam Wick 2019-11-27 16:23:00 -08:00
• cf80930854 Support addition. Adam Wick 2019-11-27 15:16:15 -08:00
• e223950c9f Remove an unnecessary clone. Adam Wick 2019-11-23 21:05:23 -08:00
• 430401ba54 Fix right shift. Adam Wick 2019-11-23 20:59:21 -08:00
• 8c4b369911 Fix left shift. Adam Wick 2019-11-23 20:36:21 -08:00
• ba587cb37f Start trying to generate shift code. Adam Wick 2019-11-04 17:08:16 -08:00
• ed07a0855d Tests, that work! Adam Wick 2019-10-31 18:56:10 -04:00
• c52dadcf22 Some commits in the way of cleaning up the Rust and generating module lists. Adam Wick 2019-10-31 16:37:16 -04:00
• 3b0bd25dfa Clean out the old testdata work. Adam Wick 2019-10-31 16:36:19 -04:00
• 0dec5815dc Fix a bunch of build errors. Adam Wick 2019-10-24 08:46:42 -07:00
• 620048bce6 Complete the shift over to language-rust. Adam Wick 2019-10-22 22:06:34 -07:00
• 2400b10fbc Start working on switching to language-rust as a generator, for fun. Adam Wick 2019-10-22 20:12:08 -07:00
• 84f6925f60 Infrastructure for generating test data. generate_core Adam Wick 2019-08-17 21:37:17 -07:00
• 4ae957aac6 Preliminary support for generating test vectors. Adam Wick 2019-08-15 20:24:04 -07:00
• f4a3cf69ad Add some more serialization quickchecks. Adam Wick 2019-08-04 16:54:34 -07:00
• d7665acf64 Add a bunch of QuickCheck properties for binary operators. Adam Wick 2019-07-30 18:24:49 -07:00
• 1d8907539d Get back to basics, with some basic tests working. Adam Wick 2019-07-30 16:23:14 -07:00
• 203c23e277 Add from_bytes() and to_bytes() to CryptoNum, and do a basic implementation of from_bytes(). Adam Wick 2019-07-23 21:05:20 -07:00
• aff88eb2f0 Support a more complete (and simple) requirements gathering mechanism, and add support for binary operations. Adam Wick 2019-07-22 08:14:40 -07:00
• ab465296f2 The basic binary operations. Adam Wick 2019-07-15 21:00:12 -07:00
• fa872c951a Start experimenting with full generation of all of the numeric types. Adam Wick 2019-07-15 17:39:06 -07:00
• 666378b14b Add support for bitwise and and or on unsigned numbers. master Adam Wick 2019-05-27 21:41:05 -07:00
• 83ed5bc0ba Remove an unnecessary #[macro_use] Adam Wick 2019-05-14 21:49:24 -07:00
• cac39b0e50 Always generate Arbitrary instances, not just with cfg(test) Adam Wick 2019-04-03 19:47:07 -07:00
• 037413ad15 Start tracking the TODO list. Adam Wick 2019-02-11 16:36:11 -05:00
• fbee1f2729 Add modular multiplication suppor for U384 and U576. Adam Wick 2019-02-11 12:34:59 -08:00
• 2d70341a58 Remove a cabal config file that seems to have been accidentally captured. Adam Wick 2019-02-10 17:43:05 -08:00
• d49c85538c Remove a bunch of test data we don't appear to be using. Adam Wick 2019-02-10 17:41:41 -08:00
• 10b70139f2 Some additional helpers for ECDSA signing. Adam Wick 2019-02-04 17:23:45 -08:00
• 2d863c1907 Add support for directly defining unsigned values. Adam Wick 2019-02-04 17:23:27 -08:00
• d189331312 Try to simplify the multiplication loop, to get better optimization, and add a bunch of missing test cases. Adam Wick 2019-01-30 20:34:38 -08:00
• 56fb154c90 Fix the QuickCheck logic for back conversion. Adam Wick 2019-01-08 09:48:28 -08:00
• 3b0e2a84d9 Support for squaring of signed numbers. Adam Wick 2019-01-08 09:48:11 -08:00
• c5fa23c4bd Fix the requirements for ECDSA math. Adam Wick 2019-01-08 09:47:47 -08:00
• 4114db21be Add support for scaling numbers by primitive types. Adam Wick 2019-01-01 20:50:09 -08:00
• 69312c6a42 Update moddiv to use the new signed operators. Adam Wick 2019-01-01 20:48:48 -08:00
• 6268491168 Extra little conversion check. Adam Wick 2019-01-01 20:47:40 -08:00
• a4ead1ec3d Add additional test files. Adam Wick 2018-12-30 17:54:08 -08:00
• 7da10f5fa4 Clean up requirements. Adam Wick 2018-12-30 17:51:22 -08:00
• dc6732a875 Don't ignore assertions in the test files. (Whoops) Adam Wick 2018-12-30 17:15:18 -08:00
• c55a1956d4 Add support for modular division with negative divisors. Adam Wick 2018-12-30 17:14:52 -08:00
• 130a87ef43 Add support for signed modular inversion. Adam Wick 2018-12-30 17:14:11 -08:00
• a6a82773d3 Add additional support for GCD on signed numbers. Adam Wick 2018-12-30 17:13:01 -08:00
• 14fd156d3c Add the obvious conversion from u64 to signed values. Adam Wick 2018-12-30 17:09:48 -08:00
• ae8266885b Support modular division of signed numbers. Adam Wick 2018-12-23 21:55:07 -08:00
• 2480bafe06 Remove some lingering debugging prints. Adam Wick 2018-12-23 21:45:51 -08:00
• 70a082363a Add a testbit() operationg. Adam Wick 2018-12-23 21:05:27 -08:00
• 85165c7f68 Address some missing operations for ECDSA. Adam Wick 2018-12-23 21:05:05 -08:00
• 6c40ee5109 Support signed multiplication and division, for ECDSA. Adam Wick 2018-12-23 20:24:20 -08:00
• b52dd4d355 Support in-place division, multiplication, and modulos. Adam Wick 2018-12-23 20:23:36 -08:00
• 364b0d168b Update against deprecated API. Adam Wick 2018-12-23 20:22:27 -08:00
• 2b9f5ea7a2 Support unsigned integral square root computations. Adam Wick 2018-11-30 11:28:20 -08:00
• 0ec5f90d8e Ridiculously over-build the testing infrastructure. Adam Wick 2018-11-29 17:05:33 -08:00
• 60d7dd3af5 Add support for random numbers, and prime generation and testing. Adam Wick 2018-11-29 17:03:33 -08:00
• 62e36d79cb Add a bit length function that's handy for macros. Adam Wick 2018-11-14 21:33:58 -05:00
• 1a2f3aaa7a Open up the Barrett number construction / debugging a bit. Adam Wick 2018-11-06 21:54:32 -08:00
• de5ff87f9e Add some property testing, and fix a bug it found. Adam Wick 2018-11-06 21:53:47 -08:00
• ccde640f99 Clean up the operation dependency, to get a better approximation of the types/operations needed. Adam Wick 2018-11-06 21:52:51 -08:00
• 1cb77de521 Add some lightweight documentation. Adam Wick 2018-10-27 15:01:38 -07:00
• 0bec74b18c Clean up the code around zero handling. Adam Wick 2018-10-27 15:01:16 -07:00
• 45f7df00d8 Modular inverse computation. Adam Wick 2018-10-26 21:28:48 -07:00
• 89e2dfc6ef Base implementation of signed numbers and EGCD, with tests. Adam Wick 2018-10-15 19:16:25 -07:00
• d43f0bcd42 Add the ability to ignore tests, so that day-to-day testing only takes a little while. Adam Wick 2018-10-08 20:34:36 -07:00
• a251b7a294 Generate better tests, with fewer repeating results. Adam Wick 2018-10-08 20:32:51 -07:00
• 24ad31df0d Barrett versions of modsq/modmul/modexp, with tests. Adam Wick 2018-10-04 20:52:41 -07:00
• fe43949684 Fix an issue in Barrett reduction. Adam Wick 2018-10-04 20:00:46 -07:00
• 78750598a5 Basic mathematics for unsigned integers ported over, tests pass. Adam Wick 2018-10-04 10:40:11 -07:00
• 3678ffdd6c Be a little bit more careful about what items we do and don't include, start adding modular math into the system. Adam Wick 2018-10-02 13:37:39 -07:00
• 19a298e56c Barrett reduction! And number formatting. Adam Wick 2018-09-28 18:46:01 -05:00
• 304d009a67 Now with tests for the basic algorithms. Adam Wick 2018-09-28 17:48:35 -05:00
• 3b68363b49 Initial commit! Adam Wick 2018-09-26 14:47:30 -05:00