Commits

Commit history

1. Commits on Aug 8, 2015

   • Fixed build + removed warnings

     catalin-hritcu

     committed
     29cc71eView commit details

     Copy full SHA for 29cc71e

     Browse repository at this point
2. Commits on Jul 22, 2015

   • Fixed incompleteness in variation for stack frames

     Show description for eb09ca9
     catalin-hritcu

     committed
     eb09ca9View commit details

     Copy full SHA for eb09ca9

     Browse repository at this point

   • Reviewing Haskell code and fixing some bugs:

     Show description for 63ad8d6
     catalin-hritcu

     committed
     63ad8d6View commit details

     Copy full SHA for 63ad8d6

     Browse repository at this point
3. Commits on Jul 21, 2015

   • Marking mistake in indistinguishability of stack frames

     catalin-hritcu

     committed
     df2a7a5View commit details

     Copy full SHA for df2a7a5

     Browse repository at this point
4. Commits on Sep 12, 2014

   • Removed binaries (sorry)

     catalin-hritcu

     committed
     7944947View commit details

     Copy full SHA for 7944947

     Browse repository at this point

   • Renamed basic to stack and extended to register

     catalin-hritcu

     committed
     3d5ea0aView commit details

     Copy full SHA for 3d5ea0a

     Browse repository at this point

   • About to rename the two machine dirs

     catalin-hritcu

     committed
     8229bd5View commit details

     Copy full SHA for 8229bd5

     Browse repository at this point

   • Almost there

     catalin-hritcu

     committed
     f4aabf6View commit details

     Copy full SHA for f4aabf6

     Browse repository at this point

   • Enough is enough

     catalin-hritcu

     committed
     8b0a80dView commit details

     Copy full SHA for 8b0a80d

     Browse repository at this point

   • Are we there yet?

     catalin-hritcu

     committed
     0ce77fbView commit details

     Copy full SHA for 0ce77fb

     Browse repository at this point

   • Let's say that editing markdown in emacs is suboptimal

     Show description for d419621
     catalin-hritcu

     committed
     d419621View commit details

     Copy full SHA for d419621

     Browse repository at this point

   • Even more markdown

     catalin-hritcu

     committed
     e8c3b63View commit details

     Copy full SHA for e8c3b63

     Browse repository at this point

   • More markdown

     catalin-hritcu

     committed
     b357a68View commit details

     Copy full SHA for b357a68

     Browse repository at this point

   • Working on README markdown

     Show description for 305d425
     catalin-hritcu

     committed
     305d425View commit details

     Copy full SHA for 305d425

     Browse repository at this point

   • Did I just conflict with myself? :)

     catalin-hritcu

     committed
     9195d74View commit details

     Copy full SHA for 9195d74

     Browse repository at this point

   • Working on README markdown

     catalin-hritcu

     committed
     275b540View commit details

     Copy full SHA for 275b540

     Browse repository at this point

   • There can be only one (README)

     catalin-hritcu

     committed
     c49a693View commit details

     Copy full SHA for c49a693

     Browse repository at this point
5. Commits on Sep 11, 2014

   • Added MIT license

     catalin-hritcu

     committed
     9c98374View commit details

     Copy full SHA for 9c98374

     Browse repository at this point
6. Commits on Sep 4, 2014

   • README

     catalin-hritcu

     committed
     8e9abddView commit details

     Copy full SHA for 8e9abdd

     Browse repository at this point

   • (Final?) proposed version of indistinguishability relation

     Show description for 8ce3416
     

     llamp

     authored and

     maximedenes

     committed
     8ce3416View commit details

     Copy full SHA for 8ce3416

     Browse repository at this point

   • Fixed EENI_Weak generation

     Show description for 7e7a0a4
     

     llamp

     authored and

     maximedenes

     committed
     7e7a0a4View commit details

     Copy full SHA for 7e7a0a4

     Browse repository at this point

   • Made indistinguishability stronger to push SSNI through

     Show description for 8dab3d5
     

     llamp

     authored and

     maximedenes

     committed
     8dab3d5View commit details

     Copy full SHA for 8dab3d5

     Browse repository at this point

   • Weak EENI finds NOTHING in 1 sec... :)

     Show description for 697bf62
     

     llamp

     authored and

     maximedenes

     committed
     697bf62View commit details

     Copy full SHA for 697bf62

     Browse repository at this point

   • Pushed fix in Low End rule to implementation

     Show description for 080afbd
     

     hritcu

     authored and

     maximedenes

     committed
     080afbdView commit details

     Copy full SHA for 080afbd

     Browse repository at this point

   • Made table use instruction opcodes from the paper

     Show description for 291ad5e
     

     hritcu

     authored and

     maximedenes

     committed
     291ad5eView commit details

     Copy full SHA for 291ad5e

     Browse repository at this point

   • a lot of trial and error to get mutants to display in the order instructions are introduced in the paper

     Show description for 03a9f28
     

     hritcu

     authored and

     maximedenes

     committed
     03a9f28View commit details

     Copy full SHA for 03a9f28

     Browse repository at this point

   • Fixed some bugs in the table printing.

     Show description for f5f65a8
     

     antal

     authored and

     maximedenes

     committed
     f5f65a8View commit details

     Copy full SHA for f5f65a8

     Browse repository at this point

   • Fancy giant table generation.

     Show description for 13af73c
     

     antal

     authored and

     maximedenes

     committed
     13af73cView commit details

     Copy full SHA for 13af73c

     Browse repository at this point

   • something that I think captures the Haskell variant of call stack indistinguishability

     Show description for 0b6b5c6
     

     hritcu

     authored and

     maximedenes

     committed
     0b6b5c6View commit details

     Copy full SHA for 0b6b5c6

     Browse repository at this point

   • cp

     Show description for 69b34d8
     

     hritcu

     authored and

     maximedenes

     committed
     69b34d8View commit details

     Copy full SHA for 69b34d8

     Browse repository at this point

   • Fixed AM-GM bug :)

     Show description for 280b586
     

     llamp

     authored and

     maximedenes

     committed
     280b586View commit details

     Copy full SHA for 280b586

     Browse repository at this point

   • Added equality and fixed generation of BinOps

     Show description for d9629ed
     

     hritcu

     authored and

     maximedenes

     committed
     d9629edView commit details

     Copy full SHA for d9629ed

     Browse repository at this point

   • Replacing uses of implicit parameters with unsafe references to make GHC 7.8 happy.

     Show description for 4df3590
     

     dimitris

     authored and

     maximedenes

     committed
     4df3590View commit details

     Copy full SHA for 4df3590

     Browse repository at this point

   • further simplification of update rule

     Show description for 78b460f
     

     hritcu

     authored and

     maximedenes

     committed
     78b460fView commit details

     Copy full SHA for 78b460f

     Browse repository at this point

   • Added Update instruction, although I think I'll be able to encode this in terms of the other instructions it will be a very complex encoding

     Show description for 5ea28b0
     

     hritcu

     authored and

     maximedenes

     committed
     5ea28b0View commit details

     Copy full SHA for 5ea28b0

     Browse repository at this point