Commit graph

scolobb/dds

Fork 0

dd23de304f Expand the comment before Dynamics%. Sergiu Ivanov 2023-02-03 12:53:47 +0100
16626c70ec Update the definition of Dynamics%. Sergiu Ivanov 2023-02-03 12:50:08 +0100
53e4981845 Add tabulate-state*+headers, tabulate-state*+headers/boolean. Sergiu Ivanov 2022-11-11 11:52:27 +0100
da368d2574 Use define/:. Sergiu Ivanov 2022-11-06 22:48:30 +0100
d7d9274bc9 Add lambda/:, λ/:, and define/:. Sergiu Ivanov 2022-11-06 22:25:27 +0100
6dce7583ab Fix the syntactic context. Sergiu Ivanov 2022-10-29 23:13:44 +0200
fabecbe0f9 Type tabulate-state*/boolean. Sergiu Ivanov 2022-09-28 00:44:31 +0200
3d58660e9c Type tabulate-state*. Sergiu Ivanov 2022-09-27 00:14:25 +0200
b5fef760c5 Type build-full-state-graph/annotated. Sergiu Ivanov 2022-09-22 01:22:11 +0200
f8a03659d1 Replace /boolean with /01. Sergiu Ivanov 2022-09-22 01:06:16 +0200
d00056affb Add examples for pretty-print-state-graph and pretty-print-state-graph/boolean. Sergiu Ivanov 2022-09-22 00:56:07 +0200
990abee3db Add tests for pretty-print-state-graph and pretty-print-state-graph/boolean. Sergiu Ivanov 2022-09-22 00:38:15 +0200
47602a1785 Type build-full-state-graph. Sergiu Ivanov 2022-09-22 00:15:35 +0200
fb56dc6589 Add and use relax-arg-type/any. Sergiu Ivanov 2022-09-21 00:53:12 +0200
4c3415f0ac Put boolean at the end of function names. Sergiu Ivanov 2022-09-21 00:20:20 +0200
2577d06dbc Type pretty-print-boolean-state-graph and ppsgb. Sergiu Ivanov 2022-09-21 00:07:10 +0200
d5a351d6c1 Type pretty-print-state-graph and ppsg. Sergiu Ivanov 2022-09-20 11:48:45 +0200
d5382eacda Type pretty-print-state-graph-with. Sergiu Ivanov 2022-09-20 11:40:21 +0200
b1cc242c7b Type pretty-print-boolean-state. Sergiu Ivanov 2022-09-19 00:10:42 +0200
6d2034f9e5 Add pretty-print-state. Sergiu Ivanov 2022-09-18 01:20:00 +0200
945626487c Add make-asyn-dynamics and make-syn-dynamics. Sergiu Ivanov 2022-09-18 01:03:16 +0200
4d05b9d9ee Fix the scope of the doc of dynamics%. Sergiu Ivanov 2022-09-18 00:56:09 +0200
46612dd3df Fix the example for Dynamics%. Sergiu Ivanov 2022-09-17 15:36:08 +0200
d2ab44c79b Fix Dynamics%. Sergiu Ivanov 2022-09-17 00:55:33 +0200
cc121fc9e3 Type make-syn and make-asyn. Sergiu Ivanov 2022-09-16 17:57:15 +0200
60fd8b2a24 Add Dynamics%. Sergiu Ivanov 2022-09-15 20:40:07 +0200
567a721c8f Implement build-state-graph, build-state-graph/annotated, build-state-graph*. Sergiu Ivanov 2022-09-15 16:55:44 +0200
857b33ad71 Refine the types of build-state-graph* and build-state-graph*/annotated. Sergiu Ivanov 2022-09-15 01:11:11 +0200
d7f4d2d732 Implement build-state-graph*/annotated. Sergiu Ivanov 2022-09-15 00:57:38 +0200
ecc57a34fc Generalize the type of build-state-graph* and build-state-graph*/annotated. Sergiu Ivanov 2022-09-10 18:55:03 +0200
45410176b7 Implement step*. Sergiu Ivanov 2022-09-10 17:46:26 +0200
983380b063 Implement the method step. Sergiu Ivanov 2022-09-02 16:32:52 +0200
bba44c2887 Generally skip expensive tests in networks. Sergiu Ivanov 2022-08-30 17:41:56 +0200
8c89bf810a Add dynamics%. Sergiu Ivanov 2022-08-30 17:41:44 +0200
811df5fe1e Add a TODO item. Sergiu Ivanov 2022-08-23 23:37:16 +0200
279ee68b91 Define Mode and Modality as lists instead of sets. Sergiu Ivanov 2022-08-23 11:09:06 +0200
b0c084af37 Start dynamics. Sergiu Ivanov 2022-08-23 10:17:58 +0200
77f2fcb58f Add define/abstract/error. Sergiu Ivanov 2022-08-03 01:15:24 +0200
3691c42e67 Start dynamics. Sergiu Ivanov 2022-07-06 00:00:17 +0200
413f1798c4 Add Mode and Modality. Sergiu Ivanov 2022-07-05 23:53:14 +0200
25411043c1 Type build-signed-interaction-graph and build-signed-interaction-graph/form. Sergiu Ivanov 2022-07-05 23:43:41 +0200
f2f0564f72 Type build-interaction-graph and build-interaction-graph/form. Sergiu Ivanov 2022-07-05 22:46:02 +0200
2424e155fd Type get-interaction-sign. Sergiu Ivanov 2022-07-03 23:03:48 +0200
3e1dca8d63 Type interaction?. Sergiu Ivanov 2022-07-01 00:25:19 +0200
59b3d5f6fe Add for/first/typed and for*/first/typed. Sergiu Ivanov 2022-06-21 00:42:56 +0200
1bfc44491e Type build-all-01-states. Sergiu Ivanov 2022-05-15 19:52:37 +0200
d64b04a8f0 Type build-all-boolean-states. Sergiu Ivanov 2022-05-15 19:05:07 +0200
eaabcd9a05 Type build-all-states. Sergiu Ivanov 2022-05-15 14:52:47 +0200
8722d63d3e Type build-syntactic-interaction-graph. Sergiu Ivanov 2022-05-15 01:57:49 +0200
0018c91fb6 Type list-syntactic-interactions. Sergiu Ivanov 2022-05-09 10:54:53 +0200
893b375b91 Improve the introduction to Inferring interaction graphs. Sergiu Ivanov 2022-05-09 10:33:34 +0200
0336526a84 Type forms->boolean-network. Sergiu Ivanov 2022-05-05 11:56:21 +0200
871a923842 Type make-boolean-network-form. Sergiu Ivanov 2022-05-05 11:25:10 +0200
7a3cbaa1af Add network-form->network/01. Sergiu Ivanov 2022-05-04 01:21:11 +0200
007baa5e41 Improve the doc of update-function-form->update-function/01. Sergiu Ivanov 2022-05-04 01:20:50 +0200
43e29f928b Add network-form->network/boolean. Sergiu Ivanov 2022-05-04 01:12:52 +0200
b795be0a39 Type network-form->network as network-form->network/any. Sergiu Ivanov 2022-05-03 22:01:13 +0200
181b427cd8 Add update-function-form->update-function/boolean and update-function-form->update-function/01. Sergiu Ivanov 2022-05-03 21:41:50 +0200
2c2d8fbbdb update-function-form->update-function → update-function-form->update-function/any Sergiu Ivanov 2022-05-03 21:26:36 +0200
320ae55456 Type update-function-form->update-function. Sergiu Ivanov 2022-05-03 00:37:13 +0200
b97bbfd972 Type network-form. Sergiu Ivanov 2022-05-02 00:27:55 +0200
84134340e5 Typos. Sergiu Ivanov 2022-05-02 00:22:47 +0200
901720d2f5 Add UpdateFunctionForm. Sergiu Ivanov 2022-05-02 00:16:16 +0200
fc633c2e4c Move make-same-domains, make-boolean-domains, and make-01-domains to Utilities. Sergiu Ivanov 2022-05-01 01:07:33 +0200
458ba10ab5 Add 01->boolean/state (replacing booleanize-state). Sergiu Ivanov 2022-05-01 01:05:35 +0200
aea472acb2 Remove make-state and make-state-booleanize. Sergiu Ivanov 2022-05-01 00:35:17 +0200
ba30e3dc5e Type update. Sergiu Ivanov 2022-05-01 00:31:28 +0200
9a2f1ff527 Type make-01-domains and make-01-network. Sergiu Ivanov 2022-04-30 23:17:15 +0200
4ea31d8f39 Typo. Sergiu Ivanov 2022-04-30 22:49:03 +0200
70be49b957 Start Common examples. Sergiu Ivanov 2022-04-30 00:23:38 +0200
5da523d297 Make the definitions for types the same as in Typed Racket docs. Sergiu Ivanov 2022-04-30 00:11:09 +0200
d02742ba6d Somewhat improve the sectioning. Sergiu Ivanov 2022-04-29 17:31:36 +0200
bed1ed24f3 Add and use deftype and defpolytype. Sergiu Ivanov 2022-04-29 16:32:22 +0200
e867a86d4d Add the type Domain. Sergiu Ivanov 2022-04-29 16:10:36 +0200
be729f6ca8 Type make-same-domains, make-boolean-domains, make-boolean-network. Sergiu Ivanov 2022-04-29 15:54:15 +0200
609de226a9 Basic definitions → Basic types Sergiu Ivanov 2022-04-29 15:33:46 +0200
883e845d9d Type network and add examples. Sergiu Ivanov 2022-04-28 23:47:37 +0200
8067f9e7f0 Make TBF appear as "type" in the docs. Sergiu Ivanov 2022-04-28 19:04:16 +0200
4927c0ec8c Give the instances of tbf the type TBF. Sergiu Ivanov 2022-04-27 19:00:13 +0200
86d52eed3b syntax → type as kinds of definitions in scribblings. Sergiu Ivanov 2022-04-27 18:45:09 +0200
5efe086d06 Add UpdateFunction and DomainMapping. Sergiu Ivanov 2022-04-27 00:15:03 +0200
85566d7479 Start migrating networks to Typed Racket. Sergiu Ivanov 2022-04-27 00:10:13 +0200
cdcee66b7c Explain the new strategy for converting generics to Typed Racket. Sergiu Ivanov 2022-04-26 23:56:22 +0200
ba8b9b4d98 Punctuation. Sergiu Ivanov 2022-04-26 23:56:17 +0200
9182ea9ecb Switch functions entirely to Typed Racket. Sergiu Ivanov 2022-04-25 23:55:32 +0200
0e2b91fdd1 Add one more example to read-org-tbfs. Sergiu Ivanov 2022-04-25 23:46:22 +0200
974bf193ed Type read-org-sbfs. Sergiu Ivanov 2022-04-25 23:43:25 +0200
ef979d6dce Type list->sbf. Sergiu Ivanov 2022-04-25 23:29:48 +0200
945dfe1490 Type sbf. Sergiu Ivanov 2022-04-25 00:31:00 +0200
6d37f180ba Type sbf?. Sergiu Ivanov 2022-04-25 00:24:32 +0200
297d455207 Type tbf-tabulate*/boolean. Sergiu Ivanov 2022-04-25 00:17:03 +0200
9db0fcbdb4 Type tbf-tabulate. Sergiu Ivanov 2022-04-25 00:07:28 +0200
da6f5acf4e functions.scrbl: Add shortcuts for @examples. Sergiu Ivanov 2022-04-24 23:59:55 +0200
e1a97235c0 Add some shortcuts for the examples. Sergiu Ivanov 2022-04-24 23:44:02 +0200
8ded018c05 Type tbf-tabulate*. Sergiu Ivanov 2022-04-24 23:25:10 +0200
70caf3bb7e functions: cast → assert-type. Sergiu Ivanov 2022-04-24 14:38:49 +0200
64daec5065 Add and use assert-type in utils. Sergiu Ivanov 2022-04-24 14:34:57 +0200
2e8373d037 utils: Replace all casts with asserts. Sergiu Ivanov 2022-04-24 14:03:27 +0200
0e9a974965 Add tabulate*/list/boolean tabulate/list/boolean tabulate*/list/01 tabulate/list/01. Sergiu Ivanov 2022-04-22 16:20:25 +0200
0196ab5800 Let Emacs align apply-tbf as it wants. Sergiu Ivanov 2022-04-22 15:38:20 +0200