issues
search
margnus1
/
swsc
This tool has now merged with nidhugg/nidhugg and will no longer be developed here
GNU General Public License v3.0
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
IGNORE ME, I am testing buggy Travis behaviour that only appears in pull request builds
#17
margnus1
closed
5 years ago
1
Mutex deadlock
#16
margnus1
closed
5 years ago
0
Bug with SWSC?
#15
PhongNgo
closed
5 years ago
0
Add configure check for immer library
#14
margnus1
opened
6 years ago
0
Fix C++14-hack in configure script
#13
margnus1
opened
6 years ago
0
Add SMT backend using Yices API
#12
margnus1
opened
6 years ago
0
How will we compare with other tools
#11
margnus1
opened
6 years ago
0
Write/find more complicated benchmarks
#10
margnus1
opened
6 years ago
7
Parallel exploration
#9
margnus1
opened
6 years ago
0
Try incremental SAT solving
#8
margnus1
opened
6 years ago
0
Try feeding saturated graph to SAT solver
#7
margnus1
opened
6 years ago
0
Get some hard benchmarks and make sure we implement the needed stuff to run these
#6
margnus1
opened
6 years ago
0
Handle more inputs
#5
margnus1
opened
6 years ago
5
Optimise SaturatedGraph from-reads
#4
margnus1
opened
6 years ago
0
Add loose programs to test suite
#3
margnus1
opened
6 years ago
4
Implement prefix-construction heuristic
#2
margnus1
closed
6 years ago
3
Allow Incremental Saturation
#1
margnus1
opened
6 years ago
0