Commit Graph

969 Commits

Author SHA1 Message Date
Tony Garnock-Jones 1f7895e14e Good progress 2022-11-23 11:42:29 +01:00
Tony Garnock-Jones 025c5bb962 More boulder-pushing 2022-11-23 11:38:53 +01:00
Tony Garnock-Jones 4070c5252d More WIP; Handles 2022-11-23 11:38:53 +01:00
Tony Garnock-Jones eeb50fcf65 More pushing the boulder uphill 2022-11-23 11:38:53 +01:00
Tony Garnock-Jones a3f598436b Fiddle with annotations 2022-11-23 11:38:53 +01:00
Tony Garnock-Jones c053e2b9dd Experimental WIP 2022-11-23 11:38:53 +01:00
Tony Garnock-Jones ce9d4f2f0c Start serde cleanup 2022-11-23 11:38:53 +01:00
Tony Garnock-Jones 1c5ce2d795 Move merge.rs 2022-11-23 11:38:53 +01:00
Tony Garnock-Jones 68e73bf9e6 Initial coarse prune of preserves-serde 2022-11-23 11:38:47 +01:00
Tony Garnock-Jones 4288d7419e First step in reorganizing packages 2022-11-11 12:55:12 +01:00
Tony Garnock-Jones d1f6f93a92 Support multiple Domains in View 2022-11-11 11:43:50 +01:00
Tony Garnock-Jones 384644f5ea Package up Indexer 2022-11-10 22:45:51 +01:00
Tony Garnock-Jones 4a1b021635 Measure View on smaller examples 2022-11-10 16:50:16 +01:00
Tony Garnock-Jones 7cb0877190 Specialized writing massively improves write performance 2022-11-10 16:21:24 +01:00
Tony Garnock-Jones b712110590 Benchmarks; safety 2022-11-10 16:14:13 +01:00
Tony Garnock-Jones 6033968a13 Packed-binary view-backed ValueImpl and little demo 2022-11-10 15:26:39 +01:00
Tony Garnock-Jones 13ec9cc67e Borrowed/Owned for value objects 2022-11-09 15:07:32 +01:00
Tony Garnock-Jones b0549b3f83 Factor out tag-to-valueclass 2022-11-09 09:37:34 +01:00
Tony Garnock-Jones 8369d9c4f6 Rename Value -> ValueImpl 2022-11-09 09:37:00 +01:00
Tony Garnock-Jones 554812df0e Own BinarySource, rather than referencing it 2022-11-08 23:01:37 +01:00
Tony Garnock-Jones 7a7469bed1 Hoist common features to BinarySource 2022-11-08 22:52:11 +01:00
Tony Garnock-Jones 7a71f72491 Benches 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones bf85504233 Fix printing of zero floats and doubles (!) 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 7c4b9151ab Make unusual floats into real tests 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 071a559511 Adapt to latest spec changes from 269ed23. 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones d8079f0dd4 Unusual floats. Still thinking about this 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 6faa910aef First steps to test cases 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones fddb910175 Repair annotation reading 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 0d1522d869 ArcValue, more tests 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 259a3c8ead Re-add float comparison tests 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 12b027b2d9 oops 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 274c8b617d copy_via, more library 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 228f34c699 Text I/O 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 1121da0b75 Finer-grained dependencies 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 648f1909d8 Unused 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 66b37bd70a Packed 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 1fc7b5b404 Tweaks 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 13f1f80b01 More 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones dbc2a0f14c Progress! 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones e7f559c944 More basics 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones c93fea0545 More 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 71a45d7808 This was the trick for Maps! 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 9aea564b2c Fiddle with fn get (unsuccessfully) 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones a33f96bc1d Generic Valueness for refs 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 7225960363 Compound PartialEq 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones bb100cc0dd Initial experimentation 2022-11-08 21:08:55 +01:00
Tony Garnock-Jones 0f3bca673a Repair rebase errors 2022-11-08 21:06:13 +01:00
Tony Garnock-Jones d1bcf790b2 Tweak 2022-11-08 20:11:16 +01:00
Tony Garnock-Jones c453f2eb0c Optimizations 2022-11-08 20:11:16 +01:00
Tony Garnock-Jones d5dd02356b Records and sequences don't need a pushed state 2022-11-08 20:11:16 +01:00