 Vovanium
|
dad7a34697
|
% Quad_Reals bug fix and tests
|
2023-12-26 05:14:31 +03:00 |
|
Vovanium
|
29b5feb3f3
|
* Quad Reals tests and bug fixes
|
2023-12-19 04:47:20 +03:00 |
|
Vovanium
|
3a8127689c
|
- Floating_Poing.Generic_Approximate* packages (use Reals.Aprroximate)
|
2023-12-19 02:22:41 +03:00 |
|
Vovanium
|
7674a41a5f
|
+ String_to_Quad_Real, "**", Quad_Long_Double
|
2023-12-18 23:48:03 +03:00 |
|
Vovanium
|
620742fc5d
|
>refactor< String_to_Number conversion function to Reals package
|
2023-12-18 23:46:26 +03:00 |
|
Vovanium
|
ba4359ae59
|
* Incorporate decimal conversion to conversion function
|
2023-12-18 23:29:46 +03:00 |
|
Vovanium
|
07c225238b
|
+ Aprroximate comparisons for arbitrary reals
|
2023-12-18 23:02:59 +03:00 |
|
Vovanium
|
9b5348d431
|
+ Conversion of number from string
|
2023-12-18 02:49:39 +03:00 |
|
Vovanium
|
7f62b51b5b
|
+ Quad(-double) precision floating point (not tested)
|
2023-12-06 02:24:57 +03:00 |
|
Vovanium
|
9a9db07052
|
+ Big integer multiplication
|
2023-12-03 23:17:26 +03:00 |
|
Vovanium
|
a2fec05e39
|
* Big numbers: removed variable lower bound
|
2023-12-03 19:20:47 +03:00 |
|
Vovanium
|
7b870b2689
|
+ big integer subtraction
|
2023-12-03 02:08:16 +03:00 |
|
Vovanium
|
a24cb2ff8a
|
+ Commutative function case
|
2023-12-02 23:35:32 +03:00 |
|
Vovanium
|
4d70e0b1e9
|
* Big integer tests
|
2023-12-02 23:09:01 +03:00 |
|
Vovanium
|
d9280b38c9
|
>refactor< separated binary and unary function test cases
|
2023-12-02 23:07:30 +03:00 |
|
Vovanium
|
77b59e82a0
|
>< Rename Function_Test_Cases to just Test_Cases
|
2023-12-02 22:47:09 +03:00 |
|
Vovanium
|
d3c38bda14
|
+ Self inverse function test case
|
2023-12-02 22:35:39 +03:00 |
|
Vovanium
|
cf641a9043
|
* Integers.Big: + Is_Positive, * From_String (Radix syntax)
|
2023-12-02 02:36:21 +03:00 |
|
Vovanium
|
be4eda6cc0
|
* Big integers
|
2023-12-01 20:57:21 +03:00 |
|
Vovanium
|
fb54e1b414
|
* More extensible arithmetic
|
2023-08-17 13:26:31 +03:00 |
|
Vovanium
|
83f4aeefd3
|
Merge branch 'master' of git.disroot.org:Vovanium/VSSL
|
2023-07-14 00:45:20 +03:00 |
|
Vovanium
|
3d83703ee8
|
+ Extensible arithmetic test
|
2023-07-14 00:30:41 +03:00 |
|
Vovanium
|
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 |
|
Vovanium
|
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 |
|
Vovanium
|
0842ca1dde
|
* big integers (+ add test to alire build)
|
2023-07-10 00:43:08 +03:00 |
|
Vovanium
|
dd7acc012e
|
+ big integer implementation stub
|
2023-07-08 01:46:43 +03:00 |
|
Vovanium
|
bbf2f969a1
|
+ Figurate numbers
|
2023-06-19 17:04:52 +03:00 |
|
Vovanium
|
bd90d6c301
|
+ Is_Prime (not tested)
|
2023-06-13 14:16:17 +03:00 |
|
Vovanium
|
305a2d6f07
|
+ Non-generic code in decimal big numbers
|
2023-06-09 02:25:31 +03:00 |
|
Vovanium
|
c2534f63c8
|
* Some SPARK code
|
2023-06-09 02:24:57 +03:00 |
|
Vovanium
|
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 |
|
Vovanium
|
f2c93932bf
|
+ Fixed_Point Rounding functions
|
2023-03-11 00:41:14 +03:00 |
|
Vovanium
|
5945119d4a
|
+ -ggdb option
|
2023-03-11 00:40:38 +03:00 |
|
Vovanium
|
bcf6033111
|
+ Fixed_Point.Approximate_Absolute
|
2023-03-10 20:20:37 +03:00 |
|
Vovanium
|
5aa1c4aaf8
|
* Quaternion test to Approximate comparison
|
2023-03-08 01:14:56 +03:00 |
|
Vovanium
|
113fc8b83c
|
+ Approximate test
|
2023-03-08 01:14:38 +03:00 |
|
Vovanium
|
0966b79b86
|
+ Relative and combined approximate
|
2023-03-08 00:48:49 +03:00 |
|
Vovanium
|
303b450036
|
* Generic name for Approximate to keep convention
|
2023-03-08 00:24:12 +03:00 |
|
Vovanium
|
cd6c37d326
|
+ approximate equality tests
|
2023-03-07 01:05:01 +03:00 |