Mercurial > pysmcl
graph
-
ast_wrapper: fixed bug when no ancestor is foundWed, 16 Dec 2009 15:26:16 +0100, by Sigurd Meldgaard
-
Updated eclipse plugin to distinguish between errors and info.Wed, 16 Dec 2009 15:25:01 +0100, by Sigurd Meldgaard
-
util: errors are printed to be read by the eclipse pluginWed, 16 Dec 2009 15:21:17 +0100, by Sigurd Meldgaard
-
editor_info: use if_rewritesWed, 16 Dec 2009 15:20:37 +0100, by Sigurd Meldgaard
-
range_analysis: accept printsWed, 16 Dec 2009 15:20:06 +0100, by Sigurd Meldgaard
-
secret_if: allow pass in if-statementsWed, 16 Dec 2009 14:45:58 +0100, by Sigurd Meldgaard
-
secret_if: better error messagesWed, 16 Dec 2009 14:44:37 +0100, by Sigurd Meldgaard
-
range_analysis: handling pass statementsWed, 16 Dec 2009 14:29:37 +0100, by Sigurd Meldgaard
-
pretty_print: added print of void-returnsWed, 16 Dec 2009 14:28:57 +0100, by Sigurd Meldgaard
-
pretty_print: added litteral listsWed, 16 Dec 2009 14:28:22 +0100, by Sigurd Meldgaard
-
test_secret_if: updated to allow ranges to be checked.Wed, 16 Dec 2009 12:53:09 +0100, by Sigurd Meldgaard
-
secret_ifs: now checks that the range matches before doing rewrite.Wed, 16 Dec 2009 12:51:47 +0100, by Sigurd Meldgaard
-
Reformulate error messageWed, 16 Dec 2009 11:38:44 +0100, by Sigurd Meldgaard
-
ideal_functionality: don't print debug statements, remember secret_functions.Mon, 14 Dec 2009 15:27:08 +0100, by Sigurd Meldgaard
-
runtime_sugar: do not override argumentsMon, 14 Dec 2009 15:25:56 +0100, by Sigurd Meldgaard
-
secret_annotator: changed name of default functions.Mon, 14 Dec 2009 15:24:53 +0100, by Sigurd Meldgaard
-
secret_annotator: returns_secret.Mon, 14 Dec 2009 15:23:52 +0100, by Sigurd Meldgaard
-
runpysmcl: first version.Mon, 14 Dec 2009 11:42:53 +0100, by Sigurd Meldgaard
-
pretty_print: corrected printing of ast.AttributesMon, 14 Dec 2009 10:29:11 +0100, by Sigurd Meldgaard
-
ideal functionality: now uses inlineCallbacksMon, 14 Dec 2009 10:27:42 +0100, by Sigurd Meldgaard
-
runtime_sugar: fix of stupid bugsMon, 14 Dec 2009 10:26:14 +0100, by Sigurd Meldgaard
-
test: testing the rewriting of return to returnValueFri, 11 Dec 2009 11:34:07 +0100, by Sigurd Meldgaard
-
runtime_sugar: return statements are rewritten to returnValueFri, 11 Dec 2009 11:31:16 +0100, by Sigurd Meldgaard
-
runtime_sugar: corrected stupness.Fri, 11 Dec 2009 10:47:03 +0100, by Sigurd Meldgaard
-
test: test of sugar, corrected expected outputFri, 11 Dec 2009 10:46:09 +0100, by Sigurd Meldgaard
-
tests: cleaned away print statementsFri, 11 Dec 2009 10:42:50 +0100, by Sigurd Meldgaard
-
sugar: openings (output) is now yielded.Fri, 11 Dec 2009 10:37:46 +0100, by Sigurd Meldgaard
-
runtime_sugar: first approximationWed, 09 Dec 2009 12:52:40 +0100, by Sigurd Meldgaard
-
test: Made test of the syntactic sugar we want to introduce.Wed, 09 Dec 2009 12:48:05 +0100, by Sigurd Meldgaard
-
pretty_print: now handles attributes.Wed, 09 Dec 2009 12:44:50 +0100, by Sigurd Meldgaard
-
secret_if: new test/Mon, 07 Dec 2009 16:30:04 +0100, by Sigurd Meldgaard
-
refactor: organized importsMon, 07 Dec 2009 15:30:38 +0100, by Sigurd Meldgaard
-
secret_ifs: updated tests.Mon, 07 Dec 2009 14:20:56 +0100, by Sigurd Meldgaard
-
secret_ifs: improved handling of secret ifs.Mon, 07 Dec 2009 14:20:15 +0100, by Sigurd Meldgaard
-
secret_annotator: now secret_expr can find a default set of secret vars.Fri, 04 Dec 2009 11:25:07 +0100, by Sigurd Meldgaard
-
tests: Now using string-versions for outputting.Fri, 04 Dec 2009 10:51:30 +0100, by Sigurd Meldgaard
-
graph: todot now has a string version.Fri, 04 Dec 2009 10:49:58 +0100, by Sigurd Meldgaard
-
pprint: Now we have a function for pretty printing directly to stringsFri, 04 Dec 2009 10:42:39 +0100, by Sigurd Meldgaard
-
example: corrected spelling in comment.Thu, 03 Dec 2009 15:13:46 +0100, by Sigurd Meldgaard
-
editor_info: Now outputs info in a new format.Thu, 03 Dec 2009 14:55:06 +0100, by Sigurd Meldgaard
-
Range analysis has its own distribute.Thu, 03 Dec 2009 14:52:17 +0100, by Sigurd Meldgaard
-
example: The while loop example uses new ideal functionalityThu, 03 Dec 2009 14:50:37 +0100, by Sigurd Meldgaard
-
Flow: the flow analysis now takes an (optional) auxillary function distributeThu, 03 Dec 2009 14:49:20 +0100, by Sigurd Meldgaard
-
secret annotator bug-fix.Thu, 03 Dec 2009 14:47:43 +0100, by Sigurd Meldgaard
-
Ideal functionality decorator now takes argumentsThu, 03 Dec 2009 14:46:24 +0100, by Sigurd Meldgaard
-
Moved getVirtualFunctionality to astMon, 23 Nov 2009 14:56:01 +0100, by Sigurd Meldgaard
-
Eclipse plugin understands ranges and secret valuesMon, 23 Nov 2009 11:26:33 +0100, by Sigurd Meldgaard
-
Updated eclipse plugin to use the neq locationMon, 23 Nov 2009 11:24:09 +0100, by Sigurd Meldgaard
-
Updates for editor_infoMon, 23 Nov 2009 10:58:49 +0100, by Sigurd Meldgaard
-
Info: movedMon, 09 Nov 2009 10:49:45 +0100, by Sigurd Meldgaard
-
Range analysis: bug-fix in error messageMon, 09 Nov 2009 10:48:21 +0100, by Sigurd Meldgaard
-
prettyprint: preliminary printing of importsMon, 09 Nov 2009 10:10:49 +0100, by Sigurd Meldgaard
-
Test: made a test more meaningfulMon, 09 Nov 2009 10:09:35 +0100, by Sigurd Meldgaard
-
flow: bug_fixWed, 04 Nov 2009 14:54:05 +0100, by Sigurd Meldgaard
-
secret_annotator: improved handling of function callsWed, 04 Nov 2009 14:53:04 +0100, by Sigurd Meldgaard
-
Removed the invariant from while-loop.pyWed, 04 Nov 2009 14:50:54 +0100, by Sigurd Meldgaard
-
Range analysis handles Expression-statementsWed, 04 Nov 2009 14:28:59 +0100, by Sigurd Meldgaard
-
Range analysis for rounded divisionWed, 04 Nov 2009 10:53:23 +0100, by Sigurd Meldgaard
-
ast: Added parent pointers to ast nodes via a wrapper of ast.Mon, 02 Nov 2009 12:02:08 +0100, by Sigurd Meldgaard
-
flow: Fixed major error in the work-list implementationMon, 02 Nov 2009 11:33:30 +0100, by Sigurd Meldgaard