Leonardo Taglialegne
miniBill

Jul 24, 2016
@miniBill
Jul 24, 2016
@miniBill
  • @miniBill c9dfcd5
    Added a proof outline for monad correctness
Jul 24, 2016
@miniBill
  • @miniBill 31dcae4
    CircTree is working, now on to transformations
Jul 24, 2016
@miniBill
Jul 23, 2016
@miniBill
Jul 20, 2016
miniBill commented on pull request ansible/ansible-modules-extras#2518
@miniBill

What's the status of this PR?

Jul 20, 2016
@miniBill
  • @miniBill 73a988e
    Preparing for the big rewrite
Jul 19, 2016
@miniBill
Jul 17, 2016
@miniBill
  • @miniBill fc765a3
    Move installation task to separate dir
Jul 17, 2016
@miniBill
  • @miniBill 689282a
    Cleanup after quipper cabalization
Jul 17, 2016
@miniBill
  • @miniBill 8ca760c
    Removing quipper, getting it from cabal
Jul 16, 2016
@miniBill
Jul 13, 2016
@miniBill
  • @miniBill 2227af3
    Improvement in recursive circuit translation
Jul 10, 2016
@miniBill
  • @miniBill ed5d793
    Use wget only for retrieving the stage3 tarball
Jul 7, 2016
@miniBill
Create System.Runtime.xml
Jul 7, 2016
miniBill commented on pull request miniBill/resharper-annotations#1
@miniBill

Bump

Jul 7, 2016
miniBill opened pull request stellar/stellar-core#1048
@miniBill
Fix broken link
1 commit with 1 addition and 1 deletion
Jul 7, 2016
@miniBill
Jul 7, 2016
miniBill opened pull request stellar/horizon#290
@miniBill
Fix broken link
1 commit with 1 addition and 1 deletion
Jul 7, 2016
@miniBill
Jul 7, 2016
Jul 6, 2016
@miniBill
Jul 5, 2016
@miniBill
  • @miniBill 9cad3b9
    Add stub for recursive check
Jul 3, 2016
@miniBill
  • @miniBill e933ce8
    resolv.conf is a static file
Jul 3, 2016
@miniBill
  • @miniBill 8aa500b
    Add resolv.conf from template files
Jul 3, 2016
@miniBill
  • @miniBill e3f92f9
    Reorganizing role into separate directory
Jun 16, 2016
@miniBill
Jun 16, 2016