-
a6719eb124
edit info files to enable raco test typed/
pr/37
Stephen Chang
2020-02-09 23:24:37 -0500
-
-
38f6351d43
Cosmetic (sort-lines) [2/2]
Tony Garnock-Jones
2020-01-17 14:15:20 +0100
-
cd98c3048d
Cosmetic [1/2]
Tony Garnock-Jones
2020-01-17 14:14:55 +0100
-
d1fbe26bc1
Fix Racket package deps
Tony Garnock-Jones
2020-01-17 14:14:35 +0100
-
39c54e77f3
new job manager role
Sam Caldwell
2020-01-07 11:52:02 -0500
-
555c41a153
task manager role
Sam Caldwell
2019-12-31 13:55:59 -0500
-
33ef42818d
fixup format of task performer spec
Sam Caldwell
2019-12-30 17:13:29 -0500
-
8afed87e99
stuff
Sam Caldwell
2019-12-30 16:27:29 -0500
-
f5331eb24f
typed flink: unify task-state and task-assignment, job and job-finished
Sam Caldwell
2019-10-21 12:22:10 -0400
-
80ebab5ed7
untyped flink: use interest as request for jobs
Sam Caldwell
2019-10-16 16:21:00 -0400
-
d29afb6679
untyped flink: unify task-assignment and task-state assertions
Sam Caldwell
2019-10-16 16:13:19 -0400
-
123037ba51
typed flink: streamline ids
Sam Caldwell
2019-10-16 12:25:04 -0400
-
5e61e9941b
untyped flink: finish streamlining ids, resolve dataflow issue
Sam Caldwell
2019-10-15 11:40:55 -0400
-
7374c8c506
untyped flink: work on streamlining ids, demonstrating dataflow issue
Sam Caldwell
2019-10-15 11:16:46 -0400
-
2610ceb541
untyped flink: fiddle with race in task manager
Sam Caldwell
2019-10-10 13:45:33 -0400
-
a8e890ab30
typed flink: associate task runners with a particular task manager
Sam Caldwell
2019-10-10 13:44:38 -0400
-
96daa7518a
add in-range
Sam Caldwell
2019-10-10 13:43:59 -0400
-
eb56a1006f
typed flink: task runners don't need a status
Sam Caldwell
2019-10-03 16:09:40 -0400
-
142206d8e3
typed define/dataflow
Sam Caldwell
2019-10-03 15:24:31 -0400
-
479ea2fc1f
associate task runners with a particular task manager
Sam Caldwell
2019-10-01 16:44:43 -0400
-
42d025cc7f
flink: task runners don't need a status
Sam Caldwell
2019-10-01 10:12:31 -0400
-
33b516b7a6
verify request/response property in leader-and-seller
Sam Caldwell
2019-09-26 13:39:25 -0400
-
2fa30c6066
fix bug in leader-and-seller
Sam Caldwell
2019-09-26 13:39:01 -0400
-
5ef44987ca
fiddling with spin
Sam Caldwell
2019-09-24 09:52:41 -0400
-
3c7838d5ab
server-session-connected avoids assert-lock of server-connected
extracted_imperative_syndicate_20200427
imperative
Tony Garnock-Jones
2019-09-11 16:07:54 +0100
-
0167cddc58
Update to new preserves API
Tony Garnock-Jones
2019-09-11 15:10:44 +0100
-
04e34c58ea
start cleaning up/streamlining flink
Sam Caldwell
2019-08-23 09:14:07 -0400
-
29f589d7c4
fix a couple bugs
Sam Caldwell
2019-07-31 11:40:12 -0400
-
443e1f9ac1
Label internal events & handlers with actor-unique IDs
Sam Caldwell
2019-07-30 16:03:19 -0400
-
4e2ae45b0b
initial take on supporting spawn actions in role graphs
Sam Caldwell
2019-07-29 18:22:48 -0400
-
8949193977
utilize define-spawns to clean up 7-GUIS examples
Sam Caldwell
2019-07-25 15:02:48 -0400
-
0e44970bef
Modify syndicate's module-begin to capture actions on the RHS of define
Sam Caldwell
2019-07-25 14:57:47 -0400
-
ded2629296
7-GUIS port task 7
Sam Caldwell
2019-07-17 10:31:27 -0400
-
a259153470
7-GUIS port task 6
Sam Caldwell
2019-07-15 14:24:58 -0400
-
cdca416d21
7-GUIS port task 5
Sam Caldwell
2019-07-12 13:01:39 -0400
-
de1fab2cb5
7-GUIS port task 4
Sam Caldwell
2019-07-11 16:01:38 -0400
-
064a2e1462
7-GUIS port task 3
Sam Caldwell
2019-07-10 13:48:58 -0400
-
3c65281a2e
7-GUIS port task 2
Sam Caldwell
2019-07-05 13:33:55 -0400
-
997a3099fd
start on racket guis, 7-GUIS task 1
Sam Caldwell
2019-07-03 14:42:56 -0400
-
e018359204
consider more potential schedulings of events
Sam Caldwell
2019-07-01 17:17:13 -0400
-
9a21a811a3
internal event business
Sam Caldwell
2019-07-01 15:57:50 -0400
-
3c3291ffa4
compile internal events, compresses job manager graph by a lot
Sam Caldwell
2019-06-26 10:09:00 -0400
-
b17cba59ed
remove self loops, things working better
Sam Caldwell
2019-06-21 16:48:49 -0400
-
16175c7bb4
fix bug in flink
Sam Caldwell
2019-06-21 16:48:16 -0400
-
27abf8ab1e
detect cycles when compiling internal events
Sam Caldwell
2019-06-21 13:07:27 -0400
-
e6524174e1
first take on inlining internal events
Sam Caldwell
2019-06-19 17:17:05 -0400
-
135e6b655b
rudimentary support for internal events in proto
Sam Caldwell
2019-06-18 10:26:04 -0400
-
202bcd6842
add messages to proto
Sam Caldwell
2019-06-17 17:15:08 -0400
-
fa8822e40d
small cleanup
Sam Caldwell
2019-06-17 13:18:43 -0400
-
c40b773282
reorganize examples
Sam Caldwell
2019-06-17 11:29:55 -0400
-
be5bc19fcc
job manager role
Sam Caldwell
2019-06-17 11:26:13 -0400
-
537b3fd272
more event constructors in proto
Sam Caldwell
2019-06-17 11:26:00 -0400
-
8f8f4c416f
replace some dataflow with internal events in typed flink
Sam Caldwell
2019-06-17 11:25:09 -0400
-
5f38b6cc94
allow equal? when there's overlap
Sam Caldwell
2019-06-17 11:24:40 -0400
-
f597fdc499
internal events for typed lang
Sam Caldwell
2019-06-14 11:43:15 -0400
-
963676c0c6
Change type names Know -> Asserted, \negKnow -> Retracted
Sam Caldwell
2019-06-13 08:34:34 -0400
-
7462af708b
(during (know P) O ...) for internal knowledge
Sam Caldwell
2019-06-13 08:15:38 -0400
-
e6b733325c
Create an actor-internal event system oriented around assertions and messges.
Sam Caldwell
2019-06-12 16:53:11 -0400
-
affa47a2a5
minor printing stuff in examples
Sam Caldwell
2019-06-11 13:17:38 -0400
-
458bf93fef
subgraph stuff working better
Sam Caldwell
2019-06-10 13:59:19 -0400
-
c38bfdc2c0
some work on checking/finding subgraphs
Sam Caldwell
2019-06-07 17:14:40 -0400
-
ee726c9177
task assigner spec and task manager type
Sam Caldwell
2019-06-07 09:46:29 -0400
-
5dee1981b6
provide Branch and Effs types
Sam Caldwell
2019-06-07 09:46:02 -0400
-
da900a258a
extract some code from verify body
Sam Caldwell
2019-06-06 14:13:13 -0400
-
32f117df16
task performer spec and task runner type
Sam Caldwell
2019-06-06 13:49:59 -0400
-
dcc4e3c411
During type abbreviation
Sam Caldwell
2019-06-06 13:48:37 -0400
-
703a4c9589
support for dataflow, misc fixes and improvements
Sam Caldwell
2019-06-05 16:20:09 -0400
-
3ebcf413c9
more accurate job manager type
Sam Caldwell
2019-06-03 11:39:00 -0400
-
47ca363b18
add container types to proto
Sam Caldwell
2019-06-03 11:16:16 -0400
-
0711cd3232
print types different
Sam Caldwell
2019-06-03 11:15:47 -0400
-
6b272ad3d3
cleanups and improvements
Sam Caldwell
2019-05-31 10:01:36 -0400
-
d93dc085fe
remove stop-when abomination
Sam Caldwell
2019-05-30 13:37:34 -0400
-
3e1d4d108f
initial support for on start and on stop
Sam Caldwell
2019-05-30 13:20:51 -0400
-
3ad0457bd5
small cleanup
Sam Caldwell
2019-05-30 10:09:34 -0400
-
ce0c296b5c
parse quoted turnstile types
Sam Caldwell
2019-05-29 13:40:55 -0400
-
60ed8c2677
tweak how types are printed
Sam Caldwell
2019-05-29 11:28:46 -0400
-
eba7ed072c
cleanup
Sam Caldwell
2019-05-24 15:09:49 -0400
-
c811b9a45f
forgot to add maybe.rkt and either.rkt
Sam Caldwell
2019-05-24 15:08:08 -0400
-
3faaa1c580
typed flink working!
Sam Caldwell
2019-05-24 15:07:34 -0400
-
23bee726b1
priorities for query handlers, on-add, on-remove
Sam Caldwell
2019-05-24 15:06:55 -0400
-
3aedb63a9c
client and jobs (not working)
Sam Caldwell
2019-05-24 12:31:03 -0400
-
807e6bb8f7
map list op
Sam Caldwell
2019-05-24 12:30:26 -0400
-
98a779bdc1
resolve mutual dependency in flink via dataflow
Sam Caldwell
2019-05-24 11:42:21 -0400
-
c37c060dc9
fancify patterns in flink
Sam Caldwell
2019-05-24 11:25:29 -0400
-
c78b76b38c
fancify the patterns in book-club
Sam Caldwell
2019-05-24 11:12:53 -0400
-
22a228ab4b
Use the communication type (via a turnstile `mode`) when elaborating patterns in facets
Sam Caldwell
2019-05-24 11:12:06 -0400
-
296a77d714
clean up patterns in flink
Sam Caldwell
2019-05-24 10:06:01 -0400
-
4fdce7fc0c
elaborate more patterns
Sam Caldwell
2019-05-24 10:05:23 -0400
-
13e988fe58
some work towards a better pattern language
Sam Caldwell
2019-05-23 16:43:39 -0400
-
24efe43a6f
typed flink getting closer
Sam Caldwell
2019-05-23 11:14:14 -0400
-
99d5916bd1
limited support for effect polymorphism
Sam Caldwell
2019-05-23 11:13:51 -0400
-
20693f234e
more flink
Sam Caldwell
2019-05-22 10:24:02 -0400
-
deca0a82be
progress on flink
Sam Caldwell
2019-05-21 17:23:45 -0400
-
96e9431e15
first take on match-define-like form
Sam Caldwell
2019-05-21 17:23:19 -0400
-
8cf13a9bbf
stop-when derived form
Sam Caldwell
2019-05-21 17:22:53 -0400
-
c283dae7e4
positive? primitive
Sam Caldwell
2019-05-21 17:22:40 -0400
-
559e9bb11b
for/first
Sam Caldwell
2019-05-21 16:56:53 -0400
-
df9f3ebbd2
zero? primitive
Sam Caldwell
2019-05-21 16:55:58 -0400
-
c8a1253d7b
examples/flink.rkt: work on job manager and utilities
Sam Caldwell
2019-05-20 17:03:21 -0400
-
fc220a4e16
Use a mutable, compile-time table for type metadata
Sam Caldwell
2019-05-20 16:41:32 -0400