Change 29393

Time Attribute with previous and current values
Change #29393
2014-08-01
13:58:18

update Calagator::Event 1250466729 Galois tech talk: Verifying C programs in Coq using VST Roll back

end_time 2014-08-05 12:00:00 -0700 → 2014-08-08 12:00:00 -0700
locked nil → false
start_time 2014-08-05 11:00:00 -0700 → 2014-08-08 11:00:00 -0700