Activity for Rex Fernando
-
Rex Fernando committed [4e2454]
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...
1
