Mercurial > pysmcl
graph
-
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
-
Added description of Eclipse plugin readme file.Thu, 29 Oct 2009 16:58:48 +0100, by Thomas P Jakobsen
-
Ignore .orig files.Thu, 29 Oct 2009 16:33:17 +0100, by Thomas P Jakobsen
-
Change PySMCL exit code for syntax error.Thu, 29 Oct 2009 16:19:47 +0100, by Thomas P Jakobsen
-
info: only analyse functions with virtual_functionality decoratorWed, 28 Oct 2009 12:48:54 +0100, by Sigurd Meldgaard
-
info: Be silent on parseerrorsWed, 28 Oct 2009 12:48:09 +0100, by Sigurd Meldgaard
-
Changed file extension name.Mon, 26 Oct 2009 12:22:59 +0100, by Thomas P Jakobsen
-
Added Eclipse project files.Mon, 26 Oct 2009 12:04:18 +0100, by Thomas P Jakobsen
-
Eclipse plugin no longer expects parantheses in compiler output.Mon, 26 Oct 2009 10:55:55 +0100, by Thomas P Jakobsen
-
Merged with Sigurd.Mon, 26 Oct 2009 10:39:51 +0100, by Thomas P Jakobsen
-
Added initial revision of Eclipse plugin.Mon, 26 Oct 2009 10:34:45 +0100, by Thomas P Jakobsen
-
Ignore Java class files.Fri, 23 Oct 2009 11:00:34 +0200, by Thomas P Jakobsen
-
Ignore Emacs backup files.Fri, 23 Oct 2009 10:55:58 +0200, by Thomas P Jakobsen
-
Secret annotator: Allow subscribing arraysMon, 26 Oct 2009 10:35:15 +0100, by Sigurd Meldgaard
-
pretty_print: corrected error messageMon, 26 Oct 2009 10:33:48 +0100, by Sigurd Meldgaard
-
Info.py: don't print stupid parenthesesMon, 26 Oct 2009 10:32:19 +0100, by Sigurd Meldgaard
-
Corrected the while-loop exampleMon, 26 Oct 2009 10:30:14 +0100, by Sigurd Meldgaard
-
First steps on the way of printing pysmcl programs as SIMPLMon, 26 Oct 2009 10:28:09 +0100, by Sigurd Meldgaard
-
Now the antiqutation is correct for the typeMon, 24 Aug 2009 14:28:26 +0200, by Sigurd Meldgaard
-
Added a theory that searches for a given theoremMon, 24 Aug 2009 11:10:42 +0200, by Sigurd Meldgaard
-
Ideal functionality would loop forever because of a wrong termination condition.Tue, 11 Aug 2009 13:18:01 +0200, by Sigurd Meldgaard
-
A proof that an imperative binary search is doing the same as the one we proved correctTue, 11 Aug 2009 11:24:23 +0200, by Sigurd Meldgaard
-
Renamed theory to match filenameTue, 11 Aug 2009 11:22:42 +0200, by Sigurd Meldgaard
-
An isabelle proof of correctness for binary searchMon, 10 Aug 2009 10:18:10 +0200, by Sigurd Meldgaard