Thomas M. DuBuisson TomMD

Organizations

@GaloisInc
TomMD commented on issue GaloisInc/cryptol#227
@TomMD

Main> :set prover=abc Main> :prove broken broken [0x1067192e, 0x60a14349, 0x5a4f6d0d, 0x11a9403e, 0x97a7d755, 0xa1586592, 0xf1b1a7cb, 0x2a461e65, 0…

@TomMD
False SAT with ABC
TomMD commented on issue LeventErkok/sbv#173
@TomMD

Thank you Levent. The new issue for interested parties: https://bitbucket.org/alanmi/abc/issue/35/smt-lib-reader-regression

TomMD opened issue LeventErkok/sbv#173
@TomMD
SBV produces output unparsable by ABC
@TomMD
Can not eta-reduce `property foo x`
@TomMD
Type checker does terminate for ITE
@TomMD
:check overstates search space
TomMD commented on issue GaloisInc/cryptol#216
@TomMD

Ah, I should have updated this ticket a little after talking to yav yesterday: There is now read support as part of the pull request (#220), see 8…

@TomMD
@TomMD
TomMD opened pull request GaloisInc/cryptol#220
@TomMD
Add a ':write' command
1 commit with 31 additions and 1 deletion
@TomMD
  • @TomMD a1f47ba
    Add a ':write' command and ':set outputFile'
@TomMD
  • @TomMD 47ca964
    Add a ':write' command and ':set outputFile'
TomMD commented on issue GaloisInc/cryptol#216
@TomMD

As a matter of update: You can observe VSeq [VSeq [VBit .. but a pack function exists to tranform the inner seq to VWord. There is no resistance t…

TomMD closed issue TomMD/FixedPoint#1
@TomMD
[help] Isn't Odd Big Word an instance of Num?
TomMD commented on issue TomMD/FixedPoint#1
@TomMD

Happy to help.

TomMD commented on issue TomMD/FixedPoint#1
@TomMD

I've never heard of OddWord, but it appears you could just add a FiniteBits instance for OddWord Word8 (One ()). This will probably require some CP…

TomMD opened pull request kaepora/miniLock#184
@TomMD
Blake2 implies blake2b - be more explicit
1 commit with 4 additions and 4 deletions
TomMD commented on issue GaloisInc/cryptol#216
@TomMD

@acfoltzer Sure. I was working on a file encapsulation format and even a bare hand-full of times is too much for copy and pasting an expression int…

TomMD created branch writeFile at TomMD/cryptol
TomMD closed pull request TomMD/entropy#26
@TomMD
Update entropy.cabal
TomMD commented on pull request TomMD/entropy#26
@TomMD

Changing to Simple has the negative impact of disabling compile-time tooling detection. I suggest fixing any cabal issues on a case by case basis. …

TomMD closed pull request TomMD/entropy#20
@TomMD
Switch to using build-type Configure instead of Custom.
@TomMD
@TomMD
@TomMD
TomMD commented on pull request TomMD/network-data#6
@TomMD

Thanks!

@TomMD
TomMD merged pull request TomMD/network-data#6
@TomMD
Removed prettyclass dependency
1 commit with 11 additions and 8 deletions
@TomMD

Sorry about that, but in that topic: shouldn't the loss of a single packet, even the very first packet, be easy to recover from? Honestly I'm surpr…