MyGForge - Sireum - Activity http://projects.cis.ksu.edu/gf/ Gforge Advanced Server RSS Tracker item "[Spark][compiler] Support main programs" openedPatrice Chalin <chalin@encs.concordia.ca>[Spark][compiler] Support main programs Tracker item "[Report] Generalize Kiasan report module" openedRobby <robby@cis.ksu.edu>[Report] Generalize Kiasan report module Tracker item "[Topi] Add quantifications support" openedRobby <robby@cis.ksu.edu>[Topi] Add quantifications support Tracker item "[Topi] Add Z3 binding" openedRobby <robby@cis.ksu.edu>[Topi] Add Z3 binding Tracker item "[Kondisi] Investigate Boogie representation in Pilar" openedRobby <robby@cis.ksu.edu>[Kondisi] Investigate Boogie representation in Pilar Tracker item "[Sireum Project] Add project management capabilities" openedRobby <robby@cis.ksu.edu>[Sireum Project] Add project management capabilities Tracker item "[Sireum Test] Refactor test clients" openedRobby <robby@cis.ksu.edu>[Sireum Test] Refactor test clients Tracker item "[Sireum Test] Investigate better diff tools for text and XML." openedRobby <robby@cis.ksu.edu>[Sireum Test] Investigate better diff tools for text and XML. Commit: Robby <robby@cis.ksu.edu> Commit: Robby <robby@cis.ksu.edu> Commit: Robby <robby@cis.ksu.edu> Commit: Robby <robby@cis.ksu.edu> Commit: Update to current Topi APIWilliam Deng <deng@cis.ksu.edu>Update to current Topi API Commit: Added fallback method that visit any object.Robby <robby@cis.ksu.edu>Added fallback method that visit any object. Commit: Added vanilla Pilar state model.Robby <robby@cis.ksu.edu>Added vanilla Pilar state model.