Lab46 Wiki

User Tools

Site Tools

You are here: start » haas » fall2017 » cprog » projects » pnc1
haas:fall2017:cprog:projects:pnc1

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
haas:fall2017:cprog:projects:pnc1 [2017/10/15 21:11] – [Programs] wedgehaas:fall2017:cprog:projects:pnc1 [2017/10/15 21:27] (current) – [Full Verification Compliance] wedge
Line 499: Line 499:
  
 ====check qty==== ====check qty====
-For instance (running on my implementation of the pnc1 programs, some output omitted to keep the surprise alive):+For instance (running on my implementation of the pnc1 programs):
  
 <cli> <cli>
 lab46:~/src/cprog/pnc1$ make checkqty lab46:~/src/cprog/pnc1$ make checkqty
-================= +========================================================= 
-      qty     reg +      qty     reg    regm    rego    regb    regs    rega 
-================= +========================================================= 
-       32  0.0002 +       32  0.0001  0.0001  0.0001  0.0001  0.0001  0.0001 
-       64  0.0006 +       64  0.0003  0.0001  0.0001  0.0001  0.0001  0.0001 
-      128  0.0028 +      128  0.0012  0.0004  0.0003  0.0002  0.0001  0.0001 
-      256  0.0123 +      256  0.0057  0.0020  0.0014  0.0009  0.0003  0.0003 
-      512  0.0574 +      512  0.0278  0.0098  0.0066  0.0038  0.0009  0.0009 
-     1024  0.2690 +     1024  0.1348  0.0476  0.0318  0.0166  0.0025  0.0025 
-... +     2048  0.6416  0.2317  0.1510  0.0727  0.0073  0.0073 
-   262144  ------ +     4096  3.0281  1.0707  0.7096  0.3144  0.0218  0.0217 
-================= +     8192  ------  ------  3.2926  1.3627  0.0649  0.0649 
- verify:     OK   +    16384  ------  ------  ------  ------  0.1955  0.1954 
-=================+    32768  ------  ------  ------  ------  0.5910  0.5905 
 +    65536  ------  ------  ------  ------  1.7891  1.7864 
 +   131072  ------  ------  ------  ------  ------  ------ 
 +========================================================= 
 + verify:     OK      OK      OK      OK      OK      OK 
 +=========================================================
 lab46:~/src/cprog/pnc1$  lab46:~/src/cprog/pnc1$ 
 </cli> </cli>
Line 525: Line 530:
 <cli> <cli>
 lab46:~/src/cprog/pnc1$ make checkrange lab46:~/src/cprog/pnc1$ make checkrange
-================= +========================================================= 
-    range     reg +    range     reg    regm    rego    regb    regs    rega 
-================= +========================================================= 
-       32  0.0001 +       32  0.0001  0.0000  0.0000  0.0000  0.0001  0.0000 
-       64  0.0001 +       64  0.0001  0.0001  0.0000  0.0000  0.0000  0.0000 
-      128  0.0002 +      128  0.0001  0.0001  0.0001  0.0001  0.0001  0.0001 
-      256  0.0004 +      256  0.0002  0.0001  0.0001  0.0001  0.0001  0.0001 
-      512  0.0015 +      512  0.0006  0.0003  0.0002  0.0002  0.0001  0.0001 
-     1024  0.0053 +     1024  0.0023  0.0008  0.0006  0.0004  0.0002  0.0002 
-     2048  0.0191 +     2048  0.0088  0.0032  0.0021  0.0013  0.0004  0.0004 
-     4096  0.0709 +     4096  0.0344  0.0125  0.0082  0.0047  0.0010  0.0010 
-     8192  0.2712 +     8192  0.1358  0.0495  0.0322  0.0167  0.0025  0.0025 
-... +    16384  0.5402  0.1968  0.1270  0.0616  0.0065  0.0065 
-  2097152  ------ +    32768  2.1530  0.7857  0.5050  0.2271  0.0170  0.0171 
-================= +    65536  ------  3.1395  2.0088  0.8468  0.0454  0.0455 
- verify:     OK  +   131072  ------  ------  ------  3.1817  0.1230  0.1230 
-=================+   262144  ------  ------  ------  ------  0.3359  0.3359 
 +   524288  ------  ------  ------  ------  0.9245  0.9240 
 +  1048576  ------  ------  ------  ------  2.5601  2.5585 
 +  2097152  ------  ------  ------  ------  ------  ------ 
 +========================================================= 
 + verify:     OK      OK      OK      OK      OK      OK 
 +=========================================================
 lab46:~/src/cprog/pnc1$  lab46:~/src/cprog/pnc1$ 
 </cli> </cli>
Line 557: Line 568:
 <cli> <cli>
 lab46:~/src/cprog/pnc1$ make verifyall lab46:~/src/cprog/pnc1$ make verifyall
-================= +========================================================= 
-              reg +              reg    regm    rego    regb    regs    rega 
-================= +========================================================= 
- qtynorm:    OK   + qtynorm:    OK      OK      OK      OK      OK      OK 
- qtypart:    OK   + qtypart:    OK      OK      OK      OK      OK      OK 
- rngnorm:    OK   + rngnorm:    OK      OK      OK      OK      OK      OK 
- rngpart:    OK   + rngpart:    OK      OK      OK      OK      OK      OK 
-    coop:    OK   +    coop:    OK      OK      OK      OK      OK      OK 
-   coop2:    OK   +   coop2:    OK      OK      OK      OK      OK      OK 
-   coop3:    OK   +   coop3:    OK      OK      OK      OK      OK      OK 
-  noargs:    OK   +  noargs:    OK      OK      OK      OK      OK      OK 
- invargs:    OK   + invargs:    OK      OK      OK      OK      OK      OK 
-  invqty:    OK   +  invqty:    OK      OK      OK      OK      OK      OK 
- invnary:    OK   + invnary:    OK      OK      OK      OK      OK      OK 
-  invlow:    OK   +  invlow:    OK      OK      OK      OK      OK      OK 
- invhigh:    OK   + invhigh:    OK      OK      OK      OK      OK      OK 
-=================+=========================================================
 lab46:~/src/cprog/pnc1$  lab46:~/src/cprog/pnc1$ 
 </cli> </cli>
haas/fall2017/cprog/projects/pnc1.1508101913.txt.gz · Last modified: 2017/10/15 21:11 by wedge

Page Tools

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki