Commit graph

  • 319b15d956 networks: Remove ppsg and ppsgb. Sergiu Ivanov 2020-03-25 23:15:37 +0100
  • e8e3a71d87 networks: Remove nn. Sergiu Ivanov 2020-03-25 23:05:28 +0100
  • dfb882d891 networks: Remove st and stb. Sergiu Ivanov 2020-03-25 00:31:23 +0100
  • 086f4c4949 utils: Add unorg. Sergiu Ivanov 2020-03-25 00:19:28 +0100
  • a8a981098f utils: unorg -> unorgv Sergiu Ivanov 2020-03-25 00:16:29 +0100
  • 62ae1e3af1 utils: Convert dotit and unorg to functions. Sergiu Ivanov 2020-03-25 00:03:26 +0100
  • c4af42a2f6 example: Update a call to build-boolean-signed-interaction-graph. Sergiu Ivanov 2020-03-24 23:59:11 +0100
  • 8bc2a582a6 utils: Remove sgfy. Sergiu Ivanov 2020-03-24 23:47:20 +0100
  • 87dc89ee6f rs: Actually remove the macros. Sergiu Ivanov 2020-03-24 23:38:07 +0100
  • 14688a9bae rs: Remove macros, update example. Sergiu Ivanov 2020-03-24 23:22:20 +0100
  • 4c6f3af2a9 rs: Add read-org-rs and define unorg-rs as a synonym for it. Sergiu Ivanov 2020-03-24 21:31:01 +0100
  • 7f214266d0 rs: Don't use unorg macros internally. Sergiu Ivanov 2020-03-24 21:20:08 +0100
  • 502fcb18bb utils: Simplify read-org-variable-mapping. Sergiu Ivanov 2020-03-24 21:17:05 +0100
  • ac8c999272 networks: Add table->network. Sergiu Ivanov 2020-03-24 00:18:39 +0100
  • f1514fffe3 utils: Add lists-transpose. Sergiu Ivanov 2020-03-23 22:47:52 +0100
  • df042493d9 utils: Add multi-split-at. Sergiu Ivanov 2020-03-23 22:32:39 +0100
  • 9961dc7c8b networks: Add "and networks" to "Constructing functions". Sergiu Ivanov 2020-03-23 22:31:58 +0100
  • ac2d03f953 Add some tests for building signed interaction graphs from networks. Sergiu Ivanov 2020-03-22 21:08:45 +0100
  • b79bae9d67 example: Update the randomly generated network. Sergiu Ivanov 2020-03-22 21:03:20 +0100
  • 27fa176d0f utils: Make read-org-variable-mapping return an immutable hash. Sergiu Ivanov 2020-03-22 21:01:51 +0100
  • b0eb81b051 networks: Add build-signed-interaction-graph and build-boolean-signed-interaction-graph. Sergiu Ivanov 2020-03-22 21:00:12 +0100
  • a77d42af85 networks: Functions for interaction graph explicitly say they use forms. Sergiu Ivanov 2020-03-22 20:45:11 +0100
  • 65445e6ba8 networks: Make get-interaction-sign take a network, not a form. Sergiu Ivanov 2020-03-22 20:43:14 +0100
  • b38bebb67b example: Add some examples for random functions and networks. Sergiu Ivanov 2020-03-22 20:38:32 +0100
  • 5330336b6d networks: Use '+ and '- as labels in the signed interaction graph. Sergiu Ivanov 2020-03-22 20:26:04 +0100
  • e7b35a451c Add the example on tabulating Boolean networks. Sergiu Ivanov 2020-03-22 20:22:23 +0100
  • 32d117a155 example: Network functions -> Tabulating functions and networks. Sergiu Ivanov 2020-03-22 19:36:07 +0100
  • 401f895dd2 networks: Make build-all-states order the variables. Sergiu Ivanov 2020-03-22 19:34:08 +0100
  • cd11bcc330 networks: Export and test the functions for generation of random networks. Sergiu Ivanov 2020-03-22 19:28:44 +0100
  • c823001492 networks: Add tabulate-network and tabulate-boolean-network. Sergiu Ivanov 2020-03-22 19:22:54 +0100
  • 5fd16e4465 networks: Add random-network, random-boolean-network, random-boolean-networks/vars. Sergiu Ivanov 2020-03-22 18:40:50 +0100
  • 75b19c7977 networks: Make sectioning more fine-grained. Sergiu Ivanov 2020-03-22 14:40:23 +0100
  • aa7ba6de8a network-test: Fix some indentation. Sergiu Ivanov 2020-03-22 14:36:02 +0100
  • a40106e47c networks: Add random-function/state and random-boolean-function/state. Sergiu Ivanov 2020-03-22 14:35:26 +0100
  • 5358f9bf57 networks: Add tabulate-state and tabulate-state/boolean. Sergiu Ivanov 2020-03-22 14:34:40 +0100
  • f0ac9223e4 utils: Don't forget hash->list/ordered (the tests were broken). Sergiu Ivanov 2020-03-21 19:23:30 +0100
  • 9113a788a9 networks: Make network? more precise. Sergiu Ivanov 2020-03-21 19:19:23 +0100
  • 9682049df5 networks: Remove network/c. Sergiu Ivanov 2020-03-21 19:18:45 +0100
  • 8505d2d590 utils: Add hash->list/ordered. Sergiu Ivanov 2020-03-21 19:16:24 +0100
  • a55b671248 networks: Make the contracts on functions dealing with Boolean tables more precise. Sergiu Ivanov 2020-03-20 22:29:33 +0100
  • bba2dfad12 networks: Split the randomness functions into their own section. Sergiu Ivanov 2020-03-20 22:22:33 +0100
  • 6c75a073c0 networks: Add random-boolean-table, random-boolean-function, random-boolean-function/list. Sergiu Ivanov 2020-03-20 22:15:29 +0100
  • 435ee34acb utils: Refactor update-graph. Sergiu Ivanov 2020-03-20 21:42:10 +0100
  • 519f3759ea networks,enumerate-boolean-tables: Use boolean-power/stream. Sergiu Ivanov 2020-03-20 16:43:14 +0100
  • 59d5b040f4 networks: Remove n from boolean-power-n and boolean-power-n/stream. Sergiu Ivanov 2020-03-20 16:41:26 +0100
  • e89163d044 networks: Add boolean-power-n/stream. Sergiu Ivanov 2020-03-20 16:40:15 +0100
  • 36c26d2a1f networks: Export and test boolean-power-n. Sergiu Ivanov 2020-03-20 16:38:32 +0100
  • 34fbc516e2 utils: Add cartesian-product/stream. Sergiu Ivanov 2020-03-20 16:07:34 +0100
  • 9502a9e981 utils: Add in-random. Sergiu Ivanov 2020-03-20 01:19:14 +0100
  • f09f24d2dd networks: Use streams for enumerating Boolean functions. Sergiu Ivanov 2020-03-20 00:15:51 +0100
  • 2c79ca3781 networks: Add enumerate-boolean-tables, enumerate-boolean-functions, and enumerate-boolean-functions/list. Sergiu Ivanov 2020-03-19 23:40:08 +0100
  • 80ef41eaa4 networks,table->function: Store the function in a local binding. Sergiu Ivanov 2020-03-19 23:17:23 +0100
  • 9bcb5681ce networks: Add table->function and table->function/list. Sergiu Ivanov 2020-03-18 21:40:09 +0100
  • 572bef8a7b networks: Add tabulate and illustrate it in example. Sergiu Ivanov 2020-03-15 16:12:35 +0100
  • a8ee7cc523 utils: Add procedure-fixed-arity?. Sergiu Ivanov 2020-03-15 16:12:05 +0100
  • f005d77516 example: Explain setting network variables to constants. Sergiu Ivanov 2020-03-04 23:51:11 +0100
  • 07e1a73b50 networks: Add read-org-network-make-asyn and read-org-network-make-syn. Sergiu Ivanov 2020-03-04 18:54:36 +0100
  • f8dc65df0a example: Promote Reaction Systems to top-level heading. Sergiu Ivanov 2020-03-04 18:21:20 +0100
  • 0cf05acb21 Use a headline instead of #+TITLE: Sergiu Ivanov 2020-03-03 17:50:26 +0100
  • 20b629443a Remove Emacs Local Variables from README.org. Sergiu Ivanov 2020-03-03 17:48:21 +0100
  • c5dda2e6c7 Add the GNU GPL licence file. Sergiu Ivanov 2020-03-03 14:47:15 +0100
  • 19e831b1a9 REAMDE.org: Add. Sergiu Ivanov 2020-03-03 14:44:55 +0100
  • 2437dec620 example: Explain why states for reaction systems include full context sequences. Sergiu Ivanov 2020-03-03 01:03:33 +0100
  • cbdfdabe7a example: Illustrate building interactive processes. Sergiu Ivanov 2020-03-03 01:01:21 +0100
  • 0d73b33ff3 example: Some updates to the state graph of the reaction system. Sergiu Ivanov 2020-03-03 01:01:00 +0100
  • d958533d2c rs: Make build-interactive-process run for one extra step. Sergiu Ivanov 2020-03-03 01:00:21 +0100
  • 9ce3040240 rs: Add build-interactive-process. Sergiu Ivanov 2020-03-03 00:51:53 +0100
  • 9cfab2e45d rs: build-interactive-process -> build-interactive-process-graph. Sergiu Ivanov 2020-03-03 00:27:52 +0100
  • fcb4474858 rs: Explain why we need to print the whole context sequence. Sergiu Ivanov 2020-03-03 00:26:45 +0100
  • 227dfff14a example: Illustrate state graphs for reaction systems. Sergiu Ivanov 2020-03-03 00:25:26 +0100
  • cf99c8acf3 rs: Add pretty-print-state and use it in update-graph. Sergiu Ivanov 2020-03-03 00:25:06 +0100
  • f22d42f98c rs: Add pretty-print-state-graph. Sergiu Ivanov 2020-03-03 00:12:45 +0100
  • a3967d8bf8 utils: Move pretty-print-modalities as pretty-print-set-sets from networks. Sergiu Ivanov 2020-03-02 23:59:37 +0100
  • de9b703b44 rs: Add build-interactive-process. Sergiu Ivanov 2020-03-02 23:50:32 +0100
  • d753409a2f rs,state: Explicitly state what happens when there are no more contexts. Sergiu Ivanov 2020-03-02 23:42:03 +0100
  • b5f5eb55fc utils: Move drop-first-last from rs and add list-sets->list-strings. Sergiu Ivanov 2020-03-02 23:37:37 +0100
  • c0d36a34a7 rs: Add read-ctx and illustrate it in example.org. Sergiu Ivanov 2020-03-02 23:11:26 +0100
  • 171147ad5e rs: Add read-context-sequence. Sergiu Ivanov 2020-03-02 23:03:10 +0100
  • 42b7dce359 utils: Move read-symbol-list from rs. Sergiu Ivanov 2020-03-02 23:00:46 +0100
  • dbfa560081 utils: read-org-table -> read-org-sexp. Sergiu Ivanov 2020-03-02 18:42:54 +0100
  • a9fc272c13 example,munch-sexp: Rename the parameter tab -> sexp. Sergiu Ivanov 2020-03-02 18:38:39 +0100
  • e07c5c239c example: munch-table -> munch-sexp. Sergiu Ivanov 2020-03-02 18:36:26 +0100
  • 0bceb820df rs: Add the dynamics. Sergiu Ivanov 2020-03-02 18:32:11 +0100
  • 868988c966 rs,union-products: Return an empty set when no reaction names are given. Sergiu Ivanov 2020-03-02 18:31:02 +0100
  • 6427af17c8 example: Minor image change. Sergiu Ivanov 2020-03-02 18:20:24 +0100
  • 141080d1c6 generic: Use collect-by-key/sets to collect the labels for state graphs. Sergiu Ivanov 2020-03-02 18:18:23 +0100
  • 29d8e152d9 utils: ht-values:list->set -> ht-values/list->set Sergiu Ivanov 2020-03-02 18:17:05 +0100
  • 45db731859 utils: Make the contract of collect-by-key more specific. Sergiu Ivanov 2020-03-02 18:16:25 +0100
  • 740918a542 utils: Add collect-by-key/sets. Sergiu Ivanov 2020-03-02 18:15:41 +0100
  • 64ca8f4bf1 utils: Add ht-values:list->set. Sergiu Ivanov 2020-03-02 18:04:59 +0100
  • ac7ce12a9d networks: Remove a custom definition of dds-step-one. Sergiu Ivanov 2020-03-02 12:12:57 +0100
  • 736f210c41 generic: Make dds-step-one fall back to dds-step-one-annotated. Sergiu Ivanov 2020-03-02 12:11:09 +0100
  • db88987c13 example: Show how to apply reaction systems. Sergiu Ivanov 2020-03-01 21:14:18 +0100
  • 77c0106ea2 rs: Add some functions for showing RS as Org tables. Sergiu Ivanov 2020-03-01 21:10:01 +0100
  • 0051380f2b rs: Add a test for ht-str-triples->rs. Sergiu Ivanov 2020-03-01 20:46:06 +0100
  • afc043d22d rs: Fix the introduction to the section on Org-mode interop. Sergiu Ivanov 2020-03-01 20:43:33 +0100
  • c33cce731f rs: Convert to untyped racket with contracts. Sergiu Ivanov 2020-03-01 20:41:11 +0100
  • d2121bd5e6 rs: Add unorg-rs and showcase it in example.org. Sergiu Ivanov 2020-03-01 20:26:16 +0100
  • 02d5384674 rs: Switch to #lang racket, but keep the types where they work. Sergiu Ivanov 2020-03-01 20:25:01 +0100
  • f16747d157 rs: Add section "Org-mode interaction". Sergiu Ivanov 2020-03-01 20:20:16 +0100