EDA.org Mantis
Mantis Bugtracker
Main | My View | View Issues | Docs | Wiki
  

Viewing Issue Simple Details [ Jump to Notes ] [ Wiki ] [ View Advanced ] [ Issue History ] [ Print ]
ID Category Severity Date Submitted Last Update
0001728 [SystemVerilog P1800] SV-SC feature 2007-02-07 09:42 2008-12-19 17:52
Reporter Eduard_Cerny View Status public  
Assigned To Dmitry Korchemny
Priority normal Resolution fixed  
Status closed   Product Version
Summary 0001728: Introduce "let"statement
Description Properties and sequences can serve as templates for concurrent assertions. However, there is no equivalent for immediate assertions. The let statement has similar characteristics as sequences and properties in the binding of rguments and variables, but is restricted to expressions. The "let" can also be used in assignments.
A draft proposal for discussion is attached.
Additional Information
Tags No tags attached.
Type Enhancement
Attached Files doc file icon LetConstruct1728 080724_dk.doc [^] (210,944 bytes) 2008-07-24 21:20
pdf file icon LetConstruct1728 080724_dk.pdf [^] (177,245 bytes) 2008-07-24 21:20
doc file icon LetConstruct1728 080725_dk.doc [^] (208,896 bytes) 2008-07-25 06:31
pdf file icon LetConstruct1728 080725_dk.pdf [^] (177,577 bytes) 2008-07-25 06:32
doc file icon LetConstruct1728 080804_dk.doc [^] (189,440 bytes) 2008-08-04 22:28
pdf file icon LetConstruct1728 080804_dk.pdf [^] (177,274 bytes) 2008-08-04 22:29

