Tony Garnock-Jones
|
5e5ee0bbdd
|
Introduce "AnyValue", a better name for "internal_protocol::_Any"
|
2021-08-11 17:16:01 -04:00 |
Tony Garnock-Jones
|
d85b980834
|
Typed Refs (!). Decent speedup by avoiding marshalling
|
2021-07-22 16:53:56 +02:00 |
Tony Garnock-Jones
|
6c3f039026
|
Use u64 internally for assertion handles
|
2021-07-22 10:07:49 +02:00 |
Tony Garnock-Jones
|
94fd0d3f14
|
Draw the rest of the bloody owl
|
2021-07-15 09:13:31 +02:00 |
Tony Garnock-Jones
|
d968eb34f2
|
Gatekeeper service etc. Still missing attenuations etc. But almost there!
|
2021-07-09 00:04:11 +02:00 |
Tony Garnock-Jones
|
ede0e29370
|
A few days' work redoing syndicate-rs - still WIP
|
2021-07-03 09:04:03 +02:00 |
Tony Garnock-Jones
|
fb946fcdc7
|
Elide intermediate consing
|
2020-06-15 21:14:01 +02:00 |
Tony Garnock-Jones
|
623ed241d6
|
Small speed improvement
|
2020-06-15 19:43:42 +02:00 |
Tony Garnock-Jones
|
648fa58d3d
|
Update to Preserves 0.7
|
2020-06-15 16:15:52 +02:00 |
Tony Garnock-Jones
|
51f3ccc9c4
|
Interoperable observe/capture/discard record labels; new state-consumer/state-producer examples
|
2020-06-10 11:10:44 +02:00 |
Tony Garnock-Jones
|
c5cf226d86
|
Major Preserves 0.6.0 API changes
|
2020-05-28 23:32:33 +02:00 |
Tony Garnock-Jones
|
99c0be80a3
|
Better error reporting and tracing
|
2020-05-18 16:46:41 +02:00 |
Tony Garnock-Jones
|
817a4d91a7
|
Count inbound and outbound messages/sec
|
2020-05-18 12:08:57 +02:00 |
Tony Garnock-Jones
|
ad1782e1b6
|
Stats and dataspace cleanup
|
2020-05-18 10:44:57 +02:00 |
Tony Garnock-Jones
|
482f903149
|
Dataspace links into skeleton; seems to be working
|
2019-10-24 20:05:39 +01:00 |
Tony Garnock-Jones
|
ec249fc759
|
Reorganise analysis
|
2019-10-24 14:50:44 +01:00 |
Tony Garnock-Jones
|
e730b22f6d
|
Fix clippyisms
|
2019-10-24 14:50:32 +01:00 |
Tony Garnock-Jones
|
85db5e3710
|
is_unrestricted
|
2019-10-24 14:49:54 +01:00 |
Tony Garnock-Jones
|
e5afef28cc
|
Progress on skeleton impl
|
2019-10-22 22:37:37 +01:00 |
Tony Garnock-Jones
|
3d48cebb91
|
WIP Skeleton implementation
|
2019-10-20 22:25:01 +01:00 |
Tony Garnock-Jones
|
4399f17db4
|
Fiddle with skeleton.rs
|
2019-10-15 16:58:34 +01:00 |
Tony Garnock-Jones
|
4a9606ff5d
|
Comment out partial skeleton impl temporarily
|
2019-09-24 22:01:19 +01:00 |
Tony Garnock-Jones
|
366af6be33
|
Clean out term.rs, replaced by preserves; some adjustments to match; preserves TCP echo server
|
2019-09-17 20:28:31 +01:00 |
Tony Garnock-Jones
|
8e64a9c4a5
|
Initial sketches
|
2019-09-17 14:28:01 +01:00 |