Skip to content

Issues: snu-sf-class/pl2015spring

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

49 Open 116 Closed
49 Open 116 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

The repository is moved to: github.com/snu-sf-class/pl2015spring
#168 opened Nov 2, 2015 by jeehoonkang
Rebuttal for Copy
#167 opened Jun 25, 2015 by jeehoonkang
3
Model Solution for Final
#166 opened Jun 25, 2015 by jeehoonkang
Claim on Attendance, Assignment & Exam
#165 opened Jun 23, 2015 by jeehoonkang
33
Attendance
#164 opened Jun 23, 2015 by jeehoonkang
6
Can we bring our laptop with preferred keyboard to the exam?
#163 opened Jun 17, 2015 by egejjespersen
6
"Gamma" in STLC
#160 opened Jun 16, 2015 by AdamBJ
1
ASSINGMENT TYCHECK
#159 opened Jun 16, 2015 by HyeongMee
1
ASSINGMENT 10
#157 opened Jun 15, 2015 by HyeongMee
1
Meaning of eato 10?
#156 opened Jun 15, 2015 by rhs0266
3
Question About Assignment12_06
#153 opened Jun 13, 2015 by amityaffliction
9
Dealing with proofs involving complicated destructs
#150 opened Jun 12, 2015 by AdamBJ
1
Assignment 12 Status
#149 opened Jun 12, 2015 by jeehoonkang
7
Assignment 12
#148 opened Jun 9, 2015 by AdamBJ
1
Question about the final
#147 opened Jun 8, 2015 by AdamBJ
1
Ltac pattern matching
#145 opened Jun 5, 2015 by sangholee12
1
Assignment 11 Status
#136 opened May 30, 2015 by jeehoonkang
10
Assignment 10 status
#135 opened May 30, 2015 by jeehoonkang
15
Assignment 08_19
#134 opened May 28, 2015 by alkaza
10
Assignment 08_04
#133 opened May 27, 2015 by alkaza
18
exact FILL_IN_HERE
#131 opened May 27, 2015 by HyeongMee
1
.I accidentally deleted Assignment09_*.v
#128 opened May 26, 2015 by HyeongMee
2
How many chapters will this class cover?
#126 opened May 25, 2015 by jaewooklee93
1
optimize_0plus_aexp (APlus a1 a2)
#125 opened May 25, 2015 by HyeongMee
2
Hoare triple of non-terminating command?
#122 opened May 23, 2015 by yookoon
2
ProTip! Follow long discussions with comments:>50.