- Relationships
parent of 0001900closedDmitry Korchemny Add new 'checker' construct to SVA 
related to 0001846closedThomas R Alsop D3 21.13: add 1800-2008 to `begin_keywords 
related to 0002413assignedDmitry Korchemny Allow inferred value functions in let 
related to 0000696assignedBrad Pierce Ballot Feedback Issue 225: Add parameterized tasks and functions 

-  Notes
User avatar (0004006)
Eduard_Cerny (developer)
2007-07-26 11:49

 Examples improved following Tom's comments.
User avatar (0004459)
Dmitry Korchemny (manager)
2007-09-11 12:08

 Excluded the latest addition about declaring sequences and properties in a generate block - to be put in a separate Mantis.
User avatar (0004699)
Dmitry Korchemny (manager)
2007-09-27 10:38

 Fixed a typo: declarayions -> declarations
User avatar (0004700)
Dmitry Korchemny (manager)
2007-09-27 12:43

 Made fixes according to Lisa's comments:

1. At the bottom of the document there lists changes to

A.2.10. Assert declarations
ADD at the end
A.2.10 Expressions
REPLACE

There is no “A.2.10 Expressions” and it does not say what to add. I suspect the middle two lines need to be deleted.

2. Examples “f” include example of concurrent assertions in procedural code which is not discussed until 16.14. I’m not sure that it adds much so you might want to delete that part of this example or change it to a normal concurrent assertion.
User avatar (0004861)
John Havlicek (manager)
2007-10-04 07:31

 Passed by e-mail vote 2007-10-02, 8y/0n/2a. There were several friendly amendments. The proposal needs to be aligned to Draft4.
User avatar (0005063)
John Havlicek (manager)
2007-10-30 11:21

 2007-10-30: Voice vote to approve friendly amendments, 8y/0n/1a [Erik Seligman abstained].
User avatar (0005174)
shalom (manager)
2007-11-08 07:54

 I think that in some of the examples, in the equivalent code after let substitution, the parentheses around the let expansion are missing.

In example (a), I think
  a1: assert property (@(posedge clk) m.p == m.q);
should be
  a1: assert property (@(posedge clk) (m.p == m.q));

In example (e), I think
  a1:assert(bits’(a) == bits’(b));
should be
  a1:assert((bits’(a) == bits’(b)));

In example (f), I think
  always_comb begin
    a1: assert($past(a)); // Illegal: no clock can be inferred
    a2: assert($past(a,,,@(posedge clock)));
    a3: assert($sampled (a));
  end
  a4: assert property(@(posedge clk)$past(a)); // @(posedge clk) is inferred
should be
  always_comb begin
    a1: assert(($past(a))); // Illegal: no clock can be inferred
    a2: assert(($past(a,,,@(posedge clock))));
    a3: assert(($sampled (a)));
  end
  a4: assert property(@(posedge clk)($past(a))); // @(posedge clk) is inferred
User avatar (0005196)
Dmitry Korchemny (manager)
2007-11-13 02:01

 Reopened to address the champions' comments.
User avatar (0005409)
Dmitry Korchemny (manager)
2007-11-27 01:23
edited on: 2007-12-04 03:31

 Passed by e-mail vote 2007-11-13, 7y/0n. There were friendly amendments.
User avatar (0005463)
Dmitry Korchemny (manager)
2007-12-04 03:28

 Passed by e-mail vote 2007-11-27, 8y/0n. There were friendly amendments.
User avatar (0005470)
Dmitry Korchemny (manager)
2007-12-04 13:48

 Unanimously passed by voice vote 12/04/07.
User avatar (0005767)
Neil Korpusik (administrator)
2008-01-19 17:27

 Was sent back to the svac in the Champions conference call of Nov 8th.
   1. The problems with the examples pointed out in Shalom's Mantis note
      need to be addressed.
   2. (bit clock) - in part e - bits can't be inout - logic clock would be ok,
      or say input
   3. Original has c cat and d dog as logic, rewritten one has bit
      The other examples need to be checked.
User avatar (0005781)
John Havlicek (manager)
2008-01-21 04:24

 The Champions' feedback from 2007-11-08 was addressed on 2007-11-13. Other subsequent changes were made and approved.
User avatar (0005958)
Neil Korpusik (administrator)
2008-02-08 19:06

 The proposal failed in the Champions email vote
which ended on Feb 4th, 2008.

         Failed with 1 no-vote

         - Dave - It seems very odd that the let statement is allowed on an
           immediate assertion, which is no more complex than a 'if' statement,
           but not allowed in any Boolean expression. I understand the SV-AC
           rush to add features to the language and limiting those features to
           assertions, but limited this kind of feature to assertions does not
           serve the end user and the language very well. If there are issues
           preventing wider adoption of this feature, let then be flushed out
           now.

         - John - friendly amendment:
           p. 3, I think that there is a parenthesis mismatch (too many ")")
           in the let in the package pex_gen9_common_expressions.
User avatar (0005965)
Dmitry Korchemny (manager)
2008-02-10 03:38

 Reopening to address John's friendly amendment:

"(|(req&vld) || arb_override))" --> "(|(req&vld) || arb_override)"
User avatar (0005986)
John Havlicek (manager)
2008-02-13 03:12

 2008-02-12: Voice vote approved fixing parenthesis mismatch from Champions feedback, 8y/0n/0a.
User avatar (0006163)
Neil Korpusik (administrator)
2008-03-08 19:09

 The proposal was approved by the Champions in the
February 25th, 2008 conference call with 2 opposed.

        Move: Brad - accept the proposal for Mantis item 1728
      Second: Shalom
      Oppose: Dave
         - It seems very odd that the let statement is allowed on an immediate
           assertion, which is no more complex than a 'if' statement, but not
           allowed in any Boolean expression. I understand the SV-AC rush to
           add features to the language and limiting those features to
           assertions, but limited this kind of feature to assertions does not
           serve the end user and the language very well. If there are issues
           preventing wider adoption of this feature, let then be flushed out
           now.
         - assertions can creep into procedural code
         - You can use a sequence in a covergroup.
         - An 'expect' can definitely be used with a sequence.
         - Allows a sequence to be used in procedural code.
         - Not that he wants 'let' in the general language, but restricting
           them to assertions says people are not comfortable with let.
           Would rather get people comfortable with let and not have the
           artificial restrictions.
     Stu - too large a change to make at the end,
           Needs more time to review by all Technical Committees

     Motion passes, with 2 opposed (4 in favor)
User avatar (0006464)
Neil Korpusik (administrator)
2008-04-05 17:53

 The Working Group unanimously agreed to send this Mantis item to the new
Assertions sub-committee in the conference call of March 27, 2008.
User avatar (0006596)
Neil Korpusik (administrator)
2008-04-23 11:15

 Moving to the sv-sc.
User avatar (0007018)
Dmitry Korchemny (manager)
2008-06-10 23:09

 Removed a redundant comma in the last sentence on Page 4 as pointed out by Shalom.
User avatar (0007022)
Dmitry Korchemny (manager)
2008-06-11 04:14

 Merged changes from 1503.
User avatar (0007228)
Erik_Seligman (developer)
2008-07-16 13:41
edited on: 2008-07-24 21:22

 Passed in SV-SC vote closing 2008-07-16: 10y/0n/3a

The version under vote: LetConstruct1728 080709_dk.pdf (DK)
User avatar (0007266)
Neil Korpusik (administrator)
2008-07-25 15:02

 The proposal was sent back to the SV-SC by the
Champions in the July 24th, 2008 conference call.

The following items were noted, some of the changes are mostly editorial, but
there were some that were beyond being just editorial.

 1. On p. 3, in 11.12,
    "A let declaration may be instantiated in other expressions."
    
    It's not really the declaration that is being instantiated. We don't use
    that terminology elsewhere, either. Better would be,

    "A let construct may be instantiated ...".

 2. A few lines after that:
       "while the scope of compiler directives is global."
    This is not quite precise. Better would be
       "global within the compilation unit," as in 3.12(d).

 3. On p. 5,
    "It shall be an error, if the clock is required, but cannot be inferred..."
    The first comma should be deleted.

 4. On p. 7, in example (e), the property declaration header should end with a
    semicolon, in two places.

 5. The let keyword should be added to Table 21-5 in 21.14.7 also.

 6. There are two module declarations that begin

      module m(input bit clock);

   But there are, unfortunately, still no 2-state wires in SystemVerilog, so
   these should be

      module m(input var bit clock);

   or 'input logic clock' or simply 'input clock', since there does not
   seem to be any need in the examples for clock to be 2-state.

 6.a Also, example (f) has
 
      module m(logic clock);
 
     While not incorrect, this declares clock as inout, which was probably not
     the intent.
 
 6.b More seriously,
     both examples (e) and (f) refer to both "clock" and "clk".
     It needs to be consistent.
 
 7. "let_expression" should be added to "primary" in A.8.4, not "expression"
    in A.8.3.
 
    The following set of BNF changes was summarized in the meeting
       a) "let_expression" should be added to "primary" in A.8.4,
          not "expression" in A.8.3.
       b) constant_let_expression needs to be added, and added to
          constant_primary
       c) semantic restriction analogous to constant function calls
          When can a let_expression be used as a constant?
 
 8. On p. 4:

        let at_least_two(sig, rst = 1'b0) = rst || ($countones(sig) >= 2);
        logic [15:0] sig1;
        logic [3:0] sig2;

        always_comb begin
           q1: assert (at_least_two(sig1));
           q2: assert (at_least_two(~sig2));
        end

    "In this case the let instantiation cannot be replaced by a function
     call since formal arguments of a function need to have a specific
     type."
 
  It wasn't clear to the champions that it was not possible to use a function
  in such cases.
 
      Suggested rewording:
      From:
         "In this case the let instantiation cannot be replaced by a function
          call since formal arguments of a function need to have a specific
          type."
      To:
         "In this case the let instantiation cannot be easily replaced by a
          function call since formal arguments of a function need to have a
          specific type."
 
 9. On p. 4:

     "Otherwise, the self-determined result type of the actual argument shall
      be cast compatible (see 6.22.4) with the type of the formal
      argument. The actual argument shall be cast to the type of the formal
      argument before being substituted for a reference to the formal argument
      in the rewriting algorithm (see F.5.2)."

  This text appears in other places in discussing sequence and property
  arguments.

  I recall that Gord raised some concern about misinterpreting this to
  mean that the actual is first reduced to self-determined result type
  and that is then cast to the type of the formal.
     
  This is not what the text actually says, but if SV-SC changed the text
  in the other places, then this instance should be aligned.
 
10. Another example would help
 
    It seems likely to me that in practice a let-body would need to apply
    $eft(), $right(), and so on, to the actuals. It would be helpful to
    users if there were an example of this.
User avatar (0007273)
Erik_Seligman (developer)
2008-08-01 11:22

 SV-SC voted at 2008-07-29 mtg to approve Dmitry's updated proposal, which addresses the issues posed by the champions.

    Abstain: Tom, Steve, Manisha
    Passes: 8y, 0n, 3a
User avatar (0007294)
Erik_Seligman (developer)
2008-08-05 09:32

 SV-SC voted to approve latest edit at 2008-08-05 mtg. 9y/0n/0a.
User avatar (0007344)
Neil Korpusik (administrator)
2008-08-18 16:45

 The proposal was unanimously approved by the Champions in the
August 7th, 2008 conference call.
User avatar (0007369)
Neil Korpusik (administrator)
2008-08-18 18:32

 The proposal was unanimously approved by the Working Group
in the conference call of August 14, 2008.
User avatar (0007464)
Stuart Sutherland (manager)
2008-09-04 20:33

 The change proposal was implemented in draft 7.
User avatar (0007531)
Manisha_Kulshrestha (developer)
2008-09-17 23:35
edited on: 2008-09-24 03:46

 I found the following issues in draft 7:

1.Clause 11.13, in the syntax box 11-9, there is definition of mintypmax_expression at the beginning. I think it should not be there. In the same syntax box, everything should be blue.

[DK: Ignore this comment:

The example is correct, | before (request & valid ) is a reduction operator.

2.In the example 1, there is an extra ‘|’ in the expression before (request & valid). Since this issue is also in the mantis item, I am not sure if it should be fixed in the next draft. The example is: let valid_arb(request, valid, override) = |(request & valid) || override;

]


3.In 11.13, in the sentence “Recursive let instantiations are not permitted.”, let should be in bold letters.
User avatar (0007549)
Dmitry Korchemny (manager)
2008-09-24 03:43

 * 11.13 Let construct, Beginning of Syntax 11-9
  Delete the production for mintypmax_expression

* 11.13, Syntax 11-9:
  assertion_item_declaration production, two "// from" comments and "Syntax 11-9" should be in blue

* Change the caption of 11-9 to "let syntax".

* In the item 1). page 238
  The first occurrence of event_expression should be italicized.

* Example a), page 239
"The effective code after expanding let expressions" - "let" should be typeset as a keyword -in courier 9 bold

* "c)" on page 240 should be in blue

* Example e), page 41. Editor fix "clockk" --> "clock" is correct
User avatar (0007568)
Stuart Sutherland (manager)
2008-10-01 19:12

 The changes requested in bug note 7531 and 7549 were implemented in draft 7a.
User avatar (0007699)
Dmitry Korchemny (manager)
2008-11-05 01:55

 11.13 Let construct

In the sentence "Semantic checks are performed to ensure that the expanded let body with the actual arguments is legal." 'let' should be typeset as a keyword - courier 9 bold.
User avatar (0007700)
shalom (manager)
2008-11-05 02:11

 In two places, "let body" should be "a let body" or "the let body" in order to make the sentence gramatically correct. The two places are in 11.13:

"In the scope of declaration, let body shall be defined before it is used."

and

"let body may contain sampled value function calls (see 16.9.3 and 16.9.4)."

See also the preceding bug note, 7699.
User avatar (0007712)
Stuart Sutherland (manager)
2008-12-02 21:21

 The changes requested in bug note 7699 and 7700 were implemented in draft 8.
User avatar (0007786)
Neil Korpusik (administrator)
2008-12-19 17:51

 I verified the last set of changes made by the Editor for 1800-2009 draft 8.

Changing the status to closed.

- Issue History
Date Modified Username Field Change
2007-02-07 09:42 Eduard_Cerny New Issue
2007-02-07 09:42 Eduard_Cerny File Added: LetConstruct.070207.pdf
2007-02-07 09:42 Eduard_Cerny Type => Errata
2007-02-07 09:46 Eduard_Cerny Type Errata => Enhancement
2007-02-08 01:01 shalom Issue Monitored: shalom
2007-02-20 06:20 Eduard_Cerny File Added: LetConstruct.070220.pdf
2007-02-20 06:20 Eduard_Cerny File Deleted: LetConstruct.070207.pdf
2007-02-20 11:47 John Havlicek Assigned To => Eduard_Cerny
2007-02-20 11:47 John Havlicek Status new => assigned
2007-03-12 13:38 Eduard_Cerny File Added: LetConstruct1728.070312.pdf
2007-03-12 13:38 Eduard_Cerny File Deleted: LetConstruct.070220.pdf
2007-03-23 09:17 Eduard_Cerny File Added: LetConstruct1728.070323.pdf
2007-05-07 11:09 Dmitry Korchemny File Added: letconstruct1728_070503.pdf
2007-06-06 08:32 Eduard_Cerny File Added: LetConstruct1728 070606.pdf
2007-06-26 07:11 Eduard_Cerny File Added: LetConstruct1728 070606.pdf
2007-06-26 07:11 Eduard_Cerny File Deleted: LetConstruct1728 070606.pdf
2007-06-26 07:11 Eduard_Cerny File Added: LetConstruct1728 070626.pdf
2007-06-26 07:12 Eduard_Cerny File Deleted: LetConstruct1728.070312.pdf
2007-06-26 07:12 Eduard_Cerny File Deleted: LetConstruct1728.070323.pdf
2007-06-26 07:12 Eduard_Cerny File Deleted: letconstruct1728_070503.pdf
2007-07-23 05:17 Eduard_Cerny File Added: LetConstruct1728 070722.pdf
2007-07-23 05:18 Eduard_Cerny File Deleted: LetConstruct1728 070606.pdf
2007-07-23 05:18 Eduard_Cerny File Deleted: LetConstruct1728 070626.pdf
2007-07-25 04:59 shalom Relationship added related to 0001846
2007-07-25 06:26 Eduard_Cerny File Added: LetConstruct1728 070725.pdf
2007-07-25 06:26 Eduard_Cerny File Deleted: LetConstruct1728 070722.pdf
2007-07-25 10:02 Eduard_Cerny File Deleted: LetConstruct1728 070725.pdf
2007-07-25 10:02 Eduard_Cerny File Added: LetConstruct1728 070725.pdf
2007-07-26 11:49 Eduard_Cerny File Added: LetConstruct1728 070726.pdf
2007-07-26 11:49 Eduard_Cerny Note Added: 0004006
2007-08-21 06:45 Dmitry Korchemny File Deleted: LetConstruct1728 070725.pdf
2007-08-21 06:46 Dmitry Korchemny File Added: LetConstruct1728 070815_dk.pdf
2007-08-27 09:23 Dmitry Korchemny File Deleted: LetConstruct1728 070726.pdf
2007-08-27 09:24 Dmitry Korchemny File Added: LetConstruct1728 070827_dk.pdf
2007-08-28 03:22 Dmitry Korchemny File Deleted: LetConstruct1728 070827_dk.pdf
2007-08-28 03:23 Dmitry Korchemny File Added: LetConstruct1728 070827_dk.pdf
2007-09-09 07:38 Dmitry Korchemny File Added: LetConstruct1728 070909_dk.pdf
2007-09-09 07:38 Dmitry Korchemny File Deleted: LetConstruct1728 070815_dk.pdf
2007-09-09 08:17 Dmitry Korchemny File Deleted: LetConstruct1728 070909_dk.pdf
2007-09-09 08:17 Dmitry Korchemny File Added: LetConstruct1728 070909_dk.pdf
2007-09-10 13:54 Dmitry Korchemny File Deleted: LetConstruct1728 070827_dk.pdf
2007-09-10 13:54 Dmitry Korchemny File Added: LetConstruct1728 070910_dk.pdf
2007-09-11 12:05 Dmitry Korchemny File Deleted: LetConstruct1728 070909_dk.pdf
2007-09-11 12:06 Dmitry Korchemny File Added: LetConstruct1728 070911_dk.pdf
2007-09-11 12:08 Dmitry Korchemny Note Added: 0004459
2007-09-11 12:13 Dmitry Korchemny File Deleted: LetConstruct1728 070911_dk.pdf
2007-09-11 12:15 Dmitry Korchemny File Added: LetConstruct1728 070911_dk.pdf
2007-09-16 09:56 Dmitry Korchemny File Added: LetConstruct1728 070916_dk.pdf
2007-09-16 09:56 Dmitry Korchemny File Deleted: LetConstruct1728 070910_dk.pdf
2007-09-17 06:50 Dmitry Korchemny File Deleted: LetConstruct1728 070916_dk.pdf
2007-09-17 06:50 Dmitry Korchemny File Added: LetConstruct1728 070917_dk.pdf
2007-09-17 08:36 shalom Assigned To Eduard_Cerny => Dmitry Korchemny
2007-09-18 01:47 Dmitry Korchemny File Added: LetConstruct1728 070918_dk.pdf
2007-09-20 08:00 Dmitry Korchemny File Deleted: LetConstruct1728 070911_dk.pdf
2007-09-20 08:00 Dmitry Korchemny File Added: LetConstruct1728 070920_dk.pdf
2007-09-20 08:00 Dmitry Korchemny File Deleted: LetConstruct1728 070917_dk.pdf
2007-09-21 04:09 Dmitry Korchemny File Deleted: LetConstruct1728 070918_dk.pdf
2007-09-21 04:09 Dmitry Korchemny File Deleted: LetConstruct1728 070920_dk.pdf
2007-09-21 04:09 Dmitry Korchemny File Added: LetConstruct1728 070921_dk.pdf
2007-09-27 10:36 Dmitry Korchemny File Deleted: LetConstruct1728 070921_dk.pdf
2007-09-27 10:37 Dmitry Korchemny File Added: LetConstruct1728 070921_dk.pdf
2007-09-27 10:38 Dmitry Korchemny Note Added: 0004699
2007-09-27 12:41 Dmitry Korchemny File Added: LetConstruct1728 070927_dk.pdf
2007-09-27 12:43 Dmitry Korchemny Note Added: 0004700
2007-10-04 07:31 John Havlicek Note Added: 0004861
2007-10-30 11:21 John Havlicek Note Added: 0005063
2007-10-30 11:21 John Havlicek Status assigned => resolved
2007-10-30 11:21 John Havlicek Resolution open => fixed
2007-11-08 07:54 shalom Note Added: 0005174
2007-11-13 02:01 Dmitry Korchemny Status resolved => feedback
2007-11-13 02:01 Dmitry Korchemny Resolution fixed => reopened
2007-11-13 02:01 Dmitry Korchemny Note Added: 0005196
2007-11-13 02:01 Dmitry Korchemny File Deleted: LetConstruct1728 070921_dk.pdf
2007-11-13 02:01 Dmitry Korchemny File Added: LetConstruct1728 071113_dk.doc
2007-11-13 02:02 Dmitry Korchemny File Added: LetConstruct1728 071113_dk.pdf
2007-11-14 23:59 Dmitry Korchemny File Deleted: LetConstruct1728 071113_dk.doc
2007-11-15 00:00 Dmitry Korchemny File Deleted: LetConstruct1728 071113_dk.pdf
2007-11-15 00:00 Dmitry Korchemny File Added: LetConstruct1728 071113_dk.doc
2007-11-15 00:00 Dmitry Korchemny File Added: LetConstruct1728 071113_dk.pdf
2007-11-27 00:54 Dmitry Korchemny File Deleted: LetConstruct1728 070927_dk.pdf
2007-11-27 01:00 Dmitry Korchemny File Added: LetConstruct1728 071127_dk.doc
2007-11-27 01:02 Dmitry Korchemny File Added: LetConstruct1728 071127_dk.pdf
2007-11-27 01:23 Dmitry Korchemny Note Added: 0005409
2007-11-28 10:39 Dmitry Korchemny File Deleted: LetConstruct1728 071113_dk.doc
2007-11-28 10:40 Dmitry Korchemny File Deleted: LetConstruct1728 071113_dk.pdf
2007-11-28 10:43 Dmitry Korchemny File Deleted: LetConstruct1728 071127_dk.doc
2007-11-28 10:43 Dmitry Korchemny File Deleted: LetConstruct1728 071127_dk.pdf
2007-11-28 10:47 Dmitry Korchemny File Added: LetConstruct1728 071127_dk.doc
2007-11-28 10:47 Dmitry Korchemny File Added: LetConstruct1728 071127_dk.pdf
2007-12-04 03:28 Dmitry Korchemny Note Added: 0005462
2007-12-04 03:28 Dmitry Korchemny Note Added: 0005463
2007-12-04 03:29 Dmitry Korchemny Note Added: 0005464
2007-12-04 03:30 Dmitry Korchemny Note Deleted: 0005464
2007-12-04 03:30 Dmitry Korchemny Note Edited: 0005462
2007-12-04 03:31 Dmitry Korchemny Note Deleted: 0005462
2007-12-04 03:31 Dmitry Korchemny Note Edited: 0005409
2007-12-04 13:48 Dmitry Korchemny Note Added: 0005470
2007-12-04 13:48 Dmitry Korchemny Status feedback => resolved
2007-12-04 13:48 Dmitry Korchemny Resolution reopened => fixed
2007-12-11 12:19 Dmitry Korchemny Relationship added related to 0001900
2008-01-19 17:27 Neil Korpusik Note Added: 0005767
2008-01-21 04:24 John Havlicek Note Added: 0005781
2008-02-08 19:06 Neil Korpusik Note Added: 0005958
2008-02-10 03:38 Dmitry Korchemny Status resolved => feedback
2008-02-10 03:38 Dmitry Korchemny Resolution fixed => reopened
2008-02-10 03:38 Dmitry Korchemny Note Added: 0005965
2008-02-10 03:39 Dmitry Korchemny File Deleted: LetConstruct1728 071127_dk.doc
2008-02-10 03:39 Dmitry Korchemny File Deleted: LetConstruct1728 071127_dk.pdf
2008-02-10 03:40 Dmitry Korchemny File Added: LetConstruct1728 071127_dk.doc
2008-02-10 03:40 Dmitry Korchemny File Added: LetConstruct1728 071127_dk.pdf
2008-02-13 03:12 John Havlicek Note Added: 0005986
2008-02-13 03:12 John Havlicek Status feedback => resolved
2008-02-13 03:12 John Havlicek Resolution reopened => fixed
2008-03-08 19:09 Neil Korpusik Note Added: 0006163
2008-03-25 14:47 Dmitry Korchemny Relationship deleted related to 0001900
2008-03-25 14:48 Dmitry Korchemny Relationship added parent of 0001900
2008-04-05 17:53 Neil Korpusik Status resolved => feedback
2008-04-05 17:53 Neil Korpusik Resolution fixed => reopened
2008-04-05 17:53 Neil Korpusik Note Added: 0006464
2008-04-23 11:15 Neil Korpusik Note Added: 0006596
2008-04-23 11:15 Neil Korpusik Category SV-AC => SV-SC
2008-05-26 00:12 Dmitry Korchemny File Added: LetConstruct1728 051608_dk.doc
2008-05-26 00:12 Dmitry Korchemny File Added: LetConstruct1728 051608_dk.pdf
2008-06-02 06:34 Dmitry Korchemny File Added: LetConstruct1728 060208_dk.doc
2008-06-02 06:34 Dmitry Korchemny File Added: LetConstruct1728 060208_dk.pdf
2008-06-02 22:52 Dmitry Korchemny File Deleted: LetConstruct1728 060208_dk.doc
2008-06-02 22:52 Dmitry Korchemny File Deleted: LetConstruct1728 060208_dk.pdf
2008-06-02 22:53 Dmitry Korchemny File Added: LetConstruct1728 060308_dk.doc
2008-06-02 22:54 Dmitry Korchemny File Added: LetConstruct1728 060308_dk.pdf
2008-06-10 23:06 Dmitry Korchemny File Deleted: LetConstruct1728 060308_dk.doc
2008-06-10 23:06 Dmitry Korchemny File Deleted: LetConstruct1728 060308_dk.pdf
2008-06-10 23:07 Dmitry Korchemny File Added: LetConstruct1728 060308_dk.doc
2008-06-10 23:07 Dmitry Korchemny File Added: LetConstruct1728 060308_dk.pdf
2008-06-10 23:09 Dmitry Korchemny Note Added: 0007018
2008-06-11 04:12 Dmitry Korchemny File Deleted: LetConstruct1728 071127_dk.doc
2008-06-11 04:13 Dmitry Korchemny File Deleted: LetConstruct1728 071127_dk.pdf
2008-06-11 04:13 Dmitry Korchemny File Added: LetConstruct1728 061108_dk.doc
2008-06-11 04:14 Dmitry Korchemny File Added: LetConstruct1728 061108_dk.pdf
2008-06-11 04:14 Dmitry Korchemny Note Added: 0007022
2008-06-17 05:23 Dmitry Korchemny File Deleted: LetConstruct1728 061108_dk.doc
2008-06-17 05:23 Dmitry Korchemny File Deleted: LetConstruct1728 061108_dk.pdf
2008-06-17 05:23 Dmitry Korchemny File Added: LetConstruct1728 061108_dk.doc
2008-06-17 05:24 Dmitry Korchemny File Added: LetConstruct1728 061108_dk.pdf
2008-06-17 10:13 Dmitry Korchemny File Deleted: LetConstruct1728 061108_dk.doc
2008-06-17 10:13 Dmitry Korchemny File Deleted: LetConstruct1728 061108_dk.pdf
2008-06-17 10:14 Dmitry Korchemny File Added: LetConstruct1728 061108_dk.doc
2008-06-17 10:14 Dmitry Korchemny File Added: LetConstruct1728 061108_dk.pdf
2008-06-17 11:26 Dmitry Korchemny Relationship added related to 0002413
2008-07-01 01:18 Dmitry Korchemny File Deleted: LetConstruct1728 051608_dk.doc
2008-07-01 01:19 Dmitry Korchemny File Deleted: LetConstruct1728 051608_dk.pdf
2008-07-01 01:23 Dmitry Korchemny File Added: LetConstruct1728 080107_dk.doc
2008-07-01 01:24 Dmitry Korchemny File Added: LetConstruct1728 080107_dk.pdf
2008-07-06 04:16 Dmitry Korchemny File Added: LetConstruct1728 080706_dk.doc
2008-07-06 04:17 Dmitry Korchemny File Added: LetConstruct1728 080706_dk.pdf
2008-07-06 04:17 Dmitry Korchemny File Deleted: LetConstruct1728 060308_dk.doc
2008-07-06 04:17 Dmitry Korchemny File Deleted: LetConstruct1728 060308_dk.pdf
2008-07-07 14:31 Erik_Seligman File Added: concurrent_procedural_es080707.doc
2008-07-07 14:31 Erik_Seligman File Deleted: concurrent_procedural_es080707.doc
2008-07-09 01:53 Dmitry Korchemny File Deleted: LetConstruct1728 061108_dk.doc
2008-07-09 01:53 Dmitry Korchemny File Deleted: LetConstruct1728 061108_dk.pdf
2008-07-09 01:55 Dmitry Korchemny File Added: LetConstruct1728 080709_dk.doc
2008-07-09 01:55 Dmitry Korchemny File Added: LetConstruct1728 080709_dk.pdf
2008-07-16 13:41 Erik_Seligman Note Added: 0007228
2008-07-16 13:41 Erik_Seligman Status feedback => resolved
2008-07-16 13:41 Erik_Seligman Resolution reopened => fixed
2008-07-24 21:20 Dmitry Korchemny File Added: LetConstruct1728 080724_dk.doc
2008-07-24 21:20 Dmitry Korchemny File Added: LetConstruct1728 080724_dk.pdf
2008-07-24 21:20 Dmitry Korchemny File Deleted: LetConstruct1728 080107_dk.doc
2008-07-24 21:21 Dmitry Korchemny File Deleted: LetConstruct1728 080107_dk.pdf
2008-07-24 21:21 Dmitry Korchemny File Deleted: LetConstruct1728 080706_dk.doc
2008-07-24 21:21 Dmitry Korchemny File Deleted: LetConstruct1728 080706_dk.pdf
2008-07-24 21:22 Dmitry Korchemny Note Edited: 0007228
2008-07-25 06:31 Dmitry Korchemny File Added: LetConstruct1728 080725_dk.doc
2008-07-25 06:32 Dmitry Korchemny File Added: LetConstruct1728 080725_dk.pdf
2008-07-25 15:02 Neil Korpusik Note Added: 0007266
2008-07-25 15:02 Neil Korpusik Status resolved => feedback
2008-08-01 11:22 Erik_Seligman Note Added: 0007273
2008-08-01 11:22 Erik_Seligman Status feedback => resolved
2008-08-01 11:22 Erik_Seligman Fixed in Version => 1800-2009
2008-08-04 22:25 Dmitry Korchemny File Deleted: LetConstruct1728 080709_dk.doc
2008-08-04 22:26 Dmitry Korchemny File Deleted: LetConstruct1728 080709_dk.pdf
2008-08-04 22:28 Dmitry Korchemny File Added: LetConstruct1728 080804_dk.doc
2008-08-04 22:29 Dmitry Korchemny File Added: LetConstruct1728 080804_dk.pdf
2008-08-05 09:30 Erik_Seligman Status resolved => feedback
2008-08-05 09:30 Erik_Seligman Resolution fixed => reopened
2008-08-05 09:32 Erik_Seligman Note Added: 0007294
2008-08-05 09:32 Erik_Seligman Status feedback => resolved
2008-08-05 09:32 Erik_Seligman Resolution reopened => fixed
2008-08-18 16:45 Neil Korpusik Note Added: 0007344
2008-08-18 18:32 Neil Korpusik Note Added: 0007369
2008-08-18 18:32 Neil Korpusik Status resolved => approved
2008-09-04 20:33 Stuart Sutherland Status approved => completed
2008-09-04 20:33 Stuart Sutherland Fixed in Version 1800-2009 => P1800-2009/D7
2008-09-04 20:33 Stuart Sutherland Note Added: 0007464
2008-09-17 23:35 Manisha_Kulshrestha Note Added: 0007531
2008-09-17 23:35 Manisha_Kulshrestha Status completed => editor
2008-09-17 23:36 Manisha_Kulshrestha Note Edited: 0007531
2008-09-24 03:43 Dmitry Korchemny Note Added: 0007549
2008-09-24 03:46 Dmitry Korchemny Note Edited: 0007531
2008-10-01 19:12 Stuart Sutherland Status editor => completed
2008-10-01 19:12 Stuart Sutherland Note Added: 0007568
2008-11-05 01:55 Dmitry Korchemny Note Added: 0007699
2008-11-05 01:55 Dmitry Korchemny Status completed => editor
2008-11-05 02:11 shalom Note Added: 0007700
2008-12-02 21:21 Stuart Sutherland Status editor => completed
2008-12-02 21:21 Stuart Sutherland Fixed in Version P1800-2009/D7 => P1800-2009 Ballot
2008-12-02 21:21 Stuart Sutherland Note Added: 0007712
2008-12-19 17:51 Neil Korpusik Status completed => closed
2008-12-19 17:51 Neil Korpusik Note Added: 0007786
2010-04-28 19:38 shalom Relationship added related to 0000696

Mantis 1.1.7[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker