|
0f432935
|
2024-03-28T06:55:35
|
|
wip defmodule
|
|
|
55c3625a
|
2024-03-27T21:10:37
|
|
wip defmodule
|
|
|
ad6ed9cd
|
2024-03-23T14:49:15
|
|
better definition for double_tuple
|
|
|
1c4811bd
|
2024-03-23T05:35:45
|
|
fix def
|
|
|
dbdf6fcf
|
2024-03-22T19:07:49
|
|
add tests for def
|
|
|
57004d43
|
2024-03-18T08:46:51
|
|
fix tests
|
|
72410d87
|
2024-03-07T18:13:50
|
|
more tests
|
|
|
e641886d
|
2024-03-07T16:57:34
|
|
test complex mul
|
|
|
c228f46d
|
2024-03-07T13:38:49
|
|
ways to test the ratios with and without ic3
|
|
|
d0225331
|
2024-03-05T20:34:52
|
|
test complex +i
|
|
|
e26302ae
|
2024-03-05T13:25:29
|
|
complex
|
|
|
fcdc9b5c
|
2024-03-04T20:10:01
|
|
call ratio_simplify in ratio_mul and ratio_div, add test operations on ratios
|
|
|
bfdcb5ef
|
2024-02-28T16:26:14
|
|
ratio_neg
|
|
|
fa5168d4
|
2024-02-28T16:09:55
|
|
ic3 test ratio
|
|
|
257255b6
|
2024-02-21T21:21:23
|
|
ruby-style if
|
|
|
89290555
|
2024-02-20T22:35:00
|
|
if then else
|
|
|
3d464e7c
|
2024-02-18T21:00:36
|
|
fix unquote
|
|
|
a667bc34
|
2024-02-18T13:34:40
|
|
wip unquote
|
|
|
a00c6380
|
2024-02-17T10:32:31
|
|
test macros
|
|
|
edac15b8
|
2024-02-14T14:58:22
|
|
pin operator
|
|
|
a15d9159
|
2024-02-12T19:45:10
|
|
fix buf_parse
|
|
|
eb5c1ecc
|
2024-02-11T13:52:16
|
|
test ic3 block
|
|
|
f1a68719
|
2024-02-10T09:42:17
|
|
test ic3 block
|
|
|
10a8b6fd
|
2024-02-09T20:29:24
|
|
wip block
|
|
|
7902eee2
|
2024-02-02T20:10:29
|
|
quote unquote
|
|
|
bc2be368
|
2024-01-29T17:38:22
|
|
str eval
|
|
|
25015bd8
|
2024-01-22T22:04:38
|
|
fix arrays
|
|
|
08be39f5
|
2024-01-05T18:12:59
|
|
struct
|
|
|
b1e32eb1
|
2024-01-04T12:48:23
|
|
wip buf_inspect_f32 buf_inspect_f64
|
|
|
c1658758
|
2024-01-03T11:06:46
|
|
wip data and struct
|
|
|
e301f8f9
|
2023-12-21T02:50:45
|
|
wip asan
|
|
|
44f16529
|
2023-12-14T01:13:47
|
|
wip struct
|
|
|
1b03fd70
|
2023-12-11T19:54:18
|
|
assert.h err.h
|
|
|
a78a6f18
|
2023-11-19T20:44:37
|
|
compare_map
|
|
|
cf10b673
|
2023-11-19T15:21:58
|
|
map: pattern matching
|
|
|
ccab967a
|
2023-11-19T14:07:20
|
|
fix map
|
|
|
c3944ee1
|
2023-11-17T12:30:52
|
|
wip map
|
|
|
0b4170ce
|
2023-11-13T16:35:44
|
|
map tests
|
|
|
a530db5a
|
2023-11-09T21:26:09
|
|
list change from paren () to brackets []
|
|
|
d99bb5d5
|
2023-11-07T12:26:11
|
|
fix integer tests
|
|
|
216bb251
|
2023-11-03T16:31:26
|
|
show supported systems in README.md, fix tests
|
|
|
fab80e98
|
2023-11-03T14:18:44
|
|
wip macosx
|
|
|
0ce93878
|
2023-10-30T11:13:40
|
|
more tests
|
|
|
503c47d0
|
2023-10-28T12:40:43
|
|
fixed tag_mod
|
|
|
a4176bf9
|
2023-10-27T23:54:45
|
|
wip test_ic3 integer_mod
|
|
|
e729829a
|
2023-10-27T23:13:07
|
|
wip tag_mod
|
|
|
f69486fd
|
2023-10-27T20:47:31
|
|
wip test_ic3 bor
|
|
|
8efa6658
|
2023-10-26T11:44:30
|
|
license
|
|
|
e601bf6a
|
2023-10-26T10:27:32
|
|
wip ptr
|
|
|
9809bcf9
|
2023-10-21T14:57:54
|
|
fixed operators
|
|
|
71dcf362
|
2023-10-21T02:17:19
|
|
wip operators
|
|
|
9a7a5fe3
|
2023-10-01T19:50:23
|
|
fixed (List) arrays
|
|
|
c21e333e
|
2023-10-01T19:44:40
|
|
fixed (List) arrays
|
|
|
af40ba86
|
2023-10-01T18:14:02
|
|
wip (List) arrays
|
|
|
6eae16af
|
2023-09-25T16:13:06
|
|
fix use after free
|
|
|
453f5581
|
2023-09-24T11:57:36
|
|
wip integer arrays
|
|
|
7271f0fc
|
2023-09-23T08:44:38
|
|
wip integer arrays
|
|
|
4abf52d5
|
2023-09-22T17:35:28
|
|
(U*) and (S*) arrays
|
|
|
b9f9b82d
|
2023-09-20T00:21:12
|
|
fix tests
|
|
|
48449333
|
2023-09-19T22:55:33
|
|
add array tests
|
|
|
2c1ce7f2
|
2023-09-19T15:23:28
|
|
wip arrays
|
|
|
27dc573f
|
2023-09-18T15:10:02
|
|
cast
|
|
|
9523ec9d
|
2023-09-11T11:36:58
|
|
buf_inspect_call_brackets
|
|
|
f131055e
|
2023-09-10T14:18:55
|
|
fix env_eval_equal_tag
|
|
|
09d658e5
|
2023-09-08T09:52:33
|
|
fix array tests
|
|
|
26a03f17
|
2023-09-07T12:13:27
|
|
wip segv =
|
|
|
059e7659
|
2023-09-06T12:16:22
|
|
module_load records load time
|
|
|
d8737fd4
|
2023-09-05T15:16:41
|
|
tests ok
|
|
|
505fbb73
|
2023-09-03T21:52:55
|
|
eval is evil
|
|
|
38f69099
|
2023-08-27T18:49:57
|
|
test array
|
|
|
d82ec9d6
|
2023-08-27T12:48:43
|
|
refactor compare
|
|
|
e9cff855
|
2023-08-20T20:35:09
|
|
add tests for integer
|
|
|
6f6b9a33
|
2023-08-16T18:28:48
|
|
update
|
|
|
f76b09b7
|
2023-08-15T11:14:15
|
|
tag_add
|
|
|
d96ba0ce
|
2023-08-15T10:03:30
|
|
wip tag_add
|
|
|
19f2ece7
|
2023-08-12T16:52:22
|
|
remove ; in functions
|
|
|
2bcb9130
|
2023-08-12T16:13:06
|
|
tests
|
|
|
83a58383
|
2023-08-12T10:06:30
|
|
fix tag_mul
|
|
|
29a543e0
|
2023-08-12T09:08:08
|
|
fix call
|
|
|
72e97a94
|
2023-08-09T16:32:52
|
|
test equal (=)
|
|
|
6ad7803d
|
2023-08-09T08:41:50
|
|
wip tag operations
|
|
|
f37dc90f
|
2023-08-08T21:17:20
|
|
wip test/ic3/integer
|
|
|
d09cbd80
|
2023-08-07T15:52:18
|
|
add more tests for integer
|
|
|
f533a6ed
|
2023-08-04T19:08:27
|
|
integer
|
|
|
50ea6fde
|
2023-08-04T15:18:05
|
|
wip
|
|
|
fb98c7c3
|
2023-07-29T21:52:00
|
|
wip
|
|
|
4e71dadc
|
2023-07-27T15:25:59
|
|
! ! true
|
|
|
18e8c357
|
2023-07-26T12:54:04
|
|
test boolean comparison operators
|
|
|
a6778fb3
|
2023-07-25T23:37:33
|
|
fix buf_inspect_fn
|
|
|
5da26941
|
2023-07-25T23:08:48
|
|
remove whitespace from ic3
|
|
|
0c3101e8
|
2023-07-25T22:59:08
|
|
unary operator ! not
|
|
|
7f6443d3
|
2023-07-25T22:13:58
|
|
wip
|
|
|
291b02e6
|
2023-07-24T13:05:07
|
|
buf_parse_character
|
|
|
35c652a6
|
2023-07-23T19:44:38
|
|
wip buf_inspect_array
|
|
|
e972b8f8
|
2023-07-16T15:15:44
|
|
wip
|
|
|
7336628f
|
2023-07-14T11:24:20
|
|
wip
|
|
|
e0b7486f
|
2023-07-10T10:24:33
|
|
wip
|
|
|
a1c55808
|
2023-04-07T17:49:02
|
|
wip array
|
|
|
5c473695
|
2023-04-02T07:23:45
|
|
wip array
|
|
|
6dc15b73
|
2023-03-17T19:03:29
|
|
test/ic3/op
|