[Libre-soc-bugs] [Bug 840] Formal proofs and unit tests for cryptoprimitives

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=840

Luke Kenneth Casson Leighton <lkcl at lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|andy.miroshnikov at gmail.com, |
                   |toshaan at vantosh.com         |
       The table of|                            |jacob=4000
  payments (in EUR)|                            |lkcl=3750
     for this task;|                            |
        TOML format|                            |

--- Comment #2 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
jacob you put the foral proofs for the work you just did under the wrong bug.
can you please put the notes you added recently copied under THIS bug
which is specifically for Formal Proofs.

-- 
You are receiving this mail because:
You are on the CC list for the bug.