Richard Feldman
|
70e952b0c1
|
Merge pull request #1477 from rtfeldman/morphic-recursive-types
Morphic recursive types
|
2021-07-19 20:49:31 -04:00 |
|
Folkert de Vries
|
beb3f9fed9
|
Merge branch 'trunk' into morphic-recursive-types
|
2021-07-18 16:50:40 +02:00 |
|
Richard Feldman
|
e7223fe176
|
Merge pull request #1474 from rtfeldman/reset-reuse
Reset reuse
|
2021-07-18 07:07:24 -04:00 |
|
Richard Feldman
|
24f45f6437
|
Merge branch 'trunk' into reset-reuse
|
2021-07-17 20:59:44 -04:00 |
|
Richard Feldman
|
202c706468
|
Merge pull request #1479 from rtfeldman/morphic-astar
Morphic astar
|
2021-07-17 19:59:31 -04:00 |
|
Richard Feldman
|
463431a418
|
Merge pull request #1481 from rtfeldman/css
CSS tweaks for code blocks
|
2021-07-17 19:55:57 -04:00 |
|
Richard Feldman
|
5d5a944ec3
|
Merge pull request #1480 from rtfeldman/store-tag-id-in-ptr
Store tag id in ptr
|
2021-07-17 19:27:58 -04:00 |
|
Richard Feldman
|
b43314218b
|
CSS tweaks for code blocks
|
2021-07-17 18:48:43 -04:00 |
|
Folkert
|
33caa0f26d
|
cleanup
|
2021-07-18 00:25:23 +02:00 |
|
Folkert
|
5012b11129
|
fix oversight
|
2021-07-18 00:13:45 +02:00 |
|
Folkert
|
e19b03f290
|
WIP
|
2021-07-18 00:04:10 +02:00 |
|
Folkert
|
e0b9377dcf
|
refactor wrapped tag creation
|
2021-07-17 22:18:33 +02:00 |
|
Folkert
|
c57913f767
|
fix hash and compare
|
2021-07-17 22:00:57 +02:00 |
|
Folkert
|
bfd189aa19
|
clear tag id from reused pointer
|
2021-07-17 21:43:40 +02:00 |
|
Folkert
|
67d3d8ace9
|
Merge remote-tracking branch 'origin/trunk' into morphic-astar
|
2021-07-17 20:28:54 +02:00 |
|
Folkert
|
1f1cf180c4
|
fix merge conflict
|
2021-07-17 00:07:29 +02:00 |
|
Folkert
|
3acd5a3c0a
|
implement morphic encodings for more lowlevel ops
|
2021-07-17 00:05:06 +02:00 |
|
Folkert de Vries
|
f6ec306184
|
Merge branch 'trunk' into morphic-recursive-types
|
2021-07-17 00:00:16 +02:00 |
|
Brendan Hansknecht
|
daddac4e3c
|
Merge branch 'trunk' into reset-reuse
|
2021-07-16 14:43:30 -07:00 |
|
Brendan Hansknecht
|
8a74c10822
|
Merge pull request #1478 from rtfeldman/fix-bad-cast
fix bug in casting recursive pointers
|
2021-07-16 14:41:58 -07:00 |
|
Folkert
|
134bdb38ba
|
fix bug in casting recursive pointers
|
2021-07-16 22:34:41 +02:00 |
|
Folkert
|
55c760dd7a
|
turn debug mode off
|
2021-07-16 20:56:24 +02:00 |
|
Folkert
|
c9809fff2a
|
refactor
|
2021-07-16 20:52:47 +02:00 |
|
Folkert
|
71232524eb
|
Merge remote-tracking branch 'origin/trunk' into morphic-recursive-types
|
2021-07-16 20:44:55 +02:00 |
|
Folkert
|
abbbc67caf
|
alias analysis for NonNullableUnwrapped
|
2021-07-16 20:42:33 +02:00 |
|
Folkert
|
720440b3f9
|
alias analysis for NullableWrapped
|
2021-07-16 20:22:59 +02:00 |
|
Folkert
|
03422a9907
|
alias analysis for NullableUnwrapped
|
2021-07-16 20:16:56 +02:00 |
|
Folkert
|
9b8f8b3c16
|
AppliedTag don't unroll recursive layouts
|
2021-07-16 18:23:57 +02:00 |
|
Folkert
|
743e8bd86f
|
stop defining the tag id when it is not used
|
2021-07-16 18:17:21 +02:00 |
|
Folkert
|
c42a530ec0
|
fix reading the wrong memory
|
2021-07-16 18:15:03 +02:00 |
|
Folkert
|
97f15bbb49
|
Tag don't unroll recursive types
|
2021-07-16 18:10:55 +02:00 |
|
Folkert
|
7dd440f642
|
morphic Recursive types
|
2021-07-16 17:55:03 +02:00 |
|
Folkert
|
71672bb7ad
|
prevent unrolling of recursive types
|
2021-07-16 17:54:44 +02:00 |
|
Folkert
|
2bc3ddae46
|
fix bug in casting recursive pointers
|
2021-07-16 17:51:41 +02:00 |
|
Folkert
|
23867296a4
|
encode tag id in pointer and use it to read tag id
|
2021-07-15 23:44:00 +02:00 |
|
Folkert
|
0eb0d2457d
|
add helpers
|
2021-07-15 23:07:10 +02:00 |
|
Folkert
|
8e54023d60
|
foundation for encoding recursive types
|
2021-07-15 15:16:09 +02:00 |
|
Richard Feldman
|
c415b3b799
|
Merge branch 'trunk' into reset-reuse
|
2021-07-14 22:45:42 -04:00 |
|
Richard Feldman
|
d03c59b6fc
|
Merge pull request #1467 from rtfeldman/docs-complex-type-signatures
Docs complex type signatures
|
2021-07-14 22:45:23 -04:00 |
|
Richard Feldman
|
d2dd0a4c5b
|
Merge pull request #1469 from rtfeldman/multiple-guards
allow multiple guards in the same when
|
2021-07-14 22:44:27 -04:00 |
|
Folkert
|
d464c005f0
|
encode tag unions as morphic unions
|
2021-07-14 23:26:19 +02:00 |
|
Folkert
|
785b4539af
|
less code
|
2021-07-14 22:22:33 +02:00 |
|
Folkert
|
15eba1a687
|
give it another go
|
2021-07-14 17:55:53 +02:00 |
|
Folkert
|
568e4e390a
|
fix
|
2021-07-14 17:27:11 +02:00 |
|
Folkert
|
2c604f96e0
|
clarify block names
|
2021-07-14 17:21:48 +02:00 |
|
Folkert
|
771599165b
|
cleanup build_reset usage
|
2021-07-14 17:16:45 +02:00 |
|
Folkert
|
1beed7f759
|
implement function_R invoke
|
2021-07-14 16:58:49 +02:00 |
|
Folkert
|
8a1a643e3b
|
refactor function_r branch body
|
2021-07-14 16:52:56 +02:00 |
|
Folkert
|
0171fd0959
|
remove Boxed
|
2021-07-14 15:33:59 +02:00 |
|
Folkert de Vries
|
56d4ac190e
|
Merge branch 'trunk' into reset-reuse
|
2021-07-14 14:14:27 +02:00 |
|