• Robert Griesemer's avatar
    closing a TODO: · 9dfb2ea7
    Robert Griesemer authored
    - define integer overflow as wrap-around
    - be more specific about machine representation
    
    DELTA=54  (34 added, 7 deleted, 13 changed)
    OCL=20870
    CL=21070
    9dfb2ea7
Name
Last commit
Last update
..
progs Loading commit data...
candl.txt Loading commit data...
go_spec.txt Loading commit data...
go_tutorial.txt Loading commit data...
prog.sh Loading commit data...