Sam Caldwell
|
3801174525
|
add WritesField effect
|
2023-02-10 16:46:11 -05:00 |
Sam Caldwell
|
c78cf5bb3d
|
define := and ! for writing/reading fields
|
2023-02-10 16:46:11 -05:00 |
Sam Caldwell
|
4808004d64
|
consolidate effect checking to a single key
|
2023-02-10 16:46:11 -05:00 |
Sam Caldwell
|
8af4464443
|
working version of with-facets
|
2023-02-10 16:46:11 -05:00 |
Sam Caldwell
|
0d839cbb12
|
wip on with-facets
|
2023-02-10 16:46:11 -05:00 |
Sam Caldwell
|
384d0dbdc1
|
typed: allow struct imports in require/typed
|
2022-03-16 13:07:23 -04:00 |
Sam Caldwell
|
6058330961
|
typed: convenience constructor for subscription types, Observe★
|
2022-03-16 11:25:07 -04:00 |
Sam Caldwell
|
4f6089c805
|
more docs and cleanup
|
2021-05-04 17:15:34 -04:00 |
Sam Caldwell
|
3f6a5573e4
|
Allow importing structs without accessors and opaque external types
|
2021-04-27 16:51:28 -04:00 |
Sam Caldwell
|
98c58d3e6f
|
Add a typed during/spawn and checks for overly broad interests
|
2021-04-22 15:38:15 -04:00 |
Sam Caldwell
|
c3559f1611
|
Hide legacy typed/syndicate #lang, consolidate to the "roles" version
|
2021-04-22 12:09:57 -04:00 |
Sam Caldwell
|
59183b5fe9
|
reorganize typed syndicate project structure
|
2021-04-21 10:39:30 -04:00 |
Sam Caldwell
|
6b46be34f9
|
first draft of verifying messages in spin backend
|
2021-03-04 11:08:06 -05:00 |
Sam Caldwell
|
04530893f4
|
some handling of cycles in spin traces
|
2021-01-22 10:38:10 -05:00 |
Sam Caldwell
|
7a8628880a
|
LTL syntax plus form for model checking in typed syndicate
|
2021-01-11 11:52:00 -05:00 |
Sam Caldwell
|
5a5c651321
|
Improve simulation checking/failure trace generation
Account for the case where the spec takes a step but the implementation
remains in the same state
|
2020-12-21 11:07:29 -05:00 |
Sam Caldwell
|
5a90933e9f
|
More work on unit test style simulation checking
|
2020-12-14 11:50:24 -05:00 |
Sam Caldwell
|
db2a8e1cec
|
fix issues with require-struct accessors
|
2020-12-11 16:40:02 -05:00 |
Sam Caldwell
|
3e13e3e449
|
work on proto tie-in
|
2020-12-11 16:40:00 -05:00 |
Sam Caldwell
|
8a6931710a
|
create a typed struct out
|
2020-12-11 16:40:00 -05:00 |
Sam Caldwell
|
1805b936be
|
try syntax-local-lift-module-end for lift+define-role
|
2020-12-11 16:40:00 -05:00 |
Sam Caldwell
|
25860019c6
|
define accessors for require-struct
|
2020-12-11 16:40:00 -05:00 |
Sam Caldwell
|
abecc4996c
|
first bit of linking proto analysis into language
|
2020-12-11 16:40:00 -05:00 |
Sam Caldwell
|
967da40b80
|
lift syntax-parse out of templates
|
2020-12-11 16:39:59 -05:00 |
Sam Caldwell
|
db3fc2acd9
|
uncomment flink
|
2020-12-11 16:39:58 -05:00 |
Sam Caldwell
|
e1ca7ba2c4
|
debug state
|
2020-12-11 16:39:58 -05:00 |
Sam Caldwell
|
a2780484be
|
fixup test
|
2020-03-11 13:12:16 -04:00 |
Sam Caldwell
|
7ceed8e952
|
typed flink: replace dataflow in job manager with internal events
|
2020-03-10 11:44:25 -04:00 |
Sam Caldwell
|
7cf0757ca6
|
stuff
|
2020-03-10 11:44:22 -04:00 |
Sam Caldwell
|
5823cf32c3
|
typed flink: unify task-state and task-assignment, job and job-finished
|
2020-03-10 11:44:22 -04:00 |
Sam Caldwell
|
6f8c9563aa
|
typed flink: streamline ids
|
2020-03-10 11:44:22 -04:00 |
Sam Caldwell
|
5f472b5402
|
typed flink: associate task runners with a particular task manager
|
2020-03-10 11:44:21 -04:00 |
Sam Caldwell
|
8bbab5317e
|
typed flink: task runners don't need a status
|
2020-03-10 11:44:21 -04:00 |
Sam Caldwell
|
5a19594fa1
|
fix bug in flink
|
2020-03-10 11:44:17 -04:00 |
Sam Caldwell
|
5c6b473b62
|
replace some dataflow with internal events in typed flink
|
2020-03-10 11:44:16 -04:00 |
Sam Caldwell
|
945256b567
|
internal events for typed lang
|
2020-03-10 11:44:15 -04:00 |
Sam Caldwell
|
cefe70c590
|
Change type names Know -> Asserted, \negKnow -> Retracted
|
2020-03-10 11:44:15 -04:00 |
Sam Caldwell
|
a1ca2372a5
|
minor printing stuff in examples
|
2020-03-10 11:44:15 -04:00 |
Sam Caldwell
|
a41cee09bf
|
task performer spec and task runner type
|
2020-03-10 11:44:14 -04:00 |
Sam Caldwell
|
7994bfb9c6
|
cleanup
|
2020-03-10 11:44:12 -04:00 |
Sam Caldwell
|
f20adacfde
|
typed flink working!
|
2020-03-10 11:44:12 -04:00 |
Sam Caldwell
|
67e0eebdc2
|
priorities for query handlers, on-add, on-remove
|
2020-03-10 11:44:12 -04:00 |
Sam Caldwell
|
7445626d0b
|
client and jobs (not working)
|
2020-03-10 11:44:12 -04:00 |
Sam Caldwell
|
b7ec18e52d
|
resolve mutual dependency in flink via dataflow
|
2020-03-10 11:44:11 -04:00 |
Sam Caldwell
|
89ce5dca28
|
fancify patterns in flink
|
2020-03-10 11:44:11 -04:00 |
Sam Caldwell
|
b1d14d8559
|
fancify the patterns in book-club
|
2020-03-10 11:44:11 -04:00 |
Sam Caldwell
|
292e16f8b8
|
clean up patterns in flink
|
2020-03-10 11:44:11 -04:00 |
Sam Caldwell
|
5965115611
|
typed flink getting closer
|
2020-03-10 11:44:10 -04:00 |
Sam Caldwell
|
49b34268ad
|
more flink
|
2020-03-10 11:44:09 -04:00 |
Sam Caldwell
|
d5a8d27ae3
|
progress on flink
|
2020-03-10 11:44:09 -04:00 |