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

Commit graph

  • 3abf548ac2 networks: Bug in update. Sergiu Ivanov 2020-11-22 22:44:04 +0100
  • eb3e851a9d networks: Make network and network-form transparent. Sergiu Ivanov 2020-11-22 22:38:45 +0100
  • ff6fa2c88b network: Fix the test for make-boolean-network. Sergiu Ivanov 2020-11-22 22:11:25 +0100
  • b38adc89cf networks: Don't use tabulate-boolean-network. Sergiu Ivanov 2020-11-22 22:08:45 +0100
  • e4751c6ed2 networks: Don't re-export network-form?. Sergiu Ivanov 2020-11-22 22:05:41 +0100
  • 0085eb964b networks: Fix make-boolean-network. Sergiu Ivanov 2020-11-22 22:02:56 +0100
  • 5475bc5fbf networks: Fix Random networks. Sergiu Ivanov 2020-11-22 21:58:00 +0100
  • 2c68055818 networks: Fix constructing functions and networks. Sergiu Ivanov 2020-11-22 21:42:41 +0100
  • 3a2453c92e networks: Fix tabulating functions and networks. Sergiu Ivanov 2020-11-22 21:41:06 +0100
  • fd651ba4cc network,Dynamics: Fixes. Sergiu Ivanov 2020-11-22 21:35:19 +0100
  • 6cfa66694d networks: Remove read-org-network-make-asyn and read-org-network-make-syn. Sergiu Ivanov 2020-11-22 21:33:16 +0100
  • 97026a2a42 networks: Say that domain mappings may be empty. Sergiu Ivanov 2020-11-22 21:30:50 +0100
  • 27bb25c201 networks: Fix signed interaction graphs. Sergiu Ivanov 2020-11-22 21:26:26 +0100
  • 3e35b8e0ab networks, IG: Use forms->boolean-network. Sergiu Ivanov 2020-11-22 21:24:05 +0100
  • ec3c74b5e2 networks: Add forms->boolean-network. Sergiu Ivanov 2020-11-22 21:21:31 +0100
  • a4979d9c9f networks: Add make-boolean-network-form. Sergiu Ivanov 2020-11-22 21:18:22 +0100
  • d5e1819fff networks: Add make-boolean-network. Sergiu Ivanov 2020-11-22 21:13:37 +0100
  • 6fd3d41c7e networks: Update the IG-related functions. Sergiu Ivanov 2020-11-22 21:06:33 +0100
  • 393f1d2bba networks: Move domain-mapping/c to Basic definitions. Sergiu Ivanov 2020-11-22 20:46:53 +0100
  • cb208a66fc networks: Add one more comment on syntactic IG vs. IG. Sergiu Ivanov 2020-11-22 20:42:30 +0100
  • b8f29d905d networks: Remove make-network-from-forms. Sergiu Ivanov 2020-11-22 00:29:36 +0100
  • 236dca704d networks: Update network-form->network. Sergiu Ivanov 2020-11-22 00:25:46 +0100
  • ed03015e81 network: Add domains to network-form. Sergiu Ivanov 2020-11-22 00:22:44 +0100
  • cfe710e6b2 network: Don't use make-network-from-functions in basic definitions. Sergiu Ivanov 2020-11-22 00:08:46 +0100
  • 11d75bcc89 networks: Rewrite update. Sergiu Ivanov 2020-11-21 23:28:30 +0100
  • 6560dcbe6c networks: Move booleanize-state before its own test case. Sergiu Ivanov 2020-11-21 23:15:17 +0100
  • a654ac5896 network: Remove make-network-from-forms. Sergiu Ivanov 2020-11-21 23:13:50 +0100
  • 004e24d83c README: Remove the TODO item about the interaction graphs. Sergiu Ivanov 2020-11-21 23:04:14 +0100
  • a3ac1c7fcd networks: Include domains into the network. Sergiu Ivanov 2020-11-21 22:53:45 +0100
  • f1a1123cc4 networks: Make it possible to skip expensive test cases. Sergiu Ivanov 2020-11-21 00:53:11 +0100
  • 097c5a7f09 example: Update the presentation of the functions concerning the interaction graphs. Sergiu Ivanov 2020-11-19 23:48:50 +0100
  • fe0fbc3ed0 networks: Add build-signed-interaction-graph/form. Sergiu Ivanov 2020-11-19 00:22:01 +0100
  • 0345cd3648 networks: Add build-interaction-graph/form. Sergiu Ivanov 2020-11-19 00:14:54 +0100
  • 8e100c2e8b networks: Add build-signed-interaction-graph. Sergiu Ivanov 2020-11-18 01:11:37 +0100
  • 0313d81c25 network: Add another self-loop test for get-interaction-sign. Sergiu Ivanov 2020-11-18 01:08:40 +0100
  • c55113f27e network: Bug fix in get-interaction-sign. Sergiu Ivanov 2020-11-18 00:46:55 +0100
  • 195d71ed4e networks: Remove interaction? from the tests for get-interaction-sign. Sergiu Ivanov 2020-11-18 00:29:45 +0100
  • a8adc9fb57 README: Add a new TODO item for splitting network into two models. Sergiu Ivanov 2020-11-18 00:19:53 +0100
  • af8428d275 network,build-interaction-graph: Use in-list. Sergiu Ivanov 2020-11-18 00:13:00 +0100
  • d190f76fdf networks: Add build-interaction-graph. Sergiu Ivanov 2020-11-18 00:09:15 +0100
  • ff9654e5c6 network: Add get-interaction-sign. Sergiu Ivanov 2020-11-17 23:38:34 +0100
  • bfc48ff453 networks: Slightly optimize interaction?. Sergiu Ivanov 2020-11-15 00:02:44 +0100
  • 8a1f4c682e networks: Add interaction?. Sergiu Ivanov 2020-11-14 23:15:39 +0100
  • d24dadd4cd example: Stage all the figures. Sergiu Ivanov 2020-11-12 22:56:53 +0100
  • ce0925e41e networks: Remove the old functions for building interaction graphs. Sergiu Ivanov 2020-11-12 22:39:27 +0100
  • 70de0ec718 README: Add the milestone about the domains. Sergiu Ivanov 2020-11-12 17:22:43 +0100
  • a8f4850139 README: Expand the milestone about interaction graphs. Sergiu Ivanov 2020-11-12 17:22:17 +0100
  • 99c74ba659 README: Expand the Scribble milestone to types and include more details. Sergiu Ivanov 2020-11-12 17:08:00 +0100
  • 7de4c5ef71 README: Add the Roadmap. Sergiu Ivanov 2020-11-12 16:40:24 +0100
  • 60be01d979 networks: Fix and simplify the comment of Inferring interaction graphs. Sergiu Ivanov 2020-11-12 01:11:15 +0100
  • 5ece1f6c88 networks: list-interactions → list-syntactic-interactions. Sergiu Ivanov 2020-11-12 01:09:18 +0100
  • 681ed0e732 networks: Simplify and fix the comment of update. Sergiu Ivanov 2020-11-12 01:08:10 +0100
  • 88caecb98a networks: Properly export dynamics. Sergiu Ivanov 2020-11-12 01:07:41 +0100
  • 6d77052ed6 network: Explain why a network does not include the domains. Sergiu Ivanov 2020-11-12 01:05:27 +0100
  • 5fd1e5cb5b Revert "BREAKING: Make domains part of the network." Sergiu Ivanov 2020-11-12 01:03:48 +0100
  • f414ae8966 BREAKING: Make domains part of the network. Sergiu Ivanov 2020-11-12 00:58:58 +0100
  • cde6ee30fa networks: build-interaction-graph → build-syntactic-interaction-graph. Sergiu Ivanov 2020-11-11 00:45:01 +0100
  • af581f91df example: Illustrate build-reduced-state-graph. Sergiu Ivanov 2020-11-11 00:37:12 +0100
  • 3b8ce5eb84 rs: Add pretty-print-reduced-state-graph. Sergiu Ivanov 2020-11-11 00:36:49 +0100
  • ce0d5023bf rs: Add build-reduced-state-graph. Sergiu Ivanov 2020-11-10 09:42:50 +0100
  • 4f3eef0ba3 rs: Fix the comment of build-interactive-process-graph. Sergiu Ivanov 2020-11-09 23:24:43 +0100
  • dbbfc74eaf rs: Don't implicitly complete all context sequences with empty contexts. Sergiu Ivanov 2020-11-09 23:13:24 +0100
  • 2b60b23bf1 networks: Add group-truth-table-by-nai. Sergiu Ivanov 2020-11-08 23:31:11 +0100
  • 59c7108510 networks: Add and illustrate sbn-interaction-graph. Sergiu Ivanov 2020-11-08 22:56:46 +0100
  • bc9a2bd5f8 networks: Add and illustrate pretty-print-tbn-interaction-graph. Sergiu Ivanov 2020-11-08 22:30:29 +0100
  • 7af1bb8d79 networks: Add tbn-interaction-graph and explain in example. Sergiu Ivanov 2020-11-08 20:29:00 +0100
  • 000c2eeba7 networks: Fix the test for print-org-sbn. Sergiu Ivanov 2020-11-05 23:23:48 +0100
  • a7a1ad49a1 example: Illustrate printing TBN and SBN to Org tables. Sergiu Ivanov 2020-11-04 00:07:08 +0100
  • 79d3ab1ea6 networks: Add print-org-sbn. Sergiu Ivanov 2020-11-04 00:06:48 +0100
  • ed44d3666c utils: Streamline multi-split-at. Sergiu Ivanov 2020-11-03 23:58:26 +0100
  • c4a5327b4b networks: Fix the tests for print-org-tbn. Sergiu Ivanov 2020-11-02 23:05:05 +0100
  • af5a9d07a9 networks: Add print-org-tbn. Sergiu Ivanov 2020-11-02 17:58:45 +0100
  • 0edda89642 networks: Add compact-tbn. Sergiu Ivanov 2020-11-02 00:08:49 +0100
  • 722b45d098 utils: Remove hash-filter. Sergiu Ivanov 2020-11-01 23:43:23 +0100
  • 2a0cfb4dcc network,compact-tbf: Use for/hash instead of hash-filter. Sergiu Ivanov 2020-11-01 23:38:08 +0100
  • f7e44df117 networks: Add compact-tbf. Sergiu Ivanov 2020-10-31 00:48:00 +0100
  • a00f21ad18 utils,hash-filter: Say that how the comparison predicate of the result is determined. Sergiu Ivanov 2020-10-31 00:27:16 +0100
  • 73756d8974 utils: Add hash-filter. Sergiu Ivanov 2020-10-31 00:19:38 +0100
  • 208dc12060 networks: Add normalize-tbn. Sergiu Ivanov 2020-10-24 23:51:56 +0200
  • 11ecbf84dc networks: Add normalized-tbn?. Sergiu Ivanov 2020-10-24 23:15:13 +0200
  • e79fef9118 networks: Add build-tbn-state-graph and use it in example. Sergiu Ivanov 2020-10-23 00:17:36 +0200
  • 485b859f34 example: Show an example of read-org-sbn. Sergiu Ivanov 2020-10-22 10:39:27 +0200
  • 2dd38fa4dc networks: Add read-org-sbn. Sergiu Ivanov 2020-10-22 00:59:58 +0200
  • a3f3a5616d networks: Factor parse-org-tbn out from read-org-tbn. Sergiu Ivanov 2020-10-22 00:52:06 +0200
  • 20b3357910 example: Show how to build state graphs of TBN. Sergiu Ivanov 2020-10-18 23:10:43 +0200
  • b3d2ed94ec networks: Add build-full-01-state-graph and build-full-01-state-graph-annotated. Sergiu Ivanov 2020-10-18 22:57:08 +0200
  • afa84d00b5 networks: Add build-all-01-states. Sergiu Ivanov 2020-10-18 22:52:45 +0200
  • 85feab230f networks: Add make-01-domains. Sergiu Ivanov 2020-10-18 22:52:05 +0200
  • 5f80bd0443 networks: Add read-org-tbn. Sergiu Ivanov 2020-10-17 23:51:51 +0200
  • 7555db41ef networks, tbn->network: Add tests for SBN. Sergiu Ivanov 2020-10-17 00:55:20 +0200
  • 218ecfc009 networks: Add sbn? and make-sbn. Sergiu Ivanov 2020-10-17 00:45:40 +0200
  • c2237ecdbc networks: Add tbn->network. Sergiu Ivanov 2020-10-16 00:55:26 +0200
  • 119fcdb8df networks: Add make-tbn. Sergiu Ivanov 2020-10-15 00:33:18 +0200
  • d6bf00d617 networks: Fix tbn? to use tbf/state. Sergiu Ivanov 2020-10-15 00:17:15 +0200
  • 848142aa61 example: Explain new SBF-related additions. Sergiu Ivanov 2020-10-14 00:20:34 +0200
  • 2d1ef85209 networks: Streamline print-org-tbfs/state. Sergiu Ivanov 2020-10-14 00:07:08 +0200
  • 664aa89c6a networks: Add print-org-sbfs/state. Sergiu Ivanov 2020-10-14 00:02:58 +0200
  • 835b89bbb8 networks: Add read-org-sbfs/state. Sergiu Ivanov 2020-10-13 23:25:21 +0200
  • 1ff413ddcc networks: Add lists->sbfs/state. Sergiu Ivanov 2020-10-12 23:20:48 +0200
  • 943fd322c4 network: Add make-sbf/state. Sergiu Ivanov 2020-10-12 22:53:34 +0200