Mercurial > pysmcl
graph
-
editor_info: runs the range_analysis in a more sane wayWed, 16 Dec 2009 17:22:25 +0100, by Sigurd Meldgaard
-
editor_info: info about transformations, and improved handling of ranges.Wed, 16 Dec 2009 16:57:11 +0100, by Sigurd Meldgaard
-
eclipse_plugin: now handles transcriptsWed, 16 Dec 2009 16:56:12 +0100, by Sigurd Meldgaard
-
secret_if: use_range_withinWed, 16 Dec 2009 16:55:15 +0100, by Sigurd Meldgaard
-
range_analysis: helper method, range_withinWed, 16 Dec 2009 16:54:07 +0100, by Sigurd Meldgaard
-
Ignore cert, key and ini filesWed, 16 Dec 2009 15:28:01 +0100, by Sigurd Meldgaard
-
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