Commit graph

101 commits

Author SHA1 Message Date
ba4359ae59 * Incorporate decimal conversion to conversion function 2023-12-18 23:29:46 +03:00
07c225238b + Aprroximate comparisons for arbitrary reals 2023-12-18 23:02:59 +03:00
9b5348d431 + Conversion of number from string 2023-12-18 02:49:39 +03:00
7f62b51b5b + Quad(-double) precision floating point (not tested) 2023-12-06 02:24:57 +03:00
9a9db07052 + Big integer multiplication 2023-12-03 23:17:26 +03:00
a2fec05e39 * Big numbers: removed variable lower bound 2023-12-03 19:20:47 +03:00
7b870b2689 + big integer subtraction 2023-12-03 02:08:16 +03:00
a24cb2ff8a + Commutative function case 2023-12-02 23:35:32 +03:00
4d70e0b1e9 * Big integer tests 2023-12-02 23:09:01 +03:00
d9280b38c9 >refactor< separated binary and unary function test cases 2023-12-02 23:07:30 +03:00
77b59e82a0 >< Rename Function_Test_Cases to just Test_Cases 2023-12-02 22:47:09 +03:00
d3c38bda14 + Self inverse function test case 2023-12-02 22:35:39 +03:00
cf641a9043 * Integers.Big: + Is_Positive, * From_String (Radix syntax) 2023-12-02 02:36:21 +03:00
be4eda6cc0 * Big integers 2023-12-01 20:57:21 +03:00
fb54e1b414 * More extensible arithmetic 2023-08-17 13:26:31 +03:00
83f4aeefd3 Merge branch 'master' of git.disroot.org:Vovanium/VSSL 2023-07-14 00:45:20 +03:00
3d83703ee8 + Extensible arithmetic test 2023-07-14 00:30:41 +03:00
ba090561ea + separate package for common testing type traits 2023-07-14 00:29:46 +03:00
Vovanium
5946d89d87 * Fixed point Root functions fast result order estimation 2023-07-13 19:40:01 +03:00
Vovanium
5ac2fffd92 + Odd function test framework 2023-07-13 19:39:00 +03:00
0df23e1112 * factored out naked big number arithmetic code 2023-07-13 01:32:14 +03:00
Vovanium
7fd311cc3f * precision of fixed point cube_root improved (now passes all tests) 2023-07-12 19:43:57 +03:00
0842ca1dde * big integers (+ add test to alire build) 2023-07-10 00:43:08 +03:00
dd7acc012e + big integer implementation stub 2023-07-08 01:46:43 +03:00
bbf2f969a1 + Figurate numbers 2023-06-19 17:04:52 +03:00
bd90d6c301 + Is_Prime (not tested) 2023-06-13 14:16:17 +03:00
305a2d6f07 + Non-generic code in decimal big numbers 2023-06-09 02:25:31 +03:00
c2534f63c8 * Some SPARK code 2023-06-09 02:24:57 +03:00
d8d80cd2c8 + Big decimal array addition and multiplication, but it breaks GNAT 2023-06-08 02:49:19 +03:00
Vovanium
37b904bfc0 + Integer elementary functions 2023-06-01 19:44:13 +03:00
Vovanium
4a85462baf * Factoring place counting 2023-06-01 19:43:50 +03:00
Vovanium
783d168b92 * rewrite of Generic_Digit_Arrays.Set to prove correctness 2023-06-01 19:13:00 +03:00
Vovanium
41a731c95a Try to prove Integers.Generic_Digit_Arrays.Set 2023-05-31 19:43:28 +03:00
Vovanium
a5525ecc79 * Currently excluding some units from SPARK analysis as they produce lots of overflow messages 2023-05-31 16:48:05 +03:00
Vovanium
1b54f2a8b1 * some constraints on fixed point and its functions 2023-05-30 19:40:07 +03:00
Vovanium
c663768256 * SPARK validation bronze level 2023-05-30 19:06:48 +03:00
Vovanium
463d3a7ea7 * split native and cross builds 2023-05-30 19:04:48 +03:00
f2c93932bf + Fixed_Point Rounding functions 2023-03-11 00:41:14 +03:00
5945119d4a + -ggdb option 2023-03-11 00:40:38 +03:00
bcf6033111 + Fixed_Point.Approximate_Absolute 2023-03-10 20:20:37 +03:00
5aa1c4aaf8 * Quaternion test to Approximate comparison 2023-03-08 01:14:56 +03:00
113fc8b83c + Approximate test 2023-03-08 01:14:38 +03:00
0966b79b86 + Relative and combined approximate 2023-03-08 00:48:49 +03:00
303b450036 * Generic name for Approximate to keep convention 2023-03-08 00:24:12 +03:00
cd6c37d326 + approximate equality tests 2023-03-07 01:05:01 +03:00
bab9ced04d * prefix and suffix in function tests for prettier print 2023-03-07 00:59:55 +03:00
e388b08d4f - dead code 2023-03-07 00:41:40 +03:00
59159671d9 + Float Quaternions 2023-03-06 22:45:37 +03:00
1a76c44b5c % printing argument in Binary_Function_Case test 2023-03-06 22:23:08 +03:00
7be909be6b + Function test helper 2023-03-06 22:00:53 +03:00