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

Commit graph

  • b9b409319b dds.org → dds-packaging.org master Sergiu Ivanov 2024-06-24 13:23:40 +0100
  • e14f631d55 dds.org: Remove the roadmap. Sergiu Ivanov 2024-06-24 13:22:48 +0100
  • 56301357ca Update the Roadmap. Sergiu Ivanov 2023-08-25 23:09:42 +0200
  • 3ba0cca66d Remove variable-mapping?. Sergiu Ivanov 2023-08-25 23:08:54 +0200
  • 0e3cc3c9fd Update some tests in networks. Sergiu Ivanov 2023-08-25 23:08:39 +0200
  • e01f99457d Adjust the roadmap. Sergiu Ivanov 2023-08-24 23:39:07 +0200
  • 09b62feb46 Remove the TODO item about converting to Typed Racket. Sergiu Ivanov 2023-08-24 23:37:59 +0200
  • 51c033b29c Make rs fully Typed Racket. Sergiu Ivanov 2023-08-24 23:37:17 +0200
  • 5a2307ed58 Type pretty-print-state-graph. Sergiu Ivanov 2023-08-24 13:53:42 +0200
  • 1e9d906b34 Type pretty-print-state. Sergiu Ivanov 2023-08-23 16:37:54 +0200
  • a2e5f9d091 Add build-interactive-process/org. Sergiu Ivanov 2023-08-19 16:47:49 +0200
  • 11c736b04b Type build-interactive-process. Sergiu Ivanov 2023-08-19 16:33:57 +0200
  • a18620e694 Add pretty-print-state-graph/simple-states. Sergiu Ivanov 2023-08-17 17:43:50 +0200
  • 0e364eb52d Generalize the type of pretty-print-set. Sergiu Ivanov 2023-08-17 16:58:21 +0200
  • 5bc062af54 Generalize the type of pretty-print-set-sets. Sergiu Ivanov 2023-08-17 11:33:47 +0200
  • 99d50c8505 Add build-interactive-process-graph/simple-states. Sergiu Ivanov 2023-08-17 10:26:05 +0200
  • 6a3bd9e7a6 Type build-interactive-process-graph. Sergiu Ivanov 2023-08-16 14:01:17 +0200
  • c667f75c0e Type dynamics%. Sergiu Ivanov 2023-08-16 08:23:47 +0200
  • b2bc06646e rs->ht-str-triples: Add an actual test case. Sergiu Ivanov 2023-08-15 10:46:26 +0200
  • 78e88840cc Add state and State. Sergiu Ivanov 2023-08-14 14:47:09 +0200
  • f398d10d15 Type rs->ht-str-triples. Sergiu Ivanov 2023-08-14 13:32:27 +0200
  • a469eae764 Type reaction->str-triple. Sergiu Ivanov 2023-08-13 21:17:32 +0200
  • c1723066a7 Type read-context-sequence. Sergiu Ivanov 2023-08-11 15:55:09 +0200
  • 6a9adf5e07 Type read-org-rs. Sergiu Ivanov 2023-08-10 18:05:22 +0200
  • aae2e1f964 Type ht-str-triples->rs. Sergiu Ivanov 2023-08-10 16:46:32 +0200
  • e884a2ee07 Type str-triple->reaction. Sergiu Ivanov 2023-08-10 16:30:02 +0200
  • a51bba870e Type apply-rs. Sergiu Ivanov 2023-08-10 16:19:58 +0200
  • b29f98105f Type union-products. Sergiu Ivanov 2023-08-10 01:07:41 +0200
  • c944841dc6 Add NonemptyListof. Sergiu Ivanov 2023-08-09 23:15:33 +0200
  • 064169f0b6 Add and use ReactionName. Sergiu Ivanov 2023-08-09 11:29:09 +0200
  • d779c52cc8 Type list-enabled. Sergiu Ivanov 2023-08-09 11:15:43 +0200
  • cf9a68ae6b Add ReactionSystem. Sergiu Ivanov 2023-08-08 18:34:40 +0200
  • 9efca22f7b Add enabled?. Sergiu Ivanov 2023-08-08 18:28:25 +0200
  • 6518ae2fdd Add make-reaction. Sergiu Ivanov 2023-08-08 18:09:24 +0200
  • 6cf1505a61 Add reaction and Reaction. Sergiu Ivanov 2023-08-08 17:40:44 +0200
  • 3821a11d38 Start converting rs to Typed Racket. Sergiu Ivanov 2023-08-08 17:22:03 +0200
  • 4e90afc638 Remove a done TODO. Sergiu Ivanov 2023-08-08 16:50:32 +0200
  • ceb8e64a35 Promote the TODO of submitting update-graph to Stephen Chang. Sergiu Ivanov 2023-08-08 16:50:15 +0200
  • ddc6b3d10c Update the roadmap. Sergiu Ivanov 2023-08-08 16:49:22 +0200
  • 17b6ac7fb6 sbn-interaction-graph: Update the test case. Sergiu Ivanov 2023-08-08 16:39:26 +0200
  • 0fa6ead5ec Drop the untyped part of dds/tbn. Sergiu Ivanov 2023-08-08 16:29:14 +0200
  • dd7117c733 Type sbn-interaction-graph. Sergiu Ivanov 2023-08-08 16:10:35 +0200
  • e9ecbd8a7c Type pretty-print-tbn-interaction-graph. Sergiu Ivanov 2023-08-08 09:21:12 +0200
  • ac7f928737 Type tbn-interaction-graph. Sergiu Ivanov 2023-08-08 08:46:43 +0200
  • aca3fb7868 Add sbn->lists. Sergiu Ivanov 2023-08-07 20:06:30 +0200
  • 704221185b Type tbn->lists. Sergiu Ivanov 2023-08-07 19:16:16 +0200
  • 927877b02f Start the section Reading and printing TBNs and SBNs. Sergiu Ivanov 2023-08-07 16:17:53 +0200
  • d9641e7b5b Type compact-tbn. Sergiu Ivanov 2023-08-07 16:07:40 +0200
  • cdb4602701 Type compact-tbf. Sergiu Ivanov 2023-08-07 15:52:15 +0200
  • b7b4956fdc Type normalize-tbn. Sergiu Ivanov 2023-08-07 15:15:32 +0200
  • 91b96463da in-random: Add some explicit type annotations. Sergiu Ivanov 2023-08-07 15:11:22 +0200
  • f0a20646ef Type normalized-tbn?. Sergiu Ivanov 2023-07-14 16:21:20 +0200
  • f05024e61e Move the functions for reading to TBN and SBN to the section on TBN. Sergiu Ivanov 2023-07-12 20:18:29 +0200
  • 78462d5083 Type build-tbn-state-graph. Sergiu Ivanov 2023-07-12 20:12:09 +0200
  • c523c68037 Type read-org-sbn. Sergiu Ivanov 2023-07-07 12:29:36 +0200
  • 8241bc4da5 Type read-org-tbn. Sergiu Ivanov 2023-07-07 11:44:06 +0200
  • 0c91e6f6b2 Type parse-org-tbn. Sergiu Ivanov 2023-07-06 11:44:49 +0200
  • afbc5426ce Add lists->tbfs/state/opt-headers. Sergiu Ivanov 2023-06-10 12:03:09 +0200
  • cd8cada92e Add sbfs/state->lists+headers. Sergiu Ivanov 2023-05-25 15:19:25 +0200
  • 76c6bb5745 Finish adding sbfs/state->lists. Sergiu Ivanov 2023-05-25 14:51:55 +0200
  • 18c9828a5a Type tbn->network. Sergiu Ivanov 2023-05-25 14:34:58 +0200
  • 738ad858ae Add sbn?. Sergiu Ivanov 2023-05-22 16:27:35 +0200
  • ab56b64d38 Add the type TBN. Sergiu Ivanov 2023-05-22 15:55:36 +0200
  • 001a12d166 Type group-truth-table-by-nai. Sergiu Ivanov 2023-05-22 15:34:27 +0200
  • b9eb692091 Add tabulate-tbf/state and tabulate-tbf/state+headers. Sergiu Ivanov 2023-04-25 23:52:57 +0200
  • 74347b5151 Add tabulate-tbfs/state and tabulate-tbfs/state+headers. Sergiu Ivanov 2023-04-24 00:04:10 +0200
  • 08d41dd4ca print-org-tbfs/state → tbfs/state->lists Sergiu Ivanov 2023-04-20 16:12:17 +0200
  • b1b78917ce Add print-org-tbfs/state and print-org-tbfs/state+headers. Sergiu Ivanov 2023-04-16 23:49:25 +0200
  • 495ea18bb5 Type read-org-tbfs/state and add read-org-tbfs/state+headers. Sergiu Ivanov 2023-04-13 00:40:34 +0200
  • b611115f8c Add lists+vars->sbfs/state, lists+headers->sbfs/state, lists->sbfs/state. Sergiu Ivanov 2023-04-13 00:19:11 +0200
  • 43d782f149 Add lists->tbfs/state. Sergiu Ivanov 2023-04-03 16:36:08 +0200
  • 3455b8aae1 Add lists+headers->tbfs/state. Sergiu Ivanov 2023-04-03 16:24:33 +0200
  • 764b4612f1 Make the sandbox sizes 10 times bigger for all scribblings. Sergiu Ivanov 2023-04-03 16:19:57 +0200
  • 72454c395c Add lists+vars->tbfs/state. Sergiu Ivanov 2023-04-03 16:00:37 +0200
  • 7c5333555c Add sectioning to tbn.scrbl. Sergiu Ivanov 2023-04-03 15:35:12 +0200
  • e8ebab58ca Type apply-tbf/state. Sergiu Ivanov 2023-04-03 00:00:06 +0200
  • b8b9fee9ce Type sbf/state?. Sergiu Ivanov 2023-03-29 17:46:53 +0200
  • ed67927803 Type make-tbf/state. Sergiu Ivanov 2023-03-29 01:21:29 +0200
  • 490127593c Type tbf/state, tbf/state-w, and tbf/state-θ. Sergiu Ivanov 2023-03-29 01:16:12 +0200
  • fa88c15454 Type apply-tbf-to-state. Sergiu Ivanov 2023-03-27 23:23:34 +0200
  • d2e4ab854c Start tbn.scrbl. Sergiu Ivanov 2023-03-26 23:29:51 +0200
  • 0396e558ce Update the roadmap. Sergiu Ivanov 2023-03-26 23:04:23 +0200
  • aa278215ed Make networks fully Typed Racket, throwing away the TBN/SBN part. Sergiu Ivanov 2023-03-26 22:53:27 +0200
  • 507f7a28f7 Move TBN/SBN-related code out to tbn.rkt. Sergiu Ivanov 2023-03-26 22:53:12 +0200
  • e6764b2dd6 Type random-boolean-network/n. Sergiu Ivanov 2023-03-26 22:34:45 +0200
  • 861665e205 Type random-boolean-network. Sergiu Ivanov 2023-03-25 16:29:33 +0100
  • 5e155d0a61 Type random-network. Sergiu Ivanov 2023-03-24 16:20:23 +0100
  • e2e0ee6903 Only set random-seed once in the whole test submodule. Sergiu Ivanov 2023-03-24 16:05:52 +0100
  • 59b90d4c12 Add random-boolean-function/state. Sergiu Ivanov 2023-03-24 14:44:08 +0100
  • f5349a3659 Add random-function/state. Sergiu Ivanov 2023-03-24 14:43:59 +0100
  • 78c638a886 Add typed-racket-more to package dependencies. Sergiu Ivanov 2023-03-24 14:39:49 +0100
  • abf8d4cf92 Add table+headers->network. Sergiu Ivanov 2023-03-23 16:16:02 +0100
  • d3907556ba Add table->network. Sergiu Ivanov 2023-03-17 23:36:50 +0100
  • a6321c932a table->network → table+vars->network Sergiu Ivanov 2023-03-17 23:03:50 +0100
  • 9175a98a2a Add hash-replace-keys/ordered. Sergiu Ivanov 2023-03-12 20:54:25 +0100
  • 1490792a19 Add table->network. Sergiu Ivanov 2023-03-10 23:52:01 +0100
  • 6783b97add Use table->unary-function in table->function/list. Sergiu Ivanov 2023-03-03 10:21:31 +0100
  • 09c14907ca Add table->unary-function. Sergiu Ivanov 2023-03-03 10:16:20 +0100
  • b9b224fc6a Add tabulate-network and tabulate-network+headers. Sergiu Ivanov 2023-02-17 14:06:33 +0100
  • 0e5334f5e1 Add tabulate-state, tabulate-state/boolean, tabulate-state+headers, tabulate-state+headers/boolean. Sergiu Ivanov 2023-02-07 00:26:02 +0100