issues
search
Baltoli
/
project-docs
Documents for my Part III project
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
SMT
#67
Baltoli
closed
7 years ago
0
Overzealous Model Checker
#66
Baltoli
closed
7 years ago
0
Writeup TODOs
#65
Baltoli
closed
7 years ago
0
Constraint Analysis
#64
Baltoli
closed
7 years ago
0
Release Before (indirect)
#63
Baltoli
closed
7 years ago
0
Model Checking Performance
#62
Baltoli
closed
7 years ago
0
Acquire-Release Experiment Checking
#61
Baltoli
closed
7 years ago
5
Graph validity
#60
Baltoli
closed
7 years ago
0
Vacuous Truth
#59
Baltoli
closed
7 years ago
0
Recursion blowup on sequences
#58
Baltoli
closed
7 years ago
1
Refactor Entry / Exit event structs
#57
Baltoli
closed
7 years ago
0
Model Checking Algorithm
#56
Baltoli
closed
7 years ago
0
Arguments
#55
Baltoli
closed
7 years ago
0
Constraints
#54
Baltoli
closed
7 years ago
0
Preserve External Calls
#53
Baltoli
closed
7 years ago
1
Extract Assertion Sites
#52
Baltoli
closed
7 years ago
0
Unwinding
#51
Baltoli
closed
7 years ago
1
Model Checking
#50
Baltoli
closed
7 years ago
0
Encapsulate "CallsFunctionOnce"
#49
Baltoli
closed
7 years ago
0
Disallow address taking in call seq
#48
Baltoli
closed
7 years ago
0
Loop Hoisting
#47
Baltoli
closed
7 years ago
0
Could Call / Must Call
#46
Baltoli
closed
7 years ago
0
How much overhead does having more states entail?
#45
Baltoli
closed
7 years ago
0
FreeBSD TCP Locks
#44
Baltoli
closed
7 years ago
1
Website
#43
Baltoli
closed
7 years ago
0
Coalescing Field Updates
#42
Baltoli
closed
7 years ago
0
Removal of all TESLA Code
#41
Baltoli
closed
7 years ago
0
Synthetic Lock Benchmark
#40
Baltoli
closed
7 years ago
1
Release Reachable
#39
Baltoli
closed
7 years ago
0
Experiment Tests
#38
Baltoli
closed
7 years ago
0
Taking address of acq / rel
#37
Baltoli
closed
7 years ago
1
Compute Reachability
#36
Baltoli
closed
7 years ago
1
Dominance vs. Reachability in RBA
#35
Baltoli
closed
7 years ago
0
Release Dominance
#34
Baltoli
closed
7 years ago
1
No Acquire / Release Analysis
#33
Baltoli
closed
7 years ago
0
One Usage Analysis
#32
Baltoli
closed
7 years ago
2
FF...T Analysis
#31
Baltoli
closed
7 years ago
2
Benchmarks
#30
Baltoli
closed
7 years ago
1
Profiling Methods
#29
Baltoli
closed
7 years ago
0
Automata Optimisation
#28
Baltoli
closed
7 years ago
1
Better error messages on CallOrder
#27
Baltoli
closed
7 years ago
1
Extend ReleaseBeforeAcquire
#26
Baltoli
closed
7 years ago
0
SimpleCallGraph
#25
Baltoli
closed
7 years ago
0
Debug Location
#24
Baltoli
closed
7 years ago
0
Get Source Code
#23
Baltoli
closed
7 years ago
3
Characterise existing assertions
#22
Baltoli
closed
7 years ago
2
Benefits of AcqRel
#21
Baltoli
closed
7 years ago
2
Reproduce Examples
#20
Baltoli
closed
7 years ago
3
OtherLock: Two Assertions
#19
Baltoli
closed
7 years ago
0
Add DebugLocation to OtherLockAnalysis
#18
Baltoli
closed
7 years ago
2
Next