Wed, 15 Dec 2010 12:34:53 +0100 |
Sigurd Meldgaard |
Updated paper
default tip
|
Wed, 15 Dec 2010 12:03:21 +0100 |
Sigurd Meldgaard |
Added a test for proof burdens generated from while-loops
|
Tue, 20 Jul 2010 14:54:28 +0200 |
Sigurd Meldgaard |
test_runtime_sugar: got coverage to 100%
|
Tue, 20 Jul 2010 14:53:36 +0200 |
Sigurd Meldgaard |
runtime_sugar: remember to visit subexpressions of a return
|
Tue, 20 Jul 2010 14:52:53 +0200 |
Sigurd Meldgaard |
secret_ifs: removed dead code
|
Tue, 20 Jul 2010 11:00:37 +0200 |
Sigurd Meldgaard |
proof_burden_test: Added another test case
|
Mon, 19 Jul 2010 16:37:07 +0200 |
Sigurd Meldgaard |
test of proof_burden: remove some print-statments
|
Mon, 19 Jul 2010 16:35:33 +0200 |
Sigurd Meldgaard |
proof_burden: combine function
|
Mon, 19 Jul 2010 16:07:07 +0200 |
Sigurd Meldgaard |
dot graph labels should be escaped
|
Mon, 19 Jul 2010 15:21:57 +0200 |
Sigurd Meldgaard |
Changed name of helper functions to hide from nose
|
Mon, 19 Jul 2010 15:12:50 +0200 |
Sigurd Meldgaard |
Ignore all that junk from nosetests
|
Mon, 19 Jul 2010 15:11:56 +0200 |
Sigurd Meldgaard |
Changed name of setup.py to be compatible with nosetests
|
Wed, 07 Jul 2010 16:28:23 +0200 |
Sigurd Meldgaard |
flow.py: no longer using distribute, it was a flawed concept
|
Wed, 07 Jul 2010 16:11:11 +0200 |
Sigurd Meldgaard |
proof_burden: now proof-burdens are flow-dependent
|
Wed, 07 Jul 2010 14:33:30 +0200 |
Sigurd Meldgaard |
range_analysis: use keyword parameter for flow.analyze
|
Wed, 07 Jul 2010 13:22:52 +0200 |
Sigurd Meldgaard |
test_proof_burden: make some basic tests af the proof_burden functionality
|
Wed, 07 Jul 2010 13:22:22 +0200 |
Sigurd Meldgaard |
proof_burden: use an output parameter to print to
|
Wed, 07 Jul 2010 11:42:23 +0200 |
Sigurd Meldgaard |
flow.py: added a parameter for going backwards
|
Wed, 07 Jul 2010 11:38:40 +0200 |
Sigurd Meldgaard |
flow.py: pycheck corrections of style
|
Wed, 07 Jul 2010 11:35:52 +0200 |
Sigurd Meldgaard |
Explained the distribute parameter
|
Wed, 07 Jul 2010 11:15:02 +0200 |
Sigurd Meldgaard |
Revived the use of custom distribute function
|
Wed, 07 Jul 2010 11:14:30 +0200 |
Sigurd Meldgaard |
Corrected grouping of ifs
|
Wed, 07 Jul 2010 11:08:06 +0200 |
Sigurd Meldgaard |
Explained my cryptic code
|
Wed, 07 Jul 2010 10:47:20 +0200 |
Sigurd Meldgaard |
Removed debug print statements
|
Tue, 06 Jul 2010 16:13:07 +0200 |
Sigurd Meldgaard |
flow: Made the dot-graph generation deterministic
|
Mon, 05 Jul 2010 15:12:42 +0200 |
Sigurd Meldgaard |
The random input should not be the default
|
Mon, 05 Jul 2010 12:55:23 +0200 |
Sigurd Meldgaard |
Some corrections, paper is though now moved to an svn repo
|
Mon, 05 Jul 2010 12:45:16 +0200 |
Sigurd Meldgaard |
Now we handle random and random_bit as we claim
|
Wed, 30 Jun 2010 13:23:39 +0200 |
Sigurd Meldgaard |
More paper
|
Mon, 28 Jun 2010 11:06:14 +0200 |
Sigurd Meldgaard |
Renamed article
|