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
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
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
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
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
Sergiu Ivanov
7710e56bb8
networks: apply-tbf/state → apply-tbf-to-state
...
The next commits will define tbf/state. The function to apply such a
TBF would naturally be called apply-tbf/state, and it will be quite
different from the apply-tbf-to-state, hence the renaming.
2020-07-22 23:53:20 +02:00
Sergiu Ivanov
e10b208079
networks: Add apply-tbf/state.
2020-07-22 23:46:58 +02:00
Sergiu Ivanov
3c640d2cab
networks: Export tbn?.
2020-07-22 23:45:13 +02:00
Sergiu Ivanov
5c0bb0ddbb
networks: Add tbn?.
2020-07-21 00:13:56 +02:00
Sergiu Ivanov
180810a2aa
utils: 0-1 -> 01
...
Shorter and easier to type.
2020-06-06 08:23:55 +02:00
Sergiu Ivanov
83dd673df9
utils: any->boolean -> any->0-1.
2020-06-04 23:47:10 +02:00
Sergiu Ivanov
458868ea21
any->boolean: Move from networks to utils.
2020-06-03 23:42:47 +02:00
Sergiu Ivanov
6247f28958
networks,tabulate-network: Fix the case of an identifier.
2020-06-02 23:37:28 +02:00
Sergiu Ivanov
7f58bf5623
networks: Rewrite tabulate-network to use tabulate-state*/boolean.
2020-06-02 23:34:19 +02:00
Sergiu Ivanov
9a1477ad42
networks: Fix the test for tabulate-state*/boolean.
2020-06-02 23:33:34 +02:00
Sergiu Ivanov
f812165b39
networks,tabulate-state*,tabulate-state*/boolean: Move the contracts to provide.
2020-06-02 21:53:53 +02:00
Sergiu Ivanov
a34b08e477
networks: Rewrite tabulate-state to use tabulate-state*.
2020-06-02 21:29:00 +02:00
Sergiu Ivanov
42ffc37eeb
networks: Add tabulate-state* and tabulate-state*/boolean.
2020-06-02 21:28:37 +02:00
Sergiu Ivanov
cd00e2a4d4
networks: Redefine ppsg and ppsgb as functions and export them.
2020-05-28 00:49:29 +02:00
Sergiu Ivanov
8421d89629
networks: Factor out purely function-related code into functions.
2020-05-28 00:24:17 +02:00
Sergiu Ivanov
90bebbded9
boolean-power,boolean-power-stream: Move from networks to utils.
2020-05-28 00:24:02 +02:00
Sergiu Ivanov
b98d00320c
networks: Use test-case and define instead of let.
2020-05-27 23:39:38 +02:00
Sergiu Ivanov
c8d88de6c2
networks: Move the tests to the test submodule.
2020-05-22 23:40:40 +02:00
