Log of /branches/eth/eve/Src/library/logging

---

Revision 85991 - Directory Listing
Modified Thu Mar 24 20:23:05 2011 UTC (8 years, 8 months ago) by jasonw

Enhanced precondition-reduction startegy.

---

Revision 85868 - Directory Listing
Modified Mon Mar 14 20:51:56 2011 UTC (8 years, 9 months ago) by jasonw

Changed log level constants.

---

Revision 85796 - Directory Listing
Modified Fri Mar 4 17:07:07 2011 UTC (8 years, 9 months ago) by picmarco

Added test for logging library.

---

Revision 85795 - Directory Listing
Modified Fri Mar 4 17:06:05 2011 UTC (8 years, 9 months ago) by picmarco

Added tests for logging library.

---

Revision 85794 - Directory Listing
Modified Fri Mar 4 16:33:41 2011 UTC (8 years, 9 months ago) by picmarco

dir for logging library tests

---

Revision 85793 - Directory Listing
Modified Fri Mar 4 16:27:27 2011 UTC (8 years, 9 months ago) by picmarco

fixed bug: even if duration_time_mode is enabled, time_prefix will still give you the current system time, instead of the duration. 

---

Revision 85781 - Directory Listing
Modified Thu Mar 3 20:31:01 2011 UTC (8 years, 9 months ago) by jasonw

Fixed a bug in the logging library which caused time messages displayed wrongly.

---

Revision 85753 - Directory Listing
Modified Mon Feb 28 21:47:32 2011 UTC (8 years, 9 months ago) by jasonw

1. Refactoring: removed logging related classes in program analysis library since a separate logging library is available.
2. Preseved some type checking configuration status in program analysis type checking facility.
3. Fixed some bugs in boogie code generation.

---

Revision 85488 - Directory Listing
Added Thu Jan 27 21:17:05 2011 UTC (8 years, 10 months ago) by jasonw

1. Added logging library. Thanks to Marco Piccioni.
2. Adapted existing code to use the new logging library.