 cozis
|
987ba52068
|
node: support crash and restart
|
2026-06-20 14:17:43 +02:00 |
|
|
cozis
|
d6e098cf40
|
scheduler: support crashing and restarting tasks
|
2026-06-20 14:14:19 +02:00 |
|
|
cozis
|
5163adc087
|
sometimes: note possible mutable site symbol
|
2026-06-20 10:05:07 +02:00 |
|
|
cozis
|
dd2c5b1ec9
|
simulator: add per-step events
|
2026-06-20 10:03:12 +02:00 |
|
|
cozis
|
b0a167036c
|
simulator: add unified fault control
|
2026-06-20 10:02:29 +02:00 |
|
|
cozis
|
7a2a841395
|
node: add fault enable toggle
|
2026-06-20 09:58:51 +02:00 |
|
|
cozis
|
638d8073b0
|
io_interface: return peer address from accept
|
2026-06-20 09:55:29 +02:00 |
|
|
cozis
|
a4714b07e6
|
node: expose remote socket address
|
2026-06-20 09:54:57 +02:00 |
|
|
cozis
|
58f8fc7581
|
examples: give clients network addresses
|
2026-06-20 09:54:04 +02:00 |
|
|
cozis
|
9dc7bea95c
|
io_interface: map addressless connect
|
2026-06-20 09:53:45 +02:00 |
|
|
cozis
|
f34b542582
|
network: track socket addresses
|
2026-06-20 09:53:13 +02:00 |
|
|
cozis
|
3f96898f54
|
io_interface: implement fileSetLength
|
2026-06-20 09:46:35 +02:00 |
|
|
cozis
|
edecb61ba4
|
node: add setFileLength
|
2026-06-20 09:46:14 +02:00 |
|
|
cozis
|
13f001e317
|
file_system: add setFileLength
|
2026-06-20 09:45:59 +02:00 |
|
|
cozis
|
2c5afbd283
|
sometimes: don't report reachableSometimes in the N/M form
|
2026-06-19 17:03:55 +02:00 |
|
|
cozis
|
93b4efbb2f
|
node: add injection of partial reads and writes
|
2026-06-19 16:57:47 +02:00 |
|
|
cozis
|
6d27a5fcec
|
examples: add example that tests whether fault injection reaches interesting branches
|
2026-06-19 16:57:19 +02:00 |
|
|
cozis
|
c37d29977d
|
examples: add fault coverage example
|
2026-06-19 15:52:03 +02:00 |
|
|
cozis
|
306aa88f00
|
simulator: add network partition fault injection
|
2026-06-19 15:51:53 +02:00 |
|
|
cozis
|
e8ba94b418
|
partition_policy: add partition shape policy
|
2026-06-19 15:51:38 +02:00 |
|
|
cozis
|
0b792274e3
|
network: honor partitions in connect and send
|
2026-06-19 15:51:26 +02:00 |
|
|
cozis
|
50dea84f1d
|
partition: add broken-link tracking
|
2026-06-19 15:51:13 +02:00 |
|
|
cozis
|
08518e15ad
|
io_interface: implement dirRename
|
2026-06-19 13:41:15 +02:00 |
|
|
cozis
|
5b1e8c5d24
|
node: add rename
|
2026-06-19 13:41:04 +02:00 |
|
|
cozis
|
89e5fff8a4
|
file_system: add rename
|
2026-06-19 13:40:50 +02:00 |
|
|
cozis
|
3a0eab16a7
|
examples: add example for sometimes assertions
|
2026-06-19 13:27:03 +02:00 |
|
|
cozis
|
fa09d425a0
|
examples: minor cleanup
|
2026-06-19 13:26:47 +02:00 |
|
|
cozis
|
e98630cafd
|
simulator: expose reachableSometimes via Simulator
|
2026-06-19 13:26:24 +02:00 |
|
|
cozis
|
d3def64bba
|
sometimes: implement reachableSometimes and build a list of sometimes branches at compile-time
|
2026-06-19 13:25:59 +02:00 |
|
|
cozis
|
9f867c71ee
|
examples: explicitly dump sometimes assertions report in example.zig
|
2026-06-19 13:02:16 +02:00 |
|
|
cozis
|
53aa509153
|
simulator: expose sometimes assertions via the simulator object
|
2026-06-19 13:01:04 +02:00 |
|
|
cozis
|
9e56a63360
|
sometimes: implement registry of sometimes assertions
|
2026-06-19 13:00:44 +02:00 |
|
|
cozis
|
43a24f4771
|
readme: update README.md and add DST.md
|
2026-06-09 15:38:35 +02:00 |
|
|
cozis
|
890d16fa7b
|
readme: add timeline diagram image
|
2026-06-08 12:44:20 +02:00 |
|
|
cozis
|
b7d748d081
|
misc: ignore .html and .txt files
|
2026-06-08 12:36:25 +02:00 |
|
|
cozis
|
6133b7cb60
|
build: add timeline_html, timeline_ascii, strace commands to build.zig to easily generate diagrams from a trace
|
2026-06-08 12:36:09 +02:00 |
|
|
cozis
|
720d20d3e0
|
diagram: add program to generate various visual representations of the simulation trace
|
2026-06-08 12:35:34 +02:00 |
|
|
cozis
|
b49025bc39
|
examples: log output of tcp_ping_pong to simulation.log
|
2026-06-08 11:33:43 +02:00 |
|
|
cozis
|
6b0ba04058
|
misc: ignore .log files
|
2026-06-08 11:33:13 +02:00 |
|
|
cozis
|
7423d8fad7
|
trace: minor fix
|
2026-06-08 11:31:35 +02:00 |
|
|
cozis
|
aa9c3b7274
|
trace: write traced events to disk
|
2026-06-08 11:28:57 +02:00 |
|
|
cozis
|
a8ac2773f9
|
simulator: add setTraceOutputFile to enable tracing and specify the output file
|
2026-06-08 11:00:49 +02:00 |
|
|
cozis
|
4b2c103e71
|
trace: add backing file handle
|
2026-06-08 10:59:31 +02:00 |
|
|
cozis
|
57527c270e
|
scheduler: call taskState
|
2026-06-08 10:46:47 +02:00 |
|
|
cozis
|
53ad5b297a
|
trace: add taskState
|
2026-06-08 10:45:30 +02:00 |
|
|
cozis
|
3b5e7f54d4
|
scheduler: call timeAdvanced
|
2026-06-08 10:41:52 +02:00 |
|
|
cozis
|
7c642e384e
|
trace: add timeAdvanced
|
2026-06-08 10:40:56 +02:00 |
|
|
cozis
|
d7f9eb2a51
|
scheduler: call taskSpawned and taskRemoved
|
2026-06-08 10:39:48 +02:00 |
|
|
cozis
|
a3dbb48718
|
trace: add taskSpawned and taskRemoved
|
2026-06-08 10:39:34 +02:00 |
|
|
cozis
|
34faa08f68
|
scheduler: call enterTask/leaveTask when context switching
|
2026-06-08 10:37:17 +02:00 |
|