issues
search
swtv-kaist
/
cs458-fall22
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Exam coverage
#45
A-Mehdi
opened
1 year ago
1
Final exam format?
#44
bltnynk
opened
1 year ago
1
Final Exam
#43
Khaki01
opened
1 year ago
1
Question regarding memory model of CBMC
#42
A-Mehdi
opened
1 year ago
1
[HW7] Questions regarding the homework
#41
A-Mehdi
opened
1 year ago
1
QF_BV: arity of op1 and op2
#40
KimNaRyeong
opened
1 year ago
1
QF_LIA integer?
#39
bltnynk
opened
1 year ago
1
Does QF_LIA support "If_then_else"?
#38
bltnynk
closed
1 year ago
0
Problem 2.2 in hw7
#37
bltnynk
closed
1 year ago
1
bv1 definition?
#36
bltnynk
opened
1 year ago
1
z3 사용
#35
KimNaRyeong
opened
1 year ago
1
Difference between "satisfiable" and "valid"?
#34
bltnynk
opened
1 year ago
1
[HW7] About signed and unsigned in bit vectors
#33
Akkanit
opened
1 year ago
1
[HW7] meaning of "specification"
#32
KimNaRyeong
opened
1 year ago
1
HW7: about QF_BV
#31
Akkanit
opened
1 year ago
2
HW7 = in QF_LIA
#30
Akkanit
opened
1 year ago
1
[HW7] SSA in if-else statement
#29
3-24
opened
1 year ago
2
Questions on Structural Coverage & Logical Coverage
#28
retroinspect
opened
1 year ago
3
Question on example of OneNAND Flash memory with CBMC
#27
retroinspect
closed
1 year ago
3
Concrete example of test oracle
#26
retroinspect
closed
1 year ago
2
Some PPTs are broken (Nov 3, Dec 1)
#25
retroinspect
closed
1 year ago
2
[HW7] 1.2 SSA form
#24
retroinspect
closed
1 year ago
1
[HW7] 1.5: Input values are limited to int => BV and LIA should conclude into same result
#23
retroinspect
closed
1 year ago
1
[hw6] problem about generated TestCases
#22
yuanchunHE
opened
1 year ago
4
HW6 About Branch Coverage
#21
3-24
closed
1 year ago
2
argc, argv in main
#20
KimNaRyeong
opened
1 year ago
5
HW#6 gcov -b -f
#19
UkhoShin
opened
1 year ago
1
HW6 problem 3
#18
bltnynk
opened
1 year ago
1
HW6: Do we need to really edit tcas-mod-crown.c
#17
Akkanit
opened
1 year ago
1
Do we have class on 12/1? (Undergraduate Admission Exam)
#16
retroinspect
closed
1 year ago
1
Date and time of final exam
#15
bltnynk
opened
1 year ago
1
Question regarding CBMC
#14
A-Mehdi
opened
1 year ago
1
--unwind 0 vs comment out recursion
#13
KAIST-JongchanPark
opened
1 year ago
2
Changing the max-heap code
#12
A-Mehdi
closed
1 year ago
1
H_Size parameter
#11
A-Mehdi
closed
1 year ago
1
About Hw5
#10
KimNaRyeong
opened
1 year ago
8
Size of the array and the empty nodes
#9
A-Mehdi
opened
1 year ago
5
[HW5-4] Measuring memory usage with top?
#8
retroinspect
closed
1 year ago
2
[HW5-3] What are the run-time parameters of CBMC for example?
#7
retroinspect
closed
1 year ago
1
questions about hw5 (copy from KLMS)
#6
yuanchunHE
opened
1 year ago
2
About empty element
#2
swtv-kaist
opened
1 year ago
3
You can discuss CS458 Q&As in this github repo.
#1
swtv-kaist
opened
1 year ago
0