Added jd7 to jdk8 diff, for reference. Changed ...
Added wiki with coding conventions
Added openjdk8
In the process of adding compute method generation
Added parsing of module arrays
Removed build.properties from repo
Fixed hardcoded identifier
Finished compute method generation
Added todo file with items from yesterday's mee...
Added argument handling to run method
Added an interleaving interface
Reverting last commit
Fixed problem where void module methods wouldn'...
Philosophers with message passing works
Changed build.properties.template to add org.pa...
Fixed bug in duck generation
Updated examples to use wrapper classes for pri...
Compiler fails gracefully if non-void primitive...
Added example that tests sequential consistency
Implementing control flow graph generation
Implementing BlockDivisionPoint
Implementing aliasing analysis. Adding AST chai...
Updated barbershop2 example to use loops instea...
implemented initial effects before point comput...
Added Maybe class to barbershop example, to pre...
Updated gitignore
Implementing connection of control flow graph
Finishing ASTChain building
Got effects to work, except that method effects...
Merge branch 'master' into effects. Philosopher...
Working on effects computation; fixing bugs
Preliminary sequential consistency check working
Working on system graph generation; connection ...
Finishing effects computation
starting to do inter-method effects stuff
Merge branch 'master' into effects
Fixing bugs
Trying to get libraries to work
Trying to get system graphs to support module a...
Removing some old code
System connection graph now supports module arr...
Fixing bugs with consistency checker
Removed library decls from some examples
Merge branch 'master' into effects
System procedure call graph now supports module...
Preparing for merge into master. Graphs now gen...
Merge branch 'master' of ssh://paninij.git.sour...
ignore commandline params when reading system d...
Merge branch 'master' of ssh://paninij.git.sour...
graphs: Adding ASTChain printer
graph compiler option is not as hacky anymore
Merge branch 'master' into effects
Fixed graphs bug
-graphs option only outputs system and procedur...
Merge branch 'master' of ssh://paninij.git.sour...
Graphs work for module arrays now
Merge branch 'master' of ssh://paninij.git.sour...
Merge branch 'master' of ssh://paninij.git.sour...
Cleaned up sequential consistency example. Fixe...
System graphs generation now should fully work ...
Fixed some bugs in the effects code
Adapted system graphs builder and consistency c...