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

Commit Graph

  • 783000318b utils: Type stringify-variable-mapping. Sergiu Ivanov 2022-01-23 13:47:36 +0100
  • f30d9b9aa1 utils: Type any->string. Sergiu Ivanov 2022-01-20 19:58:06 +0100
  • 8ffd252fc2 utils: Type extract-symbols. Sergiu Ivanov 2022-01-19 00:40:41 +0100
  • 85d60c6a9b utils: Move auto-hash-ref/explicit and auto-hash-ref/: to the typed section. Sergiu Ivanov 2022-01-19 00:32:45 +0100
  • 752d173279 utils: Fix some transient test errors. Sergiu Ivanov 2022-01-16 23:18:14 +0100
  • 75560658a0 networks: eval-with → eval1-with Sergiu Ivanov 2022-01-16 23:15:33 +0100
  • 556a4ae8bf info.rkt: Update the dependencies. Sergiu Ivanov 2022-01-16 23:12:53 +0100
  • d64ecfb207 utils.scrbl: Add a TODO note about the broken hyperlinks. Sergiu Ivanov 2022-01-16 23:11:06 +0100
  • 28fdc23324 utils: Type eval-with and eval1-with. Sergiu Ivanov 2022-01-16 23:10:08 +0100
  • 906d339508 README: Update the strategy for conversion to Typed Racket. Sergiu Ivanov 2022-01-16 21:33:15 +0100
  • 505487d3b6 info.rkt: List all package dependencies. Sergiu Ivanov 2022-01-16 21:23:44 +0100
  • 29a9c57ebd utils.scrbl: Add the note about Typed Racket. Sergiu Ivanov 2022-01-16 21:09:50 +0100
  • 4490cadf58 utils: Add Variable and VariableMapping. Sergiu Ivanov 2022-01-16 21:00:41 +0100
  • 33ddd747c3 Start a typed section in utils. Sergiu Ivanov 2022-01-16 20:48:20 +0100
  • e3e50c99ea dds.org: Add a code block for opening the documentation. Sergiu Ivanov 2022-01-16 00:44:37 +0100
  • 00db8b651b dds.org: Minor update. Sergiu Ivanov 2022-01-15 23:30:04 +0100
  • 2f1740a813 FIXME WIP: Continue converting to Typed Racket. typed-racket-radical Sergiu Ivanov 2021-04-29 20:39:45 +0200
  • a74b944e2c utils.rkt: Add a label for the pretty printing section. Sergiu Ivanov 2020-12-23 14:51:34 +0100
  • 6c764aff22 utils: Add pretty-print-set-sets. Sergiu Ivanov 2020-12-23 14:39:35 +0100
  • b337d17080 utils.scrbl: Typo in pretty-print-set. Sergiu Ivanov 2020-12-23 14:37:42 +0100
  • 58327125eb utils: Add pretty-print-set. Sergiu Ivanov 2020-12-23 14:33:05 +0100
  • 6ca2330a1f utils: Add list-sets->list-strings. Sergiu Ivanov 2020-12-23 13:52:38 +0100
  • b3408a7bfe utils.scrbl: Require the entire typed/racket for the evaluator. Sergiu Ivanov 2020-12-23 13:51:58 +0100
  • de80275a47 utils: Add drop-first-last. Sergiu Ivanov 2020-12-23 11:02:00 +0100
  • 2af5656e71 utils: Add read-symbol-list. Sergiu Ivanov 2020-12-22 23:10:05 +0100
  • fe989ef8a7 utils.scrbl: Add the documentation for dotit. Sergiu Ivanov 2020-12-22 22:57:26 +0100
  • 50f5e6e3c1 utils-untyped: Don't export dotit any more. Sergiu Ivanov 2020-12-22 22:47:50 +0100
  • 625ef055a6 graph-typed.rkt: Make the type of graphviz more complete. Sergiu Ivanov 2020-12-22 22:45:35 +0100
  • 61f9522569 Add graph-typed.scrbl to documentation. Sergiu Ivanov 2020-12-22 22:28:12 +0100
  • 0f971f5258 utils.scrbl: Remove Composing typed functions. Sergiu Ivanov 2020-12-21 23:34:14 +0100
  • e73cdc2366 utils.rkt: Add dotit. Sergiu Ivanov 2020-12-21 23:23:11 +0100
  • 676e9226a3 graph-typed.rkt: Start. Sergiu Ivanov 2020-12-21 23:22:59 +0100
  • 01e8b1535c utils.rkt: Use multi-compose instead of compose-3. Sergiu Ivanov 2020-12-21 22:01:28 +0100
  • a83f1b9978 utils.rkt: Replace compose-related definitions with requiring typed-compose. Sergiu Ivanov 2020-12-21 22:00:29 +0100
  • a6a350ab1a utils.scrbl: Simplify require for-label. Sergiu Ivanov 2020-12-21 21:29:26 +0100
  • c92db58962 utils.rkt: Replace multi-compose by the implementation by Sorawee. Sergiu Ivanov 2020-12-16 23:21:33 +0100
  • 728926e891 utils: Add multi-compose. Sergiu Ivanov 2020-12-16 23:09:35 +0100
  • 3bb695e2cf utils: Move compose-related functions to their own section. Sergiu Ivanov 2020-12-12 23:35:40 +0100
  • b56b6a3f88 utils: Add read-org-variable-mapping and unorgv. Sergiu Ivanov 2020-12-12 23:25:11 +0100
  • a13b30d876 utils: Add compose-n, compose-3, and compose-4. Sergiu Ivanov 2020-12-12 23:24:46 +0100
  • f9de7b1027 utils.scrbl: Slightly streamline the imports. Sergiu Ivanov 2020-12-12 00:46:50 +0100
  • 181cb8678a utils.rkt: Add GeneralPair and copy unstringify-pairs. Sergiu Ivanov 2020-12-06 23:42:59 +0100
  • 278ffa62db utils-untyped.rkt: Don't provide the contracts. Sergiu Ivanov 2021-05-20 11:09:51 +0200
  • 7dd9c4cc47 utils.rkt: Provide Variable, not Symbol. Sergiu Ivanov 2020-12-06 22:49:02 +0100
  • 5943e2f6c7 utils.rkt: Copy read-org-sexp and unorg. Sergiu Ivanov 2020-12-06 22:28:45 +0100
  • f80dc7f28e utils.rkt: Add map-sexp. Sergiu Ivanov 2020-12-06 21:59:28 +0100
  • e3efbb8f65 utils.rkt: Add handle-org-booleans. Sergiu Ivanov 2020-12-06 21:58:49 +0100
  • 54905071d7 utils.rkt: Copy string->any. Sergiu Ivanov 2020-12-05 00:33:14 +0100
  • 1273a9595f utils.rkt: Copy stringify-variable-mapping. Sergiu Ivanov 2020-12-05 00:22:49 +0100
  • c9d36ea45e utils.rkt: Copy any->string. Sergiu Ivanov 2020-12-04 23:43:53 +0100
  • 9e65f07ce0 utils.rkt: Copy over extract-symbols. Sergiu Ivanov 2020-12-04 04:03:22 +0100
  • 66c76a6173 utils.rkt: Copy auto-hash-ref/explicit and auto-hash-ref/: Sergiu Ivanov 2020-12-04 03:16:38 +0100
  • f00fb6ead9 utils-untyped.rkt: Don't export eval-with. Sergiu Ivanov 2020-12-04 02:27:40 +0100
  • 6cee8a49d9 utils.scrbl: Add the documentation for types, eval-with, and eval1-with. Sergiu Ivanov 2020-12-04 02:25:19 +0100
  • 7f032c045a dds.scrbl: Only include utils.scrbl. Sergiu Ivanov 2020-12-03 00:36:24 +0100
  • ab6e49561b utils: Add eval-with and eval1-with. Sergiu Ivanov 2020-11-30 23:54:45 +0100
  • 18bc427454 utils: Start converting to Typed Racket. Sergiu Ivanov 2021-05-20 10:53:11 +0200
  • f6d554063e Track dds.org. Sergiu Ivanov 2021-12-09 13:53:29 +0100
  • 38660cc0a5 sbn-interaction-graph: Use zero-edges and declare it in the contract. Sergiu Ivanov 2021-08-04 17:33:17 +0200
  • ab2c37125c Minor updates to some figures. Sergiu Ivanov 2021-08-04 17:31:16 +0200
  • 1f3ab98faa Move submitting =update-graph= higher on the list of priorities. Sergiu Ivanov 2021-05-31 08:46:57 +0200
  • 40909995ba Add the TODO item about implementing monotone?. Sergiu Ivanov 2021-05-31 08:46:36 +0200
  • ac0e5310d5 README: Add the TODO about define-pbf. Sergiu Ivanov 2021-05-20 10:45:59 +0200
  • 096f21a47f Remove hash-intersect. Sergiu Ivanov 2021-04-29 20:50:26 +0200
  • c7912705ca README.org: Update the roadmap. Sergiu Ivanov 2020-11-29 23:29:31 +0100
  • 485aa4ca95 README.org: Update the roadmap. Sergiu Ivanov 2020-11-29 23:11:18 +0100
  • 7f0d261e98 utils.scrbl: Add eval-with. Sergiu Ivanov 2020-11-29 23:07:40 +0100
  • b8fcfb2374 doc: Add proper requires to Scribble files. Sergiu Ivanov 2020-11-29 22:16:23 +0100
  • 157c226259 rs.scrbl: Add module-level definitions. Sergiu Ivanov 2020-11-29 22:12:01 +0100
  • 532f7b180e networks.scrbl: Add an explicit tag to Basic definitions. Sergiu Ivanov 2020-11-29 22:11:03 +0100
  • d95891537b doc: Add module-level comments for networks. Sergiu Ivanov 2020-11-29 22:01:18 +0100
  • 96f8782d7b doc: Add module-level comments for functions. Sergiu Ivanov 2020-11-29 21:45:33 +0100
  • d014209a98 doc: Add module-level comments for utils. Sergiu Ivanov 2020-11-29 21:41:00 +0100
  • af6bb09f53 docs: Add the introduction to dds. Sergiu Ivanov 2020-11-29 20:59:16 +0100
  • e2788be237 Add the Scribble files for almost all modules. Sergiu Ivanov 2020-11-29 17:43:20 +0100
  • 8487b64287 Rename manual → dds. Sergiu Ivanov 2020-11-29 17:15:24 +0100
  • 596e1b7b5d Prepare for writing the documentation. Sergiu Ivanov 2020-11-29 00:28:46 +0100
  • 12cc862c94 Start the documentation. Sergiu Ivanov 2020-11-29 00:02:06 +0100
  • ae21ea6464 README: Update the roadmap. Sergiu Ivanov 2020-11-28 23:26:03 +0100
  • 34fe8a8316 Merge branch 'network-domains' Sergiu Ivanov 2020-11-28 23:21:34 +0100
  • 68afb6231a example: Update Threshold Boolean networks. network-domains Sergiu Ivanov 2020-11-28 23:20:14 +0100
  • d7d3717c83 networks: Fix build-tbn-state-graph. Sergiu Ivanov 2020-11-28 23:12:49 +0100
  • 6c30120376 networks: Remove 01-related state graph functions. Sergiu Ivanov 2020-11-28 23:10:18 +0100
  • 5419278462 networks,tbn->network: Use make-01-network. Sergiu Ivanov 2020-11-28 23:05:56 +0100
  • c0ec7369fd networks: Add make-01-network. Sergiu Ivanov 2020-11-28 23:01:57 +0100
  • ce2d10526a example: Update Random functions and networks. Sergiu Ivanov 2020-11-28 22:55:44 +0100
  • 5fc4875adf networks: Make table->network infer the domains. Sergiu Ivanov 2020-11-28 22:46:43 +0100
  • a1085d50b8 example: Update Tabulating functions and networks. Sergiu Ivanov 2020-11-26 23:26:53 +0100
  • 83deda31a9 example: Stage a forgotten figure. Sergiu Ivanov 2020-11-26 23:20:58 +0100
  • dae4f6570f example: Update the section on Boolean networks. Sergiu Ivanov 2020-11-26 23:20:44 +0100
  • 8f9740d2d7 network: Fix the tests for interaction graphs. Sergiu Ivanov 2020-11-26 22:36:19 +0100
  • cdb2149358 network: Fix table->network. Sergiu Ivanov 2020-11-26 22:25:25 +0100
  • a074258b1a networks: Rename and generalize state graph functions. Sergiu Ivanov 2020-11-26 22:13:57 +0100
  • 34ceccc446 networks: Fix build-syntactic-interaction-graph. Sergiu Ivanov 2020-11-23 23:16:11 +0100
  • fbd6ded717 networks: Fix list-syntactic-interactions. Sergiu Ivanov 2020-11-23 23:09:23 +0100
  • 0a4035d9f7 networks: Fix the tests of make-boolean-network-form. Sergiu Ivanov 2020-11-22 23:00:26 +0100
  • f016fbb0ca networks: Fix the tests for network-form->network. Sergiu Ivanov 2020-11-22 22:58:21 +0100
  • 354fad2b1d network: Roll back update to its previous version. Sergiu Ivanov 2020-11-22 22:50:29 +0100
  • 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