Log of /branches/eth/eve/eweasel/tests/incr283

---

Revision 83441 - Directory Listing
Modified Sat Jun 5 13:52:53 2010 UTC (9 years, 6 months ago) by jasonw

Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.

---

Revision 83331 - Directory Listing
Modified Wed May 26 18:49:35 2010 UTC (9 years, 6 months ago) by jasonw
Original Path: branches/eth/eve3/eweasel/tests/incr283

<<Breanched from trunk@83330>> Created a branch to upgrade Eiffel Transform library to trunk.

---

Revision 76051 - Directory Listing
Modified Wed Dec 3 06:17:10 2008 UTC (11 years ago) by manus
Original Path: trunk/eweasel/tests/incr283

Reverted back to report the VTCG error since the compiler check type validity at degree 4 like before.

---

Revision 71293 - Directory Listing
Modified Fri Nov 30 05:17:46 2007 UTC (12 years ago) by manus
Original Path: trunk/eweasel/tests/incr283

Added missing svn:eol-style native property.

---

Revision 70571 - Directory Listing
Modified Sun Oct 14 15:23:20 2007 UTC (12 years, 2 months ago) by manus
Original Path: trunk/eweasel/tests/incr283

Adapted to the order in which the compiler will report error (strangely it seems to
  report a different order if the compiler is finalized from scratch or not).

---

Revision 70529 - Directory Listing
Modified Tue Oct 9 00:50:51 2007 UTC (12 years, 2 months ago) by manus
Original Path: trunk/eweasel/tests/incr283

Adapted to compiler changes that reports all the errors at degree 3 instead of degree 4 when types
  in signatures are not valid.

---

Revision 70492 - Directory Listing
Modified Thu Oct 4 18:53:15 2007 UTC (12 years, 2 months ago) by manus
Original Path: trunk/eweasel/tests/incr283

New tests mostly related to show issues found now that compiler can report more than one error
  per compilation degree.

---

Revision 70443 - Directory Listing
Modified Fri Sep 28 19:18:04 2007 UTC (12 years, 2 months ago) by manus
Original Path: trunk/eweasel/tests/incr283

Updated tcf files to reflect the new order in which the compiler reports errors.
Note that this is going to change when we can report more than one error at degree 4.

---

Revision 68685 - Directory Listing
Modified Sat May 26 00:49:25 2007 UTC (12 years, 6 months ago) by manus
Original Path: trunk/eweasel/tests/incr283

Updated to match compiler result which is now supposed to be correct.

---

Revision 68621 - Directory Listing
Modified Wed May 23 22:30:34 2007 UTC (12 years, 6 months ago) by martins
Original Path: trunk/eweasel/tests/incr283

* changed* Changed erros from VTGD to VTCG
* Added new expanded tests
* Added new multicon tests

---

Revision 67818 - Directory Listing
Modified Wed Apr 11 23:02:44 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/eweasel/tests/incr283

* Updates for existing eweasel tests
* test#valid208 implements bug#12464

---

Revision 67769 - Directory Listing
Added Sat Apr 7 01:32:04 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/eweasel/tests/incr283

Several new tests for multi-constraint formals.
test#incr283 is related to bug#12455