| Author |
Date |
Commit |
Message |
| Manuel Mohr |
Sep 3, 2010 |
7a5ee3f0af99 |
Post-merge commit. |
| Sven Stork |
Aug 31, 2010 |
7975df8ca5b8 |
- proper initialize and shutdown the runtime |
| Manuel Mohr |
Aug 30, 2010 |
a2a6ab556173 |
Updated Fibonacci example. |
| Manuel Mohr |
Aug 30, 2010 |
032d35e43a81 |
Cleaned up FibonacciTest, renamed some variables. |
| Manuel Mohr |
Aug 30, 2010 |
3a0693748ae6 |
Fibonacci example works. |
| Sven Stork |
Sep 2, 2010 |
9e4ab6670986 |
- add more base cases |
| Manuel Mohr |
Aug 30, 2010 |
27bab2807e99 |
Recursion seems to work, next step is to actually add the results of the recursi |
| Sven Stork |
Sep 2, 2010 |
ccb14a0d691f |
- switch to logger |
| Manuel Mohr |
Aug 29, 2010 |
ed6076da0411 |
Fixed handling of return values. |
| Sven Stork |
Sep 2, 2010 |
008d79ef2000 |
- add simple console logger |
| Manuel Mohr |
Aug 29, 2010 |
cafed891f18d |
Added first sketch of Aeminium-enabled fibonacci example. |
| Sven Stork |
Sep 2, 2010 |
8c2d144b7f23 |
- first version of deserialization |
| Manuel Mohr |
Aug 27, 2010 |
d978a304186d |
Post-merge commit. |
| Sven Stork |
Sep 2, 2010 |
7d61b7736246 |
- add missing state information |
| Manuel Mohr |
Aug 27, 2010 |
07224657c841 |
Post-merge commit. |
| Sven Stork |
Sep 2, 2010 |
17f0cdd6e141 |
- delete old version |
| Manuel Mohr |
Aug 27, 2010 |
efbb5d23daa2 |
Updated Aeminium examples, some small fixes. |
| Sven Stork |
Sep 2, 2010 |
97b90016d8ea |
- first shot for AST -> JSON serialization
- more Plaid AST fixes |
| Manuel Mohr |
Aug 27, 2010 |
2aefaaa1d069 |
Updated code generator to make Plaid functions return tasks in order to get a fu |
| Sven Stork |
Sep 2, 2010 |
0209849f4f32 |
- make boolean conversation working with multiple parameters |
| Sven Stork |
Aug 26, 2010 |
2e225e66637b |
- add toString method for generated bodies to easer identify them
- add aeminium |
| Sven Stork |
Sep 2, 2010 |
d16631ea79a0 |
- fix package name |
| Manuel Mohr |
Aug 26, 2010 |
778b7211125c |
First sketch of how code generation could deal with lambdas. |
| Sven Stork |
Sep 1, 2010 |
12d44d62feab |
- start working on JSON Serialization |
| Sven Stork |
Aug 26, 2010 |
067a6af438ea |
- merge changes from plaid repository |
| Sven Stork |
Sep 1, 2010 |
aa5af23e1ab5 |
- adapt ATSViewer to new ImportList |
| Sven Stork |
Aug 26, 2010 |
783b8c921553 |
- revert previous changes and apply them through the main plaid repository |
| Sven Stork |
Sep 1, 2010 |
d0e892425128 |
- start fixing Plaid AST
- ImportList uses Plaid List<QI> |
| Sven Stork |
Aug 26, 2010 |
5b92921c5737 |
- tame the java wildcard imports
- cache non existing classes |
| Sven Stork |
Sep 1, 2010 |
76a33e21f7ae |
- add append method for elements called 'add' |
| Manuel Mohr |
Aug 25, 2010 |
f188dd642315 |
Added synchronization to (hopefully) prevent race condition on PlaidPackageMap. |
| Sven Stork |
Sep 1, 2010 |
9e418c85197a |
- move ASTViewer to visitor folder |
| Manuel Mohr |
Aug 25, 2010 |
34d9333d95e0 |
Remove Aeminium runtime references from Plaid runtime. |
| Sven Stork |
Sep 1, 2010 |
a60501a68f60 |
- fix broken example |
| Manuel Mohr |
Aug 24, 2010 |
6a80c37b10be |
Now generating task-enabled code for all methods except main. |
| Sven Stork |
Sep 1, 2010 |
f28c33ce80b4 |
- add currying example |
| Manuel Mohr |
Aug 24, 2010 |
61ee5bfeda02 |
Workaround for expanding import lists. |
| Sven Stork |
Sep 1, 2010 |
77824dec6180 |
- add none |
| Manuel Mohr |
Aug 24, 2010 |
3bb4d5ec6d5d |
Simple example is actually executable right now. Time to clean up and generaliz |
| Sven Stork |
Sep 1, 2010 |
057b89199eb7 |
- fix types highlighting |
| Manuel Mohr |
Aug 23, 2010 |
b0ab6004a604 |
Fixed typo. |
| Sven Stork |
Aug 31, 2010 |
8b12f9294122 |
- add plaid-mode for emacs |
| Manuel Mohr |
Aug 23, 2010 |
2c059d20c9d8 |
Actually generating some code now. Still lots of issues, i.e. return value hand |
| Sven Stork |
Aug 31, 2010 |
9a39ba4ce7ea |
- add "standard" fibonacci implementation |
| Manuel Mohr |
Aug 23, 2010 |
a2c61fa91497 |
Now working with a more complete AST, including a CompilationUnit node. Restruc |
| Manuel Mohr |
Aug 27, 2010 |
108579f56448 |
Forgot some files. |
| Manuel Mohr |
Aug 21, 2010 |
df71ab106433 |
Added proof-of-concept implementation for the Aeminium code gen. |
| Manuel Mohr |
Aug 27, 2010 |
d2da465c1720 |
Updated Plaid AST states and AST translator. |
| Manuel Mohr |
Aug 21, 2010 |
ed32e0244c06 |
Implemented dependency algorithm in Plaid, generating dependency graph works. |
| Sven Stork |
Aug 27, 2010 |
22fb4eef5828 |
- fix state decl case |
| Manuel Mohr |
Aug 20, 2010 |
e46a3b8b9bbc |
More work on manually creating the annotated example. |
| Sven Stork |
Aug 27, 2010 |
72dbcd1f1d15 |
- finish first shot of ASTViewer |
| Manuel Mohr |
Aug 20, 2010 |
11f81c0ef0de |
Added various helper methods for constructing a type annotated AST to test code |
| Sven Stork |
Aug 27, 2010 |
cb50f3d3805b |
- minor progress |
| sven |
Aug 19, 2010 |
542880f3b760 |
- use correct class to instantiate Aeminium runtime |
| Sven Stork |
Aug 27, 2010 |
fcda5a775da9 |
- activate ASTViewer |
| sven |
Aug 19, 2010 |
e9ccc8d948f3 |
- fix default case |
| Sven Stork |
Aug 27, 2010 |
dd9a1e0cf7bb |
- start working in an AST viewer for the Plaid AST |
| Manuel Mohr |
Aug 18, 2010 |
8c4b258058cc |
Post-merge commit. |
| Sven Stork |
Aug 27, 2010 |
ef6238d29a56 |
- convert Plaid booleans to Java booleans when calling Java code |
| Manuel Mohr |
Aug 18, 2010 |
9d4086090951 |
Added codegen document. |
| Sven Stork |
Aug 26, 2010 |
5fc263f9a0e2 |
- add missing cachnig call |
| Manuel Mohr |
Aug 18, 2010 |
d4ba76576926 |
Updated dependency test. |
| Sven Stork |
Aug 26, 2010 |
1ef8d9e1d5bf |
- tame the java wildcard imports
- track which file do not exist |
| Manuel Mohr |
Aug 17, 2010 |
c53282bdfd5d |
Added some dependency graph tests. |
| Sven Stork |
Aug 26, 2010 |
9dfb6d4414ed |
- fix syntax issue |
| Manuel Mohr |
Aug 13, 2010 |
fa7684809796 |
Some more adaptions. |
| Sven Stork |
Aug 17, 2010 |
34108b7ba27c |
- add caching for lookup maps |
| Manuel Mohr |
Aug 13, 2010 |
5c732c6c6594 |
Post-merge commit. |
| Mark Hahnenberg |
Aug 13, 2010 |
1e68c1b6111f |
Fixed up some stuff in the type checker. |
| Mark Hahnenberg |
Aug 12, 2010 |
5359e6fbcd53 |
Fixed stuff that I broke when I added JSON. |
| Matthew Rodriguez |
Aug 11, 2010 |
8248c9d670ce |
CodeGenVisitor updates. Add source folder typechecker/testOutput. |
| Matthew Rodriguez |
Aug 11, 2010 |
ea0537c5072c |
CodeGenVisitor updates. |
| Mark Hahnenberg |
Aug 10, 2010 |
eeec9cd714a1 |
Removed absolute path in build.xml. We should really fix it so that you don't h |
| Mark Hahnenberg |
Aug 10, 2010 |
9240ab71be5d |
Fixed some issues that broke the build scripts. |
| Mark Hahnenberg |
Aug 10, 2010 |
a53f59727340 |
Rearranged dependencies to remove absolute path from .classpath file which was c |
| Matthew Rodriguez |
Aug 9, 2010 |
94f1216ac5be |
Further CodeGenVisitor fixes. |
| Manuel Mohr |
Aug 9, 2010 |
519a94c563b6 |
Some minor codegen fixes. |
| Manuel Mohr |
Aug 9, 2010 |
210337da1522 |
Added explicit this dereferences. |
| Matthew Rodriguez |
Aug 9, 2010 |
d55483678695 |
Merge |
| Matthew Rodriguez |
Aug 9, 2010 |
374d1bc42a7c |
Backed out changeset: df21a4616d34 |
| Matthew Rodriguez |
Aug 9, 2010 |
bdd394dcfc1a |
CodeGenVisitor updates. |
| Matthew Rodriguez |
Aug 9, 2010 |
df21a4616d34 |
.classpath should not be in the repo |
| Matthew Rodriguez |
Aug 8, 2010 |
3cc9bcc98c06 |
CodeGenVisitor update. Also adds Boolean.jval to stdlib. |
| Manuel Mohr |
Aug 7, 2010 |
2c6fe52646d5 |
Minor updates to typechecker test framework and LNF visitor. |
| Mark Hahnenberg |
Aug 6, 2010 |
50c120769f16 |
Modified build.xml to include the json-simple library on its classpath. |
| Mark Hahnenberg |
Aug 6, 2010 |
5ae8af14af53 |
Added json-simple library to repo. It should be okay since we're GPLv3 and they |
| Mark Hahnenberg |
Aug 6, 2010 |
3bde06ccba4c |
Post-merge commit. |
| Matthew Rodriguez |
Aug 6, 2010 |
4430a89f5ff3 |
CodeGenVisitor update. |
| Manuel Mohr |
Aug 4, 2010 |
21b2c0adc3e6 |
Cleaned up PlaidStateMap and adapted it to recent code generation changes. |
| Mark Hahnenberg |
Aug 6, 2010 |
1010acc5f9a6 |
Added JSON serialization for state, method, and field signatures. Still needs t |
| Mark Hahnenberg |
Aug 4, 2010 |
b056f7e801dd |
Post-merge commit. |
| Manuel Mohr |
Aug 4, 2010 |
7a9f7dae3862 |
Added unit tests for permission comparison. |
| Mark Hahnenberg |
Aug 4, 2010 |
e00e8efd98bf |
Fixed bug in code generation for Throws AST node. |
| Manuel Mohr |
Aug 4, 2010 |
eafe8e8f5c9a |
Add sane tag test in equals() method in PlaidObjectMap. |
| Mark Hahnenberg |
Aug 4, 2010 |
0e7d19330475 |
Working on more tests for the typechecker. |
| Manuel Mohr |
Aug 4, 2010 |
93a9bc8281a5 |
Changed code generation: add tags directly to prototype. |
| Matthew Rodriguez |
Aug 3, 2010 |
a3982c5ceec1 |
PlaidCodeGen update. |
| Matthew Rodriguez |
Aug 3, 2010 |
d026f36fcaf8 |
CodeGenVisitor update, with Plaid IdGen. |
| Matthew Rodriguez |
Aug 3, 2010 |
41650169ff66 |
CodeGenVisitor update. |
Code