|
348de531
|
2024-03-16T15:58:32
|
|
fix lib
|
|
|
2124cbd4
|
2024-03-11T17:42:50
|
|
prepare for release
|
|
|
a05df437
|
2024-03-11T17:32:20
|
|
readme
|
|
|
a39e403f
|
2024-03-11T16:41:49
|
|
win32
|
|
|
f747bc5d
|
2024-03-11T12:50:26
|
|
ratio_init_cast
|
|
|
f0b35a42
|
2024-03-11T12:50:18
|
|
readme
|
|
|
bfd26030
|
2024-03-11T12:49:46
|
|
fix cast priority
|
|
|
f8da1004
|
2024-03-10T11:47:06
|
|
readme
|
|
4b17a5f5
|
2024-03-07T18:13:50
|
|
more tests
|
|
|
0fa2bfff
|
2024-03-07T08:20:09
|
|
remove buf_to_ratio, fix ratio_init_integer
|
|
|
ed7ab11c
|
2024-03-07T07:59:47
|
|
wip complex
|
|
|
e3824484
|
2024-03-07T18:13:26
|
|
more cases handled in the tag_add for ratios
|
|
|
6f173ec3
|
2024-03-07T07:20:45
|
|
wip tag_add tag_mul complex f128 sw uw
|
|
|
86fb1a6d
|
2024-03-10T11:28:58
|
|
tag_mod f128
|
|
|
ae261507
|
2024-03-07T16:57:34
|
|
test complex mul
|
|
|
28f667db
|
2024-03-07T16:43:31
|
|
ratio_test
|
|
|
7a8379b8
|
2024-03-09T18:30:11
|
|
wip tag_mod
|
|
|
e190e6a8
|
2024-03-07T16:19:51
|
|
update sources
|
|
|
b4cc5bb4
|
2024-03-07T16:17:06
|
|
pcomplex
|
|
|
cd9590e3
|
2024-03-09T09:56:03
|
|
operations on complex and ratios
|
|
|
d6f99eec
|
2024-03-07T15:08:19
|
|
wip ic3> (Complex) 0
|
|
|
51150c1d
|
2024-03-07T14:47:37
|
|
wip segv ic3> (Complex) 0
|
|
|
b4dc877f
|
2024-03-08T22:18:22
|
|
wip tag_div
|
|
|
d98b42b9
|
2024-03-07T14:40:47
|
|
wip segv ic3> (Complex) 0
|
|
|
33ffdb74
|
2024-03-07T13:39:06
|
|
plug memleak in tag_addi
|
|
|
f8149a34
|
2024-03-08T21:31:22
|
|
tag_mul
|
|
|
dd7c6c7a
|
2024-03-07T13:39:25
|
|
reworked ratio_compare
|
|
|
5d266f52
|
2024-03-07T13:38:49
|
|
ways to test the ratios with and without ic3
|
|
|
e9cfe91c
|
2024-03-08T19:47:24
|
|
tag_add, tag_sub
|
|
|
0cde131c
|
2024-03-07T13:37:33
|
|
wip tag_add
|
|
|
b28f36db
|
2024-03-07T09:33:30
|
|
wip tag_mul
|
|
|
7447c842
|
2024-03-08T18:38:58
|
|
wip tag_add
|
|
|
930f20d2
|
2024-03-07T09:01:08
|
|
use f128 sqrtl for [su]_sqrt
|
|
|
0816bb31
|
2024-03-07T08:33:05
|
|
only accept positive denominator for ratios
|
|
|
f36c457c
|
2024-03-02T10:30:58
|
|
remove useless headers
|
|
|
88f38456
|
2024-03-02T09:52:34
|
|
wip fn
|
|
|
fa764ce5
|
2024-03-02T09:49:15
|
|
remove <err.h>
|
|
|
3caf268d
|
2024-03-01T19:03:33
|
|
compare: abort
|
|
|
10c9fee9
|
2024-03-01T18:18:54
|
|
replaced useless function
|
|
|
7658ee77
|
2024-03-01T18:13:56
|
|
replaced integers_clean by ratio_clean
|
|
|
dcaecb8b
|
2024-03-06T17:54:09
|
|
wip Complex * Complex
|
|
|
34904633
|
2024-03-01T18:04:41
|
|
reworked ratio_init_1 and better error handing in ratio_add
|
|
|
3f1bfec5
|
2024-03-01T17:58:46
|
|
remove <err.h>
|
|
|
61a65ad6
|
2024-03-06T09:14:44
|
|
remove integer_init
|
|
|
4b22c0be
|
2024-03-01T16:59:38
|
|
tag_init_1
|
|
|
88a6d407
|
2024-03-01T16:53:07
|
|
remove std headers where possible
|
|
|
49c9071c
|
2024-03-05T20:34:52
|
|
test complex +i
|
|
|
171a78cd
|
2024-03-01T16:20:27
|
|
wip asan
|
|
|
327407ea
|
2024-03-01T15:34:18
|
|
remove <err.h>, file_open
|
|
|
a736cc17
|
2024-03-05T20:23:53
|
|
x +i y
|
|
|
df4d9d89
|
2024-03-01T14:36:29
|
|
first working ratio add with simplify
|
|
|
ce160a2c
|
2024-03-01T14:13:21
|
|
alloc.c
|
|
|
b66b74da
|
2024-03-05T13:25:29
|
|
complex
|
|
|
e55ad5da
|
2024-03-01T13:27:45
|
|
remove <err.h>
|
|
|
2ec2fbbf
|
2024-03-01T13:12:18
|
|
assert
|
|
|
99aa5439
|
2024-03-05T11:54:53
|
|
tag_addi
|
|
|
ab4b8b8d
|
2024-03-01T13:02:32
|
|
wip err.h
|
|
|
73e0d629
|
2024-03-05T11:40:31
|
|
wip complex
|
|
|
20008f1c
|
2024-03-05T10:55:03
|
|
wip asan
|
|
|
d602f366
|
2024-03-05T10:52:42
|
|
wip complex
|
|
|
9e5a5688
|
2024-03-04T20:47:29
|
|
rename operators
|
|
|
6c58a89d
|
2024-03-04T20:27:09
|
|
tag_sqrt
|
|
|
6fc80e8b
|
2024-03-04T20:10:01
|
|
call ratio_simplify in ratio_mul and ratio_div, add test operations on ratios
|
|
|
7f2f72e4
|
2024-03-04T14:19:12
|
|
license
|
|
|
4cb0bb7d
|
2024-03-04T12:34:55
|
|
operations on ratios
|
|
|
aed10960
|
2024-03-04T11:49:26
|
|
wip ratio
|
|
|
38db6406
|
2024-03-03T20:29:24
|
|
alloc
|
|
|
0f55d808
|
2024-03-03T18:10:14
|
|
fix skiplist random height
|
|
|
84058343
|
2024-03-03T16:54:23
|
|
wip random_uniform
|
|
|
6e664d3c
|
2024-03-02T18:33:10
|
|
fix map_init
|
|
|
c3ddf35d
|
2024-03-02T18:24:52
|
|
fix set.c.in
|
|
|
3ce5e01c
|
2024-03-02T18:01:02
|
|
alloc
|
|
|
d33e7f3f
|
2024-03-02T17:11:22
|
|
alloc
|
|
|
971a739e
|
2024-03-02T16:55:52
|
|
alloc
|
|
|
286a2951
|
2024-03-02T16:48:31
|
|
alloc
|
|
|
7fecb276
|
2024-03-02T15:19:31
|
|
alloc
|
|
|
97a2989e
|
2024-03-02T12:07:41
|
|
remove unused headers
|
|
|
6bf43c16
|
2024-03-02T12:02:06
|
|
remove <err.h>
|
|
|
8f2d9390
|
2024-03-02T11:16:27
|
|
remove unused headers
|
|
|
6597fc1d
|
2024-03-02T10:59:10
|
|
remove unused headers
|
|
|
e2ea623f
|
2024-02-21T21:21:23
|
|
ruby-style if
|
|
|
3a4ae5af
|
2024-02-20T22:35:00
|
|
if then else
|
|
|
63ba02c3
|
2024-02-20T16:41:53
|
|
fix special_operator_arity
|
|
|
78d17600
|
2024-02-20T16:40:46
|
|
fix special_operator_arity
|
|
|
54f74225
|
2024-02-20T16:33:16
|
|
fix buf_parse_special_operator
|
|
|
6593474a
|
2024-02-20T14:51:11
|
|
wip special operator
|
|
|
fd1b09c2
|
2024-02-18T21:00:36
|
|
fix unquote
|
|
|
6ea8b337
|
2024-02-18T20:48:02
|
|
readme
|
|
|
097391e6
|
2024-02-18T13:34:40
|
|
wip unquote
|
|
|
672c6055
|
2024-02-17T10:32:31
|
|
test macros
|
|
|
0d36fad0
|
2024-02-16T14:49:31
|
|
history
|
|
|
19ce64ae
|
2024-02-16T14:30:02
|
|
fix macro
|
|
|
d9932537
|
2024-02-16T11:48:30
|
|
wip macros
|
|
|
f998a044
|
2024-02-15T12:38:51
|
|
pin operator
|
|
|
eeed3205
|
2024-02-15T11:59:48
|
|
wip if
|
|
|
e36bbb86
|
2024-02-14T18:46:47
|
|
wip
|
|
|
5e60d230
|
2024-02-14T16:48:49
|
|
evaluate macros
|
|
|
206a7bd9
|
2024-03-01T12:38:33
|
|
remove <err.h>
|
|
|
8a0153b4
|
2024-03-01T12:04:20
|
|
remove <err.h> from set_item.c.in
|
|
|
4e105e19
|
2024-03-01T12:01:11
|
|
remove <err.h>, wip ratio
|