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

Commit graph

  • 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
  • 07a9ad2ac5 utils: Restructure the provides. Sergiu Ivanov 2020-02-19 23:37:06 +0100
  • 5dbdde1610 utils: Add a comment to variable-mapping? Sergiu Ivanov 2020-02-19 23:28:27 +0100
  • 808516081d utils: Add variable-mapping?. Sergiu Ivanov 2020-02-19 23:25:00 +0100
  • ae7b9553de utils: Don't export eval-with1 any more. Sergiu Ivanov 2020-02-19 23:12:58 +0100
  • a4deb44d10 utils: Add contracts to the functions. Sergiu Ivanov 2020-02-19 23:12:18 +0100
  • bdff8e31c9 eval-with: Explicitly say that the evaluation happens in a fresh namespace. Sergiu Ivanov 2020-02-19 22:51:49 +0100
  • 404362a91c utils: Remove type annotations. Sergiu Ivanov 2020-02-19 22:49:50 +0100
  • 9cbfcfca4b utils: Add extract-symbols. Sergiu Ivanov 2020-02-19 22:11:44 +0100
  • 1a174ad8e0 utils-tests: Add section titles. Sergiu Ivanov 2020-02-19 22:09:09 +0100
  • 0ae8537bdf bn: Introduce the section on interaction graphs. Sergiu Ivanov 2020-02-18 12:52:20 +0100
  • cf2cc484bf bn: Add st. Sergiu Ivanov 2020-02-18 12:39:11 +0100
  • f4d7197f47 bn: Better structure provide. Sergiu Ivanov 2020-02-18 12:36:44 +0100
  • 74b57c81d7 bn: Add syntax bn. Sergiu Ivanov 2020-02-18 12:36:26 +0100
  • 6ef7483bd2 bn: Remove some extra module code at the bottom. Sergiu Ivanov 2020-02-18 12:21:12 +0100
  • 58e40e44ad bn-tests: Restructure. Sergiu Ivanov 2020-02-18 12:20:32 +0100
  • f0a7c270e9 bn: Add make-bn-forms. Sergiu Ivanov 2020-02-18 12:16:03 +0100
  • 608b606717 bn: make-bn -> make-bn-funcs. Sergiu Ivanov 2020-02-18 12:09:07 +0100
  • 35abded486 bn: Add bn-form->bn. Sergiu Ivanov 2020-02-18 12:07:38 +0100
  • 7a4dd09f40 bn: Add update-func-form->update-func. Sergiu Ivanov 2020-02-18 11:41:16 +0100
  • a061e2d7bc bn: Add some types for syntactic description of Boolean networks. Sergiu Ivanov 2020-02-18 11:40:41 +0100
  • 912fe95891 utils: Better highlight section titles. Sergiu Ivanov 2020-02-18 00:00:18 +0100
  • f18d47952f utils: Remove some extra code at the end of the module. Sergiu Ivanov 2020-02-17 23:53:38 +0100
  • 9908df4a7b utils: Add eval-with, eval-with1, and tests. Sergiu Ivanov 2020-02-17 23:52:15 +0100
  • d73644c1d7 bn: Add explicit type annotations to functions. Sergiu Ivanov 2020-02-17 23:38:10 +0100
  • a385f2e464 utils: Mention that auto-hash-ref/explicit and auto-hash-ref/: take 1 body. Sergiu Ivanov 2020-02-17 00:27:04 +0100
  • cb45bea4c9 auto-hash-ref/: : Add. Sergiu Ivanov 2020-02-17 00:16:44 +0100
  • 51e7ba3072 auto-hash-ref/explicit: Add an example to the comment. Sergiu Ivanov 2020-02-17 00:16:01 +0100
  • c33641fd66 utils: Start and auto-hash-ref/explicit. Sergiu Ivanov 2020-02-16 21:39:42 +0100
  • a967dc4b74 bn: new-state -> make-state Sergiu Ivanov 2020-02-15 21:01:28 +0100
  • 5408f6682b bn: Add and use make-bn. Sergiu Ivanov 2020-02-15 21:00:20 +0100
  • 1e931102d6 bn: Add and use new-state. Sergiu Ivanov 2020-02-15 20:51:52 +0100
  • faf8f70b2e bn: update: Add and test. Sergiu Ivanov 2020-02-15 20:30:46 +0100
  • 51a7dc8498 bn: Variable: Add the type synomym and use it. Sergiu Ivanov 2020-02-15 15:19:53 +0100
  • 33fd5f7721 bn: Export the definitions. Sergiu Ivanov 2020-02-15 15:17:03 +0100
  • 6d02006691 Write top-level comments with ;;; Sergiu Ivanov 2020-02-15 15:16:20 +0100
  • e53496f617 bn-tests.rkt: Add, with a dummy test. Sergiu Ivanov 2020-02-15 13:57:49 +0100
  • ab9f808c96 dds/bn: Start. Sergiu Ivanov 2020-02-15 13:32:54 +0100