Messages

I put also a browsable link on the web

http://git.uio.no/git/?p=u/msteffen/staticanalysis.git;a=summary

I uploaded a new batch of slides. Martin
 

I wrote more info about how to get access to the dfa implementation. it can be found here:

http://msteffen.at.ifi.uio.no/teaching/2014/sa/dfa/setup/

(it's a evolving document, new info may be added).

on request of the people present next time: next week we do the lecture at 10.
 

Hi,

as said: I put 2 more handouts on the web-page.

As agreed (for next week only): due to some conflict of meeting and room reservation: next week we start at eleven.

As agreed today: we move the lecture to the new timeframe 12-14 (before it has been 10 to 12),  on Mondays, same room. Martin

Hi,

as shown in the schedule: first lecture is 13.Jan.

Martin