Tony Garnock-Jones
|
adc4f10d4c
|
Small win for writing large integers
|
2022-07-13 14:09:21 +02:00 |
Tony Garnock-Jones
|
18b9cb5df4
|
Win from avoiding some allocation
|
2022-07-13 14:01:20 +02:00 |
Tony Garnock-Jones
|
17707b8421
|
Improve performance by preallocating a bit
|
2022-07-13 13:43:35 +02:00 |
Tony Garnock-Jones
|
911f149892
|
Much simpler IOList, not obviously slower
|
2022-07-13 13:38:13 +02:00 |
Tony Garnock-Jones
|
c834f4b04a
|
Fix up benchmark harness and test data
|
2022-07-12 16:57:12 +02:00 |
Tony Garnock-Jones
|
9d7525bcec
|
Merge branch 'blue' into blue-rs
|
2022-07-12 16:47:48 +02:00 |
Tony Garnock-Jones
|
8032e68214
|
Avoid spurious copying during dissection by using memoryview
|
2022-07-12 16:47:16 +02:00 |
Tony Garnock-Jones
|
73da1cd5db
|
"Fix" preserves-tool binary output by adding a streaming write mode
|
2022-07-12 09:30:47 +02:00 |
Tony Garnock-Jones
|
59832ee1d5
|
Repair benchmark
|
2022-07-10 18:46:46 +02:00 |
Tony Garnock-Jones
|
cbf5a9d2ac
|
All rust tests pass
|
2022-07-10 18:29:18 +02:00 |
Tony Garnock-Jones
|
69662189fb
|
Regenerate schema.rs
|
2022-07-10 18:20:12 +02:00 |
Tony Garnock-Jones
|
a2443607da
|
Update compiler
|
2022-07-10 18:19:51 +02:00 |
Tony Garnock-Jones
|
a4cb03ec2f
|
Regenerate mod.rs
|
2022-07-10 17:57:18 +02:00 |
Tony Garnock-Jones
|
cf8ff1a5ed
|
Update literals
|
2022-07-10 17:55:25 +02:00 |
Tony Garnock-Jones
|
7f9f609a84
|
Core preserves tests pass
|
2022-07-10 17:39:55 +02:00 |
Tony Garnock-Jones
|
c2a48a9b78
|
Blue Rust implementation (WIP)
|
2022-07-10 17:39:55 +02:00 |
Tony Garnock-Jones
|
d22d0d7120
|
dissect.py
|
2022-07-10 17:39:48 +02:00 |
Tony Garnock-Jones
|
fc8226e868
|
Clarify
|
2022-07-10 13:21:31 +02:00 |
Tony Garnock-Jones
|
df1d75d181
|
Put cheatsheet in an appendix
|
2022-06-20 17:05:47 +02:00 |
Tony Garnock-Jones
|
9ee59562a1
|
Repair security considerations section
|
2022-06-19 21:19:04 +02:00 |
Tony Garnock-Jones
|
b43d372014
|
Smaller simpler (?) presentation of binary syntax
|
2022-06-19 21:11:05 +02:00 |
Tony Garnock-Jones
|
f28ae51215
|
Style tweak
|
2022-06-19 21:10:49 +02:00 |
Tony Garnock-Jones
|
70e282a42e
|
More examples
|
2022-06-19 21:10:42 +02:00 |
Tony Garnock-Jones
|
8f607cee1a
|
Repair tag table
|
2022-06-19 17:25:40 +02:00 |
Tony Garnock-Jones
|
0dd2a8d622
|
Permit overlong SignedInteger encodings
|
2022-06-19 17:20:25 +02:00 |
Tony Garnock-Jones
|
4c53dadc41
|
Tweaks
|
2022-06-19 14:36:12 +02:00 |
Tony Garnock-Jones
|
6a5d82d567
|
Move examples out of the main text
|
2022-06-19 14:36:05 +02:00 |
Tony Garnock-Jones
|
90e06f8182
|
Remove unused code (and golf)
|
2022-06-19 13:59:55 +02:00 |
Tony Garnock-Jones
|
912ad34ab7
|
Blue python
|
2022-06-19 13:57:17 +02:00 |
Tony Garnock-Jones
|
39e7d7da34
|
Repair test data
|
2022-06-19 13:54:34 +02:00 |
Tony Garnock-Jones
|
9a04a46372
|
Simplify Racket test harness, which uncovers a bug in the test data
|
2022-06-19 13:50:05 +02:00 |
Tony Garnock-Jones
|
a849923c50
|
Update compiled schema files
|
2022-06-19 11:32:56 +02:00 |
Tony Garnock-Jones
|
1b00bbc7f1
|
Update compiled schema
|
2022-06-19 11:30:27 +02:00 |
Tony Garnock-Jones
|
b5458dbf8c
|
Blue TypeScript implementation
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
6d496b5113
|
Require non-empty sequence of annotations
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
6138bfdb8a
|
Clarify
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
894000a54f
|
Clarification
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
666f8e1643
|
Racket blue implementation
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
e72adf704e
|
Update test cases
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
c1462482c7
|
Repair example
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
b67bcc6db9
|
Update examples
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
ade682a5f6
|
NUL terminator on String Reprs
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
3baade843d
|
Better tag assignment, emphasising that Embeddeds are real Values
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
8bb3f329a2
|
Adjust language around overlong varint encodings
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
cc97b6150c
|
Another note on lengths and reading
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
d6b0b8bbd8
|
Loosen re overlong varints. Clarify re use of length info
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
dd231284f1
|
Add redirect
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
6e0592256d
|
The cheatsheet is better as a single block
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
9668bcbb03
|
Style tweaks
|
2022-06-18 21:51:16 +02:00 |
Tony Garnock-Jones
|
832fec6c43
|
Fix spec issues with len() and IEEE754 endianness (thanks to isd)
|
2022-06-18 21:51:16 +02:00 |