|
b7513c9e
|
2023-09-10T19:47:16
|
|
fix env_eval_equal_tag and ident_get
|
|
f131055e
|
2023-09-10T14:18:55
|
|
fix env_eval_equal_tag
|
|
09d658e5
|
2023-09-08T09:52:33
|
|
fix array tests
|
|
b5ad083c
|
2023-09-07T12:22:55
|
|
reload facts if file changed
|
|
26a03f17
|
2023-09-07T12:13:27
|
|
wip segv =
|
|
3440371d
|
2023-09-07T11:29:18
|
|
wip ic3
|
|
32021d1f
|
2023-09-07T11:27:48
|
|
wip ic3
|
|
56a6b43c
|
2023-09-07T11:18:25
|
|
wip asan
|
|
d2292241
|
2023-09-07T11:17:56
|
|
wip asan
|
|
2f16b6c6
|
2023-09-07T11:15:03
|
|
wip asan
|
|
3835b2b8
|
2023-09-07T11:09:16
|
|
wip asan
|
|
f4402422
|
2023-09-07T11:04:26
|
|
wip segv
|
|
72882177
|
2023-09-07T10:51:28
|
|
wip segv
|
|
1728b0c4
|
2023-09-06T14:38:09
|
|
wip replace
|
|
059e7659
|
2023-09-06T12:16:22
|
|
module_load records load time
|
|
4344f1fe
|
2023-09-05T17:29:09
|
|
List.reverse
|
|
83a9986c
|
2023-09-05T15:22:30
|
|
asan
|
|
d8737fd4
|
2023-09-05T15:16:41
|
|
tests ok
|
|
5282e1c1
|
2023-09-04T17:16:02
|
|
wip
|
|
505fbb73
|
2023-09-03T21:52:55
|
|
eval is evil
|
|
6221f4b7
|
2023-08-29T18:59:24
|
|
tests ok
|
|
56fef92e
|
2023-08-29T15:21:38
|
|
wip
|
|
1294078b
|
2023-08-29T14:59:04
|
|
configure
|
|
37ebe824
|
2023-08-29T14:21:55
|
|
wip call refactor
|
|
7863cafb
|
2023-08-28T10:16:27
|
|
asan
|
|
36c4b27f
|
2023-08-28T10:00:28
|
|
asan
|
|
b10a8a41
|
2023-08-27T19:13:02
|
|
asan
|
|
38f69099
|
2023-08-27T18:49:57
|
|
test array
|
|
d82ec9d6
|
2023-08-27T12:48:43
|
|
refactor compare
|
|
d94d59d5
|
2023-08-26T11:47:53
|
|
mention libffi
|
|
bd40ce2b
|
2023-08-26T11:29:43
|
|
mention libtommath and linenoise
|
|
2c9b8f4d
|
2023-08-26T11:20:20
|
|
TODO
|
|
b56f4f32
|
2023-08-26T11:14:09
|
|
TODO
|
|
61c7783c
|
2023-08-26T11:12:49
|
|
TODO
|
|
21804e85
|
2023-08-26T11:06:49
|
|
usage
|
|
5758ea80
|
2023-08-24T11:02:11
|
|
asan
|
|
9e7043b3
|
2023-08-21T23:53:58
|
|
coverage
|
|
675ef284
|
2023-08-21T20:07:53
|
|
array_tests
|
|
542acbc3
|
2023-08-21T18:13:29
|
|
remove unused code
|
|
d2370c72
|
2023-08-21T12:41:30
|
|
make test_gcovr
|
|
af1fe022
|
2023-08-21T12:01:00
|
|
revert
|
|
dc4837db
|
2023-08-21T11:59:26
|
|
make test_gcovr
|
|
37b09c72
|
2023-08-21T11:35:20
|
|
wip cov
|
|
27b5b4d9
|
2023-08-21T11:00:54
|
|
wip gcovr
|
|
e9cff855
|
2023-08-20T20:35:09
|
|
add tests for integer
|
|
f4eb2873
|
2023-08-20T17:36:36
|
|
bump version
|
|
3327ba4d
|
2023-08-20T14:35:55
|
|
install libffi
|
|
33a9663b
|
2023-08-20T14:07:12
|
|
configure
|
|
2df43ba1
|
2023-08-20T13:39:18
|
|
minor tweaks
|
|
69f7efaf
|
2023-08-20T13:38:37
|
|
fix -ldl
|
|
642486eb
|
2023-08-20T11:43:13
|
|
rpath
|
|
2841aa2b
|
2023-08-19T16:03:06
|
|
pthread
|
|
3eb89f87
|
2023-08-19T15:51:11
|
|
fix debian
|
|
1a7dd7dc
|
2023-08-19T15:46:37
|
|
try to fix asan build
|
|
516ad3aa
|
2023-08-19T15:46:32
|
|
try to fix asan build
|
|
96e7adea
|
2023-08-19T15:44:23
|
|
try to fix asan build
|
|
2ab2ccf0
|
2023-08-19T15:42:14
|
|
try to fix asan build
|
|
8e4835b3
|
2023-08-19T15:05:05
|
|
libffi
|
|
76f21fcf
|
2023-08-19T14:51:02
|
|
wip asan
|
|
08b32c0f
|
2023-08-19T14:14:00
|
|
wip asan
|
|
27efb69d
|
2023-08-19T13:43:07
|
|
make tests pass
|
|
b487a5c7
|
2023-08-19T13:07:17
|
|
wip
|
|
378fd0ff
|
2023-08-19T11:48:49
|
|
overflow conditions
|
|
9ca05267
|
2023-08-18T10:26:52
|
|
libffi.a
|
|
085a911f
|
2023-08-17T19:20:38
|
|
configure
|
|
33beece8
|
2023-08-16T19:46:56
|
|
e_bool -> bool
|
|
842e80e8
|
2023-08-16T19:25:15
|
|
compare_bool
|
|
af1fc12e
|
2023-08-16T18:30:26
|
|
update libffi
|
|
6f6b9a33
|
2023-08-16T18:28:48
|
|
update
|
|
ec1e152a
|
2023-08-15T13:57:56
|
|
sparc64
|
|
f76b09b7
|
2023-08-15T11:14:15
|
|
tag_add
|
|
d96ba0ce
|
2023-08-15T10:03:30
|
|
wip tag_add
|
|
c8ea1f33
|
2023-08-12T17:18:54
|
|
comments
|
|
a08e8736
|
2023-08-12T17:16:33
|
|
comments
|
|
19f2ece7
|
2023-08-12T16:52:22
|
|
remove ; in functions
|
|
2bcb9130
|
2023-08-12T16:13:06
|
|
tests
|
|
13eedf68
|
2023-08-12T14:57:09
|
|
bump revision
|
|
5519c91e
|
2023-08-12T14:35:26
|
|
fix configure
|
|
c0a83f32
|
2023-08-12T14:04:12
|
|
fix ci test_asan
|
|
83a58383
|
2023-08-12T10:06:30
|
|
fix tag_mul
|
|
29a543e0
|
2023-08-12T09:08:08
|
|
fix call
|
|
5b5b3c9a
|
2023-08-11T09:53:01
|
|
ic3> f = fn (x) { x + 1 }
|
|
01ee6b0e
|
2023-08-11T09:23:25
|
|
clean
|
|
305b8642
|
2023-08-11T09:17:45
|
|
fix call
|
|
a1045c35
|
2023-08-10T16:25:26
|
|
wip call
|
|
6e139912
|
2023-08-10T15:47:19
|
|
wip env_resolve_call
|
|
b0a3d7e6
|
2023-08-10T15:43:35
|
|
wip env_resolve_call
|
|
16693d89
|
2023-08-10T08:34:12
|
|
remove tag_new_copy
|
|
eca23198
|
2023-08-09T19:23:41
|
|
put s_tag in s_binding
|
|
72e97a94
|
2023-08-09T16:32:52
|
|
test equal (=)
|
|
143b13f1
|
2023-08-09T16:08:17
|
|
test_asan
|
|
1f9f33e8
|
2023-08-09T15:51:52
|
|
test
|
|
6ad7803d
|
2023-08-09T08:41:50
|
|
wip tag operations
|
|
f37dc90f
|
2023-08-08T21:17:20
|
|
wip test/ic3/integer
|
|
2f6b5529
|
2023-08-08T18:39:39
|
|
make test with asan
|
|
8dc31fff
|
2023-08-08T16:14:08
|
|
ws
|
|
6ae5a7b4
|
2023-08-08T14:40:49
|
|
ws
|
|
39d65584
|
2023-08-08T14:21:00
|
|
special operators
|
|
d7d9100c
|
2023-08-08T13:28:15
|
|
fix call
|
|
8021d329
|
2023-08-07T23:05:31
|
|
wip
|