Sergiu Ivanov
|
f7e44df117
|
networks: Add compact-tbf.
|
2020-10-31 00:48:00 +01:00 |
|
Sergiu Ivanov
|
a00f21ad18
|
utils,hash-filter: Say that how the comparison predicate of the result is determined.
|
2020-10-31 00:27:16 +01:00 |
|
Sergiu Ivanov
|
73756d8974
|
utils: Add hash-filter.
|
2020-10-31 00:19:38 +01:00 |
|
Sergiu Ivanov
|
208dc12060
|
networks: Add normalize-tbn.
|
2020-10-24 23:51:56 +02:00 |
|
Sergiu Ivanov
|
11ecbf84dc
|
networks: Add normalized-tbn?.
|
2020-10-24 23:15:13 +02:00 |
|
Sergiu Ivanov
|
e79fef9118
|
networks: Add build-tbn-state-graph and use it in example.
|
2020-10-23 00:17:36 +02:00 |
|
Sergiu Ivanov
|
485b859f34
|
example: Show an example of read-org-sbn.
|
2020-10-22 10:39:27 +02:00 |
|
Sergiu Ivanov
|
2dd38fa4dc
|
networks: Add read-org-sbn.
|
2020-10-22 00:59:58 +02:00 |
|
Sergiu Ivanov
|
a3f3a5616d
|
networks: Factor parse-org-tbn out from read-org-tbn.
|
2020-10-22 00:52:06 +02:00 |
|
Sergiu Ivanov
|
20b3357910
|
example: Show how to build state graphs of TBN.
|
2020-10-18 23:10:43 +02:00 |
|
Sergiu Ivanov
|
b3d2ed94ec
|
networks: Add build-full-01-state-graph and build-full-01-state-graph-annotated.
|
2020-10-18 22:57:08 +02:00 |
|
Sergiu Ivanov
|
afa84d00b5
|
networks: Add build-all-01-states.
|
2020-10-18 22:52:45 +02:00 |
|
Sergiu Ivanov
|
85feab230f
|
networks: Add make-01-domains.
|
2020-10-18 22:52:05 +02:00 |
|
Sergiu Ivanov
|
5f80bd0443
|
networks: Add read-org-tbn.
|
2020-10-17 23:51:51 +02:00 |
|
Sergiu Ivanov
|
7555db41ef
|
networks, tbn->network: Add tests for SBN.
|
2020-10-17 00:55:20 +02:00 |
|
Sergiu Ivanov
|
218ecfc009
|
networks: Add sbn? and make-sbn.
|
2020-10-17 00:45:40 +02:00 |
|
Sergiu Ivanov
|
c2237ecdbc
|
networks: Add tbn->network.
|
2020-10-16 00:55:26 +02:00 |
|
Sergiu Ivanov
|
119fcdb8df
|
networks: Add make-tbn.
|
2020-10-15 00:33:18 +02:00 |
|
Sergiu Ivanov
|
d6bf00d617
|
networks: Fix tbn? to use tbf/state.
|
2020-10-15 00:17:15 +02:00 |
|
Sergiu Ivanov
|
848142aa61
|
example: Explain new SBF-related additions.
|
2020-10-14 00:20:34 +02:00 |
|
Sergiu Ivanov
|
2d1ef85209
|
networks: Streamline print-org-tbfs/state.
|
2020-10-14 00:07:08 +02:00 |
|
Sergiu Ivanov
|
664aa89c6a
|
networks: Add print-org-sbfs/state.
|
2020-10-14 00:02:58 +02:00 |
|
Sergiu Ivanov
|
835b89bbb8
|
networks: Add read-org-sbfs/state.
|
2020-10-13 23:25:21 +02:00 |
|
Sergiu Ivanov
|
1ff413ddcc
|
networks: Add lists->sbfs/state.
|
2020-10-12 23:20:48 +02:00 |
|
Sergiu Ivanov
|
943fd322c4
|
network: Add make-sbf/state.
|
2020-10-12 22:53:34 +02:00 |
|
Sergiu Ivanov
|
74a3bb9e69
|
networks: Move sbf/state? to a better place.
|
2020-10-12 22:46:21 +02:00 |
|
Sergiu Ivanov
|
c8e7d3733c
|
networks: Add sbf/state?.
|
2020-10-12 22:40:03 +02:00 |
|
Sergiu Ivanov
|
848d53f97a
|
networks: Add tbf/state-tabulate.
|
2020-10-12 00:53:56 +02:00 |
|
Sergiu Ivanov
|
f37155fd3e
|
networks: Add tbf/state-tabulate*.
|
2020-10-12 00:47:54 +02:00 |
|
Sergiu Ivanov
|
0987ce332a
|
networks: Fix the test case for print-org-tbfs/state.
|
2020-10-12 00:47:25 +02:00 |
|
Sergiu Ivanov
|
7b3b31b211
|
networks: Add print-org-tbfs/state.
|
2020-10-12 00:24:10 +02:00 |
|
Sergiu Ivanov
|
f7ce78363e
|
example: Fixes in the presentation of TBN/TBF.
|
2020-10-12 00:13:08 +02:00 |
|
Sergiu Ivanov
|
f932841de3
|
example: Reference the section on TBN from standalone TBF.
|
2020-10-11 23:25:06 +02:00 |
|
Sergiu Ivanov
|
f06c5bc8ff
|
example: Start explaining tbf/state and TBN.
|
2020-10-11 23:22:37 +02:00 |
|
Sergiu Ivanov
|
2a71a1cd93
|
networks: Add read-org-tbfs/state.
|
2020-10-10 23:51:52 +02:00 |
|
Sergiu Ivanov
|
82c1849660
|
networks: Add lists->tbfs/state.
|
2020-10-10 23:23:43 +02:00 |
|
Sergiu Ivanov
|
e85cfd9f0f
|
networks: Slightly reorder the exports.
|
2020-08-01 23:38:24 +02:00 |
|
Sergiu Ivanov
|
fbc3bf5c8a
|
networks: Add apply-tbf/state.
|
2020-08-01 23:24:51 +02:00 |
|
Sergiu Ivanov
|
a98ed9b325
|
utils: Typo in the error message in hash-intersect.
|
2020-08-01 23:10:32 +02:00 |
|
Sergiu Ivanov
|
9c9cd78eaa
|
utils: Add hash-intersect.
|
2020-07-29 23:25:34 +02:00 |
|
Sergiu Ivanov
|
f7bd120033
|
utils, Additional list utilities: Also talk about hash maps.
|
2020-07-23 23:47:38 +02:00 |
|
Sergiu Ivanov
|
ead66a2f4e
|
networks: Use a named test-case in the tests for apply-tbf-to-state.
|
2020-07-23 00:22:39 +02:00 |
|
Sergiu Ivanov
|
6eb6e21979
|
functions: Always use named test-cases in tests.
|
2020-07-23 00:21:34 +02:00 |
|
Sergiu Ivanov
|
e370356fac
|
networks: Add some tests for tbf/state.
|
2020-07-23 00:20:00 +02:00 |
|
Sergiu Ivanov
|
0b41cf54fc
|
networks: Add make-tbf/state.
|
2020-07-23 00:19:25 +02:00 |
|
Sergiu Ivanov
|
91c45ada06
|
networks: Make tbf/state transparent.
|
2020-07-23 00:17:17 +02:00 |
|
Sergiu Ivanov
|
a4be7922d4
|
networks: state/tbf → tbf/state.
|
2020-07-23 00:11:14 +02:00 |
|
Sergiu Ivanov
|
c27b9fe28b
|
networks: Move apply-tbf-to-state to the top of the section.
|
2020-07-23 00:06:26 +02:00 |
|
Sergiu Ivanov
|
3fa5b7ca89
|
networks: Add state/tbf-w and state/tbf-θ.
|
2020-07-23 00:05:34 +02:00 |
|
Sergiu Ivanov
|
1f33e6c38c
|
networks: Add state/tbf.
|
2020-07-23 00:02:35 +02:00 |
|