unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-23 00:08:14 +03:00
Code Issues Projects Releases Wiki Activity
1,865 Commits 419 Branches 90 Tags 331 MiB
cf630f4fb3
Commit Graph

1865 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
cf630f4fb3 test stubbed out and compiles 2018-05-11 11:19:08 -04:00
Paul Chiusano
eae591bff7 Merge remote-tracking branch 'origin/wip/sinktests' into wip/graph-codec6 
# Conflicts:
#	runtime-jvm/main/src/main/scala/util/GraphCodec.scala
 2018-05-11 11:17:23 -04:00
Paul Chiusano
33dadd321e IT'S WORKING with much simpler implementation 2018-05-11 11:14:43 -04:00
Paul Chiusano
58da545625 positions map should be keyed by K, not G 2018-05-11 00:12:07 -04:00
Paul Chiusano
d459273728 WIP simplifying decoder/encoder 
Added an intermediate "sequence of instructions" stage separate from actual writing to Sink
Generalize the 3 pass algorithm to work for any G
 2018-05-11 00:02:35 -04:00
Runar Bjarnason
c492e301d6 Three pass encoding works as expected 2018-05-10 16:48:54 -04:00
Paul Chiusano
5bcdc7f7b1 wip 2018-05-10 16:40:14 -04:00
Paul Chiusano
3deb0d7632 fixed bug, pretttyEncoding seems to work now 2018-05-09 18:17:03 -04:00
Runar Bjarnason
7879a3012c Pretty codecs wip 2018-05-09 17:54:40 -04:00
Paul Chiusano
0f0d508267 added diagnostics to test 2018-05-09 15:48:47 -04:00
Paul Chiusano
d6ddf6c9f7 now have stack safety even when serializing deeply nested object graphs, still a couple bugs remaining 2018-05-09 15:43:06 -04:00
Paul Chiusano
c9b8d54583 serialization tests passing with two examples of programs with cyclic references 2018-05-08 13:31:44 -04:00
Paul Chiusano
5a566079ad remove now unused foreachChild function, which had unclear meaning anyway, especially for Param 2018-05-07 09:56:58 -04:00
Paul Chiusano
4553fb312e GraphCodec2 -> GraphCodec 2018-05-07 09:52:30 -04:00
Paul Chiusano
3ceda2b010 Codecs2 -> Codecs 2018-05-07 09:50:39 -04:00
Paul Chiusano
17c80fd25e delete old codecs implementation 2018-05-07 09:48:50 -04:00
Paul Chiusano
7b531a72fc added tests (failing) for encoding / decoding of cycles 2018-05-07 09:47:43 -04:00
Paul Chiusano
afc2d2a42a chunking/unchunking of Bytes 2018-05-06 01:37:53 -04:00
Paul Chiusano
7a004c8bc4 not necessary to override getFramed 2018-05-06 01:11:47 -04:00
Paul Chiusano
9936022e28 fix bug - encoder for Data was not serializing children, all tests passing now 2018-05-06 01:05:16 -04:00
Paul Chiusano
814074c983 fixed a few more tests, also due to mismatched handling of framing 2018-05-06 00:35:36 -04:00
Paul Chiusano
f3750ea027 fix a bunch of tests due to inconsistency in encoding of framed sequences 2018-05-06 00:31:19 -04:00
Paul Chiusano
f391b8a42f using -99 for the backreference tag 2018-05-06 00:17:06 -04:00
Paul Chiusano
50a788fbd8 convenience functions, tried hooking up round trip to compilation tests (failing) 2018-05-05 23:26:11 -04:00
Paul Chiusano
b80cebfb55 finished draft implementation of GraphCodec2, came out much nicer 2018-05-05 23:13:59 -04:00
Paul Chiusano
402b60739a WIP revamping GraphCodec to avoid needless separation between bytePrefix and rest of codec 2018-05-05 14:29:23 -04:00
Arya Irani
1419f93f26 cleanup 2018-05-04 13:10:14 -04:00
Arya Irani
3302a3b231 fix foreachTerm traversal of Compiled_ 2018-05-04 13:09:33 -04:00
Arya Irani
f32b9d2fe1 Merge branch 'topic/graph-codec-wip2' into topic/graph-codec-wip3 2018-05-04 12:41:09 -04:00
Arya Irani
59b179c8f5 compiled's value should be a child, not a prefix 2018-05-04 12:40:15 -04:00
Arya Irani
6428918dda duplicate paul's fixes from 0ab1286995 2018-05-04 12:39:29 -04:00
Arya Irani
98c07b3c79 minimize the failing data pattern test and added some debug output 2018-05-04 12:38:07 -04:00
Paul Chiusano
0ab1286995 Data should not write out length of children in prefix 2018-05-04 11:40:53 -04:00
Paul Chiusano
44d5c9a2ab fix to decoding of Data and EffectBind 2018-05-04 10:38:46 -04:00
Arya Irani
8106088dd3 delete unused/garbage field Term.F.Compiled_.name 2018-05-04 10:37:49 -04:00
Paul Chiusano
31c7f897fc tweaks 2018-05-03 23:04:37 -04:00
Paul Chiusano
d3d920c59d fixed a bunch of tests - Match_ encoding and decoding were inconsistent with each other, still 8 failing tests 2018-05-03 22:42:21 -04:00
Paul Chiusano
3a020a5dd7 narrowed down the problem - it's all the examples that do pattern matching 2018-05-03 22:28:53 -04:00
Paul Chiusano
e875d23e7b fix to logic for detecting previously serialized values, 57 tests passing, 23 failing 2018-05-03 22:02:06 -04:00
Paul Chiusano
5fdd990d48 fix for Bytes.viewArray/fromArray and test 2018-05-03 21:49:43 -04:00
Paul Chiusano
5114c38de3 Sequence.flatMap and test 2018-05-03 21:48:11 -04:00
Paul Chiusano
7ed6f65bb2 WIP getting tests to pass again 2018-05-03 17:15:47 -04:00
Paul Chiusano
e657d698e2 hooked round trip of serialization up to the tests 2018-05-03 16:43:15 -04:00
Paul Chiusano
345bbb71e1 convenience functions for working with Source/Sink/GraphCodec 2018-05-03 16:35:52 -04:00
Paul Chiusano
c6ee0006e1 fill in string functions on Source/Sink 2018-05-03 15:28:17 -04:00
Paul Chiusano
87092d6c1a filled in todo 2018-05-03 15:20:35 -04:00
Paul Chiusano
43edbdc9cc fix up handling of refs 2018-05-03 15:18:47 -04:00
Paul Chiusano
462acb3025 finished with implementation (untested) 2018-05-03 14:56:43 -04:00
Paul Chiusano
0f53ee9511 WIP, weird compile error 2018-05-03 12:27:47 -04:00
Arya Irani
9d4b68a99e shuffled some comments 2018-05-03 10:03:53 -04:00