Tags

Tags give the ability to mark specific points in history as being important

covered-20080826

1146a680 · Updated the NEWS and ChangeLog files for the next development release. · Aug 26, 2008
covered-20080603-branch2-merge2

2f1f92f3 · Moving the location of the user HTML documentation. Fixing a few missing links. · Aug 18, 2008
covered-20080625

1be3f5e4 · Updating CDD files for OVL version 2.3. · Jun 26, 2008
covered-20080609-snapshot

1f5636e2 · Updating cdd_diff script. · Jun 09, 2008
covered-20080603-branch

9a40ee88 · Fixing bug 1982530. Updating regression tests. · Jun 03, 2008
covered-20080530

e55f26bb · Updating ChangeLog. · May 30, 2008
covered-20080516-alpha4

c1628c6e · Fixing sign-extension issue with signal assignments. Added diagnostic to · May 27, 2008
covered-20080516-alpha3

dd3a2719 · Optimizing vector_op_add and vector_op_subtract algorithms. Also fixing issue with · May 23, 2008
covered-20080516-alpha2

3758b628 · Fixing issue in vector_op_add. · May 16, 2008
covered-20080516-alpha

b59b3689 · Fixing problem with set_mem_rd for packed/unpacked arrays. Updated regression · May 16, 2008
covered-20080415

e5ced2d6 · Updating files for new development release. · Apr 15, 2008
covered-20080408

130902ef · Inlining a few expression functions. · Apr 08, 2008
covered-20080407-1

297091bc · Incremented CDD version and updated regression files. Also fixed issue · Apr 07, 2008
covered-20080407

bafc6459 · Cleaning up some code in the parser. · Apr 07, 2008
covered-20080314

a781e71c · Updating NEWS for new development release. · Mar 14, 2008
covered-0_6_1

398d5b67 · Updating the NEWS for the upcoming stable release. · Mar 14, 2008
covered-0_6

da88c3c8 · Fixing bug 1914056. Updated regression suite and added new null_stmt* · Mar 14, 2008
devel-20080228

f5783227 · Code addition to support feature request 1902840. Added race6 diagnostic and updated · Feb 28, 2008
covered-20080120

b7d601fd · Updating the NEWS file for the upcoming development release. · Jan 20, 2008
covered-20080103

2656622c · Getting things ready for new development release of Covered. · Jan 03, 2008

Prev
1
2
3
4
5
6
7
Next