lightstep superposition issues

lightstep / superposition

Imported from EraDB

MIT License

0 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add a Vulnerability Reporting section to the README.md

#30 sstangl closed 1 year ago
0
Update docs for open sourcing

#29 amplifi closed 1 year ago
0
Create LICENSE.txt

#28 amplifi closed 1 year ago
0
Convert to Rust 2021 and update dependencies

#27 sstangl closed 2 years ago
0
Parallel depth-first search

#26 rw opened 3 years ago
0
Fix benches and update dependencies

#25 sstangl closed 1 year ago
0
Use a symmetry in ChoiceSet to shrink state space.

#24 rw closed 4 years ago
0
First implementation of ChoiceSet.

#23 rw closed 4 years ago
0
first pass at choice tracking

#22 rw closed 4 years ago
0
tests: example basic stream iteration test

#21 goller closed 4 years ago
0
remove unreachable!() that is reachable

#20 rw closed 4 years ago
0
dangling wakers should not crash the executor

#19 rw closed 4 years ago
0
Move Hilbert's Epsilon operator into the Executor

#18 rw closed 4 years ago
0
Reduce locking. Resulting speedup factor is 4+.

#17 rw closed 4 years ago
0
Zero-alloc Wakers

#16 rw opened 4 years ago
0
First attempt at a ChoiceStream implementation

#15 sstangl closed 4 years ago
2
Executor without atomics or locks?

#14 rw closed 4 years ago
1
use our own Task type in the executor

#13 rw closed 4 years ago
0
a lower-level spawn-then-reset benchmark

#12 rw closed 4 years ago
0
use task ids to manage tasks; deprecate current AsyncMutex

#11 rw closed 4 years ago
0
Futures simulator: reduce queue drains, speedup is ~20%

#10 rw closed 4 years ago
0
Benchmark DFS iterations.

#9 rw closed 4 years ago
0
convert Dfs to an iterator

#8 rw closed 4 years ago
0
Run tests with -O2 and update .gitignore

#7 sstangl closed 4 years ago
1
Flatten the crate's interface, to leak less internal structure

#6 sstangl closed 4 years ago
1
Detect whether yield points are due to multi-task communication

#5 rw opened 4 years ago
1
test deadlock detection with mutexes

#4 rw closed 4 years ago
0
Atomic primitives that always yield to the scheduler

#3 rw opened 4 years ago
0
Zero-alloc Task creation

#2 rw opened 4 years ago
0
Zero-alloc mutexes for simulation

#1 rw opened 4 years ago
1