Michael Walter catch22

catch22 pushed to master at catch22/pw
@catch22
  • @catch22 8c4adfb
    Pypy does not refcount. Fixed code and reenabled test.
catch22 pushed to master at catch22/pw
@catch22
  • @catch22 257d4c4
    Pypy does not refcount. Fixed code and reenabled test.
catch22 pushed to master at catch22/pw
@catch22
  • @catch22 125cb32
    Disable pypy, since it does not play well with the pw --edit test.
catch22 pushed to master at catch22/pw
@catch22
  • @catch22 ed97da7
    Fixed add_a_line.py some more
catch22 pushed to master at catch22/pw
@catch22
  • @catch22 e204720
    Fixed add_a_line.py some more
catch22 pushed to master at catch22/pw
@catch22
  • @catch22 5af2802
    Fixed add_a_line.py some more
catch22 pushed to master at catch22/pw
@catch22
  • @catch22 a0d65f6
    Fixed add_a_line.py some more
catch22 pushed to master at catch22/pw
@catch22
  • @catch22 d9915d8
    No more hardcoded interpreter name.
catch22 pushed to master at catch22/pw
@catch22
catch22 pushed to master at catch22/pw
@catch22
catch22 pushed to master at catch22/pw
@catch22
  • @catch22 1fbcb87
    Now constructing absolute path to database.
catch22 pushed to master at catch22/pw
@catch22
@catch22
  • @catch22 5329cea
    Rename test_provers.cpp to test_prover.cpp.
@catch22
  • @catch22 eb31bbc
    Default configuration is now 'debug' instead of 'debug-simple'.
@catch22
@catch22
  • @catch22 334e0d2
    Made example more pretty.
@catch22
  • @catch22 a207338
    Made example more pretty.
@catch22
@catch22
@catch22
@catch22
@catch22
@catch22
@catch22
@catch22
@catch22
catch22 created branch master at catch22/contractor
catch22 created repository catch22/contractor