issues
search
SRI-CSL
/
OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
BSD 3-Clause "New" or "Revised" License
26
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Possible linking error when duplicate function names
#12
caballa
closed
6 years ago
1
Argument specialization. Not sure this makes sense though.
#11
ianamason
closed
6 years ago
0
Adding instrumentation
#10
ianamason
closed
6 years ago
1
Makefile improvements
#9
ianamason
closed
8 years ago
0
OCCAM/test/funcs
#8
ianamason
closed
8 years ago
0
occam on vagrant with yices
#7
ianamason
closed
8 years ago
1
occam on shaman crashes
#6
ianamason
closed
8 years ago
1
Are the protobuffers still actually used.
#5
ianamason
closed
8 years ago
1
OCCAM_SRC
#4
ianamason
closed
8 years ago
2
Coverity support
#3
ianamason
closed
4 years ago
3
Travis support, at least for ubuntu.
#2
ianamason
closed
8 years ago
4
OCCAM on darwin
#1
ianamason
closed
8 years ago
14
Previous