scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Commit graph

  • 74a3bb9e69 networks: Move sbf/state? to a better place. Sergiu Ivanov 2020-10-12 22:46:21 +0200
  • c8e7d3733c networks: Add sbf/state?. Sergiu Ivanov 2020-10-12 22:40:03 +0200
  • 848d53f97a networks: Add tbf/state-tabulate. Sergiu Ivanov 2020-10-12 00:53:56 +0200
  • f37155fd3e networks: Add tbf/state-tabulate*. Sergiu Ivanov 2020-10-12 00:47:54 +0200
  • 0987ce332a networks: Fix the test case for print-org-tbfs/state. Sergiu Ivanov 2020-10-12 00:47:25 +0200
  • 7b3b31b211 networks: Add print-org-tbfs/state. Sergiu Ivanov 2020-10-12 00:24:10 +0200
  • f7ce78363e example: Fixes in the presentation of TBN/TBF. Sergiu Ivanov 2020-10-12 00:13:08 +0200
  • f932841de3 example: Reference the section on TBN from standalone TBF. Sergiu Ivanov 2020-10-11 23:25:06 +0200
  • f06c5bc8ff example: Start explaining tbf/state and TBN. Sergiu Ivanov 2020-10-11 23:22:37 +0200
  • 2a71a1cd93 networks: Add read-org-tbfs/state. Sergiu Ivanov 2020-10-10 23:51:52 +0200
  • 82c1849660 networks: Add lists->tbfs/state. Sergiu Ivanov 2020-10-10 23:23:43 +0200
  • e85cfd9f0f networks: Slightly reorder the exports. Sergiu Ivanov 2020-08-01 23:38:24 +0200
  • fbc3bf5c8a networks: Add apply-tbf/state. Sergiu Ivanov 2020-08-01 23:24:51 +0200
  • a98ed9b325 utils: Typo in the error message in hash-intersect. Sergiu Ivanov 2020-08-01 23:10:32 +0200
  • 9c9cd78eaa utils: Add hash-intersect. Sergiu Ivanov 2020-07-29 23:25:34 +0200
  • f7bd120033 utils, Additional list utilities: Also talk about hash maps. Sergiu Ivanov 2020-07-23 23:47:38 +0200
  • ead66a2f4e networks: Use a named test-case in the tests for apply-tbf-to-state. Sergiu Ivanov 2020-07-23 00:22:39 +0200
  • 6eb6e21979 functions: Always use named test-cases in tests. Sergiu Ivanov 2020-07-23 00:21:34 +0200
  • e370356fac networks: Add some tests for tbf/state. Sergiu Ivanov 2020-07-23 00:20:00 +0200
  • 0b41cf54fc networks: Add make-tbf/state. Sergiu Ivanov 2020-07-23 00:19:25 +0200
  • 91c45ada06 networks: Make tbf/state transparent. Sergiu Ivanov 2020-07-23 00:17:17 +0200
  • a4be7922d4 networks: state/tbf → tbf/state. Sergiu Ivanov 2020-07-23 00:11:14 +0200
  • c27b9fe28b networks: Move apply-tbf-to-state to the top of the section. Sergiu Ivanov 2020-07-23 00:06:26 +0200
  • 3fa5b7ca89 networks: Add state/tbf-w and state/tbf-θ. Sergiu Ivanov 2020-07-23 00:05:34 +0200
  • 1f33e6c38c networks: Add state/tbf. Sergiu Ivanov 2020-07-23 00:02:35 +0200
  • 7710e56bb8 networks: apply-tbf/state → apply-tbf-to-state Sergiu Ivanov 2020-07-22 23:53:20 +0200
  • e10b208079 networks: Add apply-tbf/state. Sergiu Ivanov 2020-07-22 23:46:58 +0200
  • 3c640d2cab networks: Export tbn?. Sergiu Ivanov 2020-07-22 23:45:13 +0200
  • 5c0bb0ddbb networks: Add tbn?. Sergiu Ivanov 2020-07-21 00:13:56 +0200
  • 63029af82f example: Add Passing values between code blocks. Sergiu Ivanov 2020-07-20 23:57:16 +0200
  • 0ac14e446c example: Typo. Sergiu Ivanov 2020-07-20 18:05:03 +0200
  • e0329e2519 example: Add some text about SBFs. Sergiu Ivanov 2020-07-15 00:01:43 +0200
  • 17ffa3eb81 functions: Add read-org-sbfs. Sergiu Ivanov 2020-07-14 23:55:55 +0200
  • 45e4feaee0 functions: read-tbfs → lists-tbfs. Sergiu Ivanov 2020-07-14 23:41:55 +0200
  • bf45cf6382 functions: Add list->sbf. Sergiu Ivanov 2020-07-14 23:37:38 +0200
  • ac0f90ce23 functions: Add sbf. Sergiu Ivanov 2020-07-12 23:58:55 +0200
  • e5d07b2f13 functions: Add sbf?. Sergiu Ivanov 2020-07-12 23:50:51 +0200
  • c7c50e7152 functions: Add tbf-tabulate*/boolean. Sergiu Ivanov 2020-07-12 20:48:36 +0200
  • b1d9b5193e example: Add the section on TBF. Sergiu Ivanov 2020-07-12 00:31:24 +0200
  • 1adaf63ec1 functions: Implement tbf-tabulate using tbf-tabulate*. Sergiu Ivanov 2020-07-12 00:20:15 +0200
  • e11f20431f functions: Add tbf-tabulate*. Sergiu Ivanov 2020-07-12 00:18:25 +0200
  • 3dee3163f0 Generalise the contracts of tabulate and tabulate*. Sergiu Ivanov 2020-07-11 00:53:15 +0200
  • 47532e3905 functions: Add tbf-tabulate. Sergiu Ivanov 2020-07-11 00:46:58 +0200
  • 7d825d0a83 functions: Add read-org-tbfs. Sergiu Ivanov 2020-07-09 01:03:24 +0200
  • c999b4c6ce functions: read-org-tbfs → read-tbfs. Sergiu Ivanov 2020-07-09 00:53:16 +0200
  • 765ab457a6 functions: Fix in the comment of read-org-tbfs. Sergiu Ivanov 2020-07-09 00:45:26 +0200
  • b52aa188b9 functions: Add read-org-tbfs. Sergiu Ivanov 2020-07-09 00:45:00 +0200
  • dd3062652f functions: Add list->tbf. Sergiu Ivanov 2020-07-07 23:29:38 +0200
  • db42e20f1c functions: Define apply-tbf using define. Sergiu Ivanov 2020-07-07 23:25:51 +0200
  • dfe8766424 functions: Wrap the test for apply-tbf/boolean in test-case. Sergiu Ivanov 2020-07-07 23:24:34 +0200
  • 194bb1bb10 functions: Fix the contract for tbf. Sergiu Ivanov 2020-07-07 22:45:19 +0200
  • c4ba018b5b functinos,apply-tbf and apply-tbf/boolean: Work on Boolean vectors. Sergiu Ivanov 2020-07-07 21:41:45 +0200
  • 2ed5f84338 functions: Add apply-tbf and apply-tbf/boolean. Sergiu Ivanov 2020-06-11 00:27:11 +0200
  • dc3a0072a2 functions: Add vector-boolean->01. Sergiu Ivanov 2020-06-10 23:51:01 +0200
  • 45f4984f4c functions: Add tabulate/01 and tabulate*/01. Sergiu Ivanov 2020-06-10 23:25:39 +0200
  • 512de1a963 functions,tabulate*/boolean: Make the output contract more exact. Sergiu Ivanov 2020-06-10 23:03:25 +0200
  • 6e5a7fa845 functions: Make all tabulate functions take procedures of fixed arity. Sergiu Ivanov 2020-06-09 20:06:36 +0200
  • 180810a2aa utils: 0-1 -> 01 Sergiu Ivanov 2020-06-06 08:23:55 +0200
  • 8e6002040a utils: Add 0-1->boolean. Sergiu Ivanov 2020-06-05 00:03:46 +0200
  • 83dd673df9 utils: any->boolean -> any->0-1. Sergiu Ivanov 2020-06-04 23:47:10 +0200
  • 458868ea21 any->boolean: Move from networks to utils. Sergiu Ivanov 2020-06-03 23:42:47 +0200
  • e237e9e019 functions: Add tbf. Sergiu Ivanov 2020-06-03 22:51:06 +0200
  • 6247f28958 networks,tabulate-network: Fix the case of an identifier. Sergiu Ivanov 2020-06-02 23:37:28 +0200
  • 7f58bf5623 networks: Rewrite tabulate-network to use tabulate-state*/boolean. Sergiu Ivanov 2020-06-02 23:34:19 +0200
  • 9a1477ad42 networks: Fix the test for tabulate-state*/boolean. Sergiu Ivanov 2020-06-02 23:33:34 +0200
  • f812165b39 networks,tabulate-state*,tabulate-state*/boolean: Move the contracts to provide. Sergiu Ivanov 2020-06-02 21:53:53 +0200
  • a34b08e477 networks: Rewrite tabulate-state to use tabulate-state*. Sergiu Ivanov 2020-06-02 21:29:00 +0200
  • 42ffc37eeb networks: Add tabulate-state* and tabulate-state*/boolean. Sergiu Ivanov 2020-06-02 21:28:37 +0200
  • e654123a39 example: Illustrate tabulate*/boolean. Sergiu Ivanov 2020-05-31 23:42:16 +0200
  • 45b7604c51 example: Fix the usage of tabulate. Sergiu Ivanov 2020-05-31 23:41:56 +0200
  • 78386dd5bf functions: Add tabulate*/boolean. Sergiu Ivanov 2020-05-31 23:31:54 +0200
  • 26c615e6cf functions, tabulate*: Add a test for an empty list of functions. Sergiu Ivanov 2020-05-31 22:50:35 +0200
  • ece53ea522 functions: Only have one tabulate. Sergiu Ivanov 2020-05-31 00:13:50 +0200
  • e7b5a3931a functions: Add tabulate*/domain-list and use it in tabulate/domain-list. Sergiu Ivanov 2020-05-30 23:55:48 +0200
  • cd00e2a4d4 networks: Redefine ppsg and ppsgb as functions and export them. Sergiu Ivanov 2020-05-28 00:49:29 +0200
  • 28a77d1e20 example: Mention dds/functions. Sergiu Ivanov 2020-05-28 00:30:27 +0200
  • 8421d89629 networks: Factor out purely function-related code into functions. Sergiu Ivanov 2020-05-28 00:24:17 +0200
  • 90bebbded9 boolean-power,boolean-power-stream: Move from networks to utils. Sergiu Ivanov 2020-05-28 00:18:38 +0200
  • 1b65cd7624 functions: Add. Sergiu Ivanov 2020-05-28 00:02:08 +0200
  • b6f6e4e7c4 rs/test: Use test-case and define instead of let. Sergiu Ivanov 2020-05-27 23:48:22 +0200
  • b98d00320c networks: Use test-case and define instead of let. Sergiu Ivanov 2020-05-27 23:39:38 +0200
  • 48394daa7a utils: Set the seed of the random generator in each test case. Sergiu Ivanov 2020-05-26 22:45:36 +0200
  • 168b898080 utils/test: Use test-case and define instead of let. Sergiu Ivanov 2020-05-24 00:38:05 +0200
  • b9109faa6e example: Update to a picture. Sergiu Ivanov 2020-05-23 23:53:04 +0200
  • 1166132362 example: Fix the prologue to correctly require dds. Sergiu Ivanov 2020-05-23 23:52:32 +0200
  • e7d4ff88cf rs: Move the tests to the test submodule. Sergiu Ivanov 2020-05-23 00:00:28 +0200
  • c8d88de6c2 networks: Move the tests to the test submodule. Sergiu Ivanov 2020-05-22 23:40:40 +0200
  • ff9189270e utils: Move the tests into the test submodule. Sergiu Ivanov 2020-05-16 23:09:00 +0200
  • 95c0611e4f Add info.rkt. Sergiu Ivanov 2020-05-16 19:00:04 +0200
  • 76bff909e9 example: Reran some code blocks in the section on reaction systems. Sergiu Ivanov 2020-05-16 00:18:36 +0200
  • 8dbeaa9e55 read-context-sequence: Replace read-org-sexp by string->any. Sergiu Ivanov 2020-05-16 00:16:44 +0200
  • c5d2ff629c Explain how to install dds locally and use shorter require statements. Sergiu Ivanov 2020-05-16 00:01:36 +0200
  • 82def3b704 networks: Ensure that all variables always appear in the interaction graphs. Sergiu Ivanov 2020-05-14 01:06:17 +0200
  • 6c707ddba7 build-signed-interaction-graph: Use _. Sergiu Ivanov 2020-05-14 00:56:46 +0200
  • 32b2e41634 example: Explain how to read back and explore networks from Org tables. Sergiu Ivanov 2020-05-08 23:33:43 +0200
  • 036b9b7973 utils: Make read-org-sexp recursively apply string->any. Sergiu Ivanov 2020-05-06 23:03:15 +0200
  • 502e564fc7 Add map-sexp. Sergiu Ivanov 2020-04-14 15:57:26 +0200
  • 43a2f1aff0 utils: Handle Booleans when reading Org-mode tables. Sergiu Ivanov 2020-04-05 22:35:21 +0200
  • cdca40eb40 example: Random networks: unorg -> unorgv. Sergiu Ivanov 2020-03-25 23:29:01 +0100
  • faa3d9ff00 networks: Remove unorg-syn and unorg-asyn. Sergiu Ivanov 2020-03-25 23:21:16 +0100