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

Commit Graph

  • 86256cd47e rs: Add union-products. Sergiu Ivanov 2020-03-01 19:47:38 +0100
  • 3732d4897e rs,list-enabled: Made the type signature more explicit. Sergiu Ivanov 2020-03-01 19:24:32 +0100
  • d7e189eef0 rs: Add list-enabled. Sergiu Ivanov 2020-03-01 19:20:24 +0100
  • 0cb57196c5 rs: Add ReactionSystem. Sergiu Ivanov 2020-03-01 19:19:58 +0100
  • f62592574b rs: Export the Species type. Sergiu Ivanov 2020-03-01 19:07:16 +0100
  • bb247d9eb8 rs: Start. Sergiu Ivanov 2020-03-01 19:05:28 +0100
  • 007c5b96bf example: Show what happens when multiple modalities cause the same state transition. Sergiu Ivanov 2020-03-01 18:01:53 +0100
  • 9143f6f9fc networks: Add pretty-print-modalities and use it for state graphs. Sergiu Ivanov 2020-03-01 17:57:58 +0100
  • 1fa342c2ad generic: Make fallback-dds-build-state-graph-edges collect duplicate edges. Sergiu Ivanov 2020-03-01 17:40:36 +0100
  • b2f686cdaa utils: Add collect-by-key. Sergiu Ivanov 2020-03-01 16:53:17 +0100
  • 02d564a374 example: Add an example on printing annotated state graphs for networks. Sergiu Ivanov 2020-03-01 15:22:11 +0100
  • a3f5d4d2ba networks, pretty-print-state-graph-with: Use pretty-print-set for edges. Sergiu Ivanov 2020-03-01 15:20:44 +0100
  • 3f24a5be8b utils: Add pretty-print-set. Sergiu Ivanov 2020-03-01 15:15:52 +0100
  • 1e524f167c utils: Add update-graph. Sergiu Ivanov 2020-02-29 17:21:56 +0100
  • 6e5c73bcb2 networks: Add build-full-boolean-state-graph-annotated. Sergiu Ivanov 2020-02-28 21:56:42 +0100
  • 2ece2e76ee networks: Re-export dds-build-state-graph-annotated and dds-build-n-step-state-graph-annotated. Sergiu Ivanov 2020-02-28 21:46:25 +0100
  • 160713b56b generic: Add dds-build-state-graph-annotated and dds-build-n-step-state-graph-annotated. Sergiu Ivanov 2020-02-28 21:45:54 +0100
  • 601e8ed8b3 generic: Generalise fallback-dds-build-state-graph to work with annotations. Sergiu Ivanov 2020-02-28 21:39:02 +0100
  • fd290a049e networks: Make the pretty printing procedures sort the keys. Sergiu Ivanov 2020-02-26 21:27:02 +0100
  • e3a04cb765 example.org: Add examples of state graphs. Sergiu Ivanov 2020-02-26 21:17:11 +0100
  • 5f4cb917bc networks-tests: Fix the usage of stb. Sergiu Ivanov 2020-02-26 21:05:06 +0100
  • 63b676b1ba networks: Remove an extra call to booleanize-state. Sergiu Ivanov 2020-02-26 21:02:44 +0100
  • b53639839f networks: Add booleanize-state and make stb a shortcut for it. Sergiu Ivanov 2020-02-26 20:47:38 +0100
  • 2022e0187b networks: Add make-state-booleanize and stb. Sergiu Ivanov 2020-02-26 15:51:25 +0100
  • 018e3c6976 utils: Generalise unstringify-pairs. Sergiu Ivanov 2020-02-26 15:51:00 +0100
  • 83a87acfc5 utils: Generalise unstringify-pairs. Sergiu Ivanov 2020-02-23 21:29:00 +0100
  • 9e0db04035 networks: Make nn a shortcut form network-form->network. Sergiu Ivanov 2020-02-23 20:28:11 +0100
  • b0acbadadd networks: Add build-all-boolean-states and build-full-boolean-state-graph. Sergiu Ivanov 2020-02-23 20:13:37 +0100
  • f88bc0d01b networks: Add further infrastructure for pretty-printing networks. Sergiu Ivanov 2020-02-23 19:44:55 +0100
  • 3a873ab256 networks: Add pretty-print-state. Sergiu Ivanov 2020-02-23 19:24:53 +0100
  • 4063a21bce utils: Add update-vertices/unweighted. Sergiu Ivanov 2020-02-23 19:17:16 +0100
  • 39575f39c2 generic: Add dds-build-state-graph and dds-build-n-step-state-graph. Sergiu Ivanov 2020-02-23 18:51:57 +0100
  • ef76e143f2 network-tests: Factor out a convenient set of states. Sergiu Ivanov 2020-02-23 15:09:02 +0100
  • a26ce5aebc generic: Say which methods have no fallback. Sergiu Ivanov 2020-02-23 15:05:06 +0100
  • e7eb1fb09e networks: Implement dds-step-one-annotated. Sergiu Ivanov 2020-02-23 14:11:55 +0100
  • afb97eae7c generic: Add dds-step-one-annotated. Sergiu Ivanov 2020-02-23 14:11:38 +0100
  • 5969595bed networks: Add and use modality? Sergiu Ivanov 2020-02-23 13:53:02 +0100
  • 95d248c548 networks, generic: Make all set/c arguments 'dont-care. Sergiu Ivanov 2020-02-23 13:38:18 +0100
  • fea113c1dd generic: Fix fallback-dds-step. Sergiu Ivanov 2020-02-23 13:36:49 +0100
  • 8c92a4bbd8 networks, generic: Add dds-step. Sergiu Ivanov 2020-02-23 13:28:51 +0100
  • 598904fecd networks: Fix an extra newline in provides. Sergiu Ivanov 2020-02-23 12:27:59 +0100
  • 5907edfef0 dds-step -> dds-step-one Sergiu Ivanov 2020-02-23 12:23:55 +0100
  • c79c23ada3 generic: Fix the order of parameters in the comment for dds-step. Sergiu Ivanov 2020-02-23 12:21:08 +0100
  • 5d5d0347e8 networks: Make dynamics inherit from dds and implement dds-step. Sergiu Ivanov 2020-02-23 12:19:47 +0100
  • 9e818ad2bf generic: Add. Sergiu Ivanov 2020-02-23 12:19:37 +0100
  • f9191287e1 networks: Make update accept any kind of sets of variables. Sergiu Ivanov 2020-02-23 12:10:27 +0100
  • cbf949ba5a network: Use domain-mapping/c in the contract of make-same-domains. Sergiu Ivanov 2020-02-23 11:51:59 +0100
  • dedfddfe55 networks: Add make-dynamics-from-func, make-asyn-dynamics, make-syn-dynamics. Sergiu Ivanov 2020-02-23 11:42:01 +0100
  • c9cbb1c951 networks: Add make-syn and make-asyn. Sergiu Ivanov 2020-02-23 11:25:19 +0100
  • 2fa89f05b9 networks: Start section Dynamics of networks. Sergiu Ivanov 2020-02-23 11:10:18 +0100
  • 9f4fae1437 example.org: Illustrate signed interaction graphs. Sergiu Ivanov 2020-02-23 10:14:32 +0100
  • 2d0e688425 networks: Add build-boolean-signed-interaction-graph. Sergiu Ivanov 2020-02-23 10:00:48 +0100
  • b04d897c67 Remove extra comments at the end of networks. Sergiu Ivanov 2020-02-23 09:26:07 +0100
  • 04bc619b7d network-tests: Compare hash tables directly. Sergiu Ivanov 2020-02-23 09:25:08 +0100
  • 4a6888ddde networks: Rewrite update for immutable hashes. Sergiu Ivanov 2020-02-23 09:19:45 +0100
  • 1492c33e1a networks: Remove build-all-states-same-domain. Sergiu Ivanov 2020-02-23 09:13:03 +0100
  • 245b22316e networks: Add and use domain-mapping/c. Sergiu Ivanov 2020-02-23 09:12:01 +0100
  • bdbbae6eb6 networks: Make build-all-state take a hash as the domain mapping. Sergiu Ivanov 2020-02-23 09:09:43 +0100
  • 5a27469dce utils: Slightly streamline extract-symbols with match. Sergiu Ivanov 2020-02-23 09:00:54 +0100
  • 9eca7bf449 Prefer for, for/list, and for/hash for iterating over hashes. Sergiu Ivanov 2020-02-23 08:57:50 +0100
  • 5fd1b95d5c networks: Fix the comments for make-state and make-network-from-functions. Sergiu Ivanov 2020-02-23 08:47:16 +0100
  • daf2e079ae networks: Add build-signed-interaction-graph. Sergiu Ivanov 2020-02-23 01:00:09 +0100
  • 798178852c networks-test: Use make-boolean-domains. Sergiu Ivanov 2020-02-23 00:55:34 +0100
  • 251a7dcf23 networks: make-same-domain-mapping -> make-same-domains, make-boolean-domain-mapping -> make-boolean-domains Sergiu Ivanov 2020-02-23 00:15:18 +0100
  • 183160da6f networks: Add make-same-domain-mapping and make-boolean-domain-mapping. Sergiu Ivanov 2020-02-23 00:13:36 +0100
  • cf676028d3 networks, update: Don't talk about Boolean networks. Sergiu Ivanov 2020-02-23 00:05:04 +0100
  • fbef580a01 networks: Add get-interaction-sign. Sergiu Ivanov 2020-02-23 00:04:19 +0100
  • c2c87d0a7d network: Create immutable hashes by default. Sergiu Ivanov 2020-02-22 23:22:43 +0100
  • ac8e63c5f4 networks: Make the state an immutable hash table by default. Sergiu Ivanov 2020-02-22 23:20:10 +0100
  • 25a88c820a networks: Add build-all-states-same-domain. Sergiu Ivanov 2020-02-22 22:41:56 +0100
  • da3f25922a networks: Add build-all-states. Sergiu Ivanov 2020-02-22 22:27:40 +0100
  • 511aa60c31 Show off some examples of Boolean networks. Sergiu Ivanov 2020-02-22 21:01:06 +0100
  • 3ff1b645d5 utils: Add dotit. Sergiu Ivanov 2020-02-22 21:00:34 +0100
  • 8357f70304 utils: Generalise the comment to the section on interaction with Org-mode. Sergiu Ivanov 2020-02-22 20:51:32 +0100
  • e8af2055e6 Add example.org and an accompanying picture. Sergiu Ivanov 2020-02-22 20:34:24 +0100
  • 576f204846 utils: Add unorg. Sergiu Ivanov 2020-02-22 19:48:39 +0100
  • ea77374933 utils: Make unstringify-pairs return a hash map instead of a list of pairs. Sergiu Ivanov 2020-02-22 19:20:45 +0100
  • 286a75c8ba utils: Add read-org-variable-mapping. Sergiu Ivanov 2020-02-22 19:15:39 +0100
  • eacd2a07a0 utils: Also generalise the contract of unstringify-pairs. Sergiu Ivanov 2020-02-22 19:14:46 +0100
  • a2b8df2a67 utils: Generalise unstringify-pairs to accept both proper and improper pairs. Sergiu Ivanov 2020-02-22 18:58:19 +0100
  • 5b4d39a1b0 utils: Add unstringify-pairs. Sergiu Ivanov 2020-02-22 12:27:28 +0100
  • fed1f65abd utils: Add read-org-table. Sergiu Ivanov 2020-02-22 12:18:37 +0100
  • 7d52533f74 utils: variable-mapping-stringify -> stringify-variable-mapping. Sergiu Ivanov 2020-02-22 12:12:57 +0100
  • 1eb48bc5e2 utils: Add string->any. Sergiu Ivanov 2020-02-22 12:11:37 +0100
  • e37aeca9e7 Generalise the comment to Variable mapping and Org-mode. Sergiu Ivanov 2020-02-22 12:08:39 +0100
  • 3a3c0e2d4d utils: Add sgfy. Sergiu Ivanov 2020-02-22 10:40:40 +0100
  • 8dfa11b17c networks: Say contracts are contract?. Sergiu Ivanov 2020-02-22 10:37:37 +0100
  • 5ee517ec2d utils: Add a separate section for contracts in provide. Sergiu Ivanov 2020-02-22 10:36:03 +0100
  • 2dd9e9e575 utils: Use hash/c instead of hash-pred. Sergiu Ivanov 2020-02-22 10:35:01 +0100
  • 184727f5b4 utils: Add variable-mapping-stringify and string-variable-mapping?. Sergiu Ivanov 2020-02-22 10:29:34 +0100
  • 7f6c8703a9 utils: Add any->string. Sergiu Ivanov 2020-02-21 18:01:08 +0100
  • 038e543eff networks: Add build-interaction-graph. Sergiu Ivanov 2020-02-20 15:56:48 +0100
  • cd714773be lambda -> λ Sergiu Ivanov 2020-02-20 15:36:29 +0100
  • 75bf044fd8 networks: Add list-interactions. Sergiu Ivanov 2020-02-20 15:17:32 +0100
  • 71f979808c hash-pred: Generalise and simplify. Sergiu Ivanov 2020-02-20 14:47:06 +0100
  • 6001762cb8 utils: Restructure the exports. Sergiu Ivanov 2020-02-20 14:19:30 +0100
  • 768fa7aabc networks: Restructure the exports slightly. Sergiu Ivanov 2020-02-20 14:13:48 +0100
  • cf19859be8 Rewrite bn without types, rename it to networks. Sergiu Ivanov 2020-02-20 00:56:30 +0100
  • 009c6109a9 utils: Add hash-pred and use it in variable-mapping? Sergiu Ivanov 2020-02-20 00:21:10 +0100
  • d94f72b1a5 utils: Export variable-mapping? Sergiu Ivanov 2020-02-19 23:37:32 +0100