Shortlog

Date Author Message Actions
2013-06-11 19:15 Jonathan Bell Merge branch 'master' of ase.cs.columbia.edu:me... commitdiff tree tar/gz zip patch
2013-06-11 19:15 Jonathan Bell Fixed runtime bugs commitdiff tree tar/gz zip patch
2012-04-11 20:42 Jonathan Bell Removed some dead code and unused imports commitdiff tree tar/gz zip patch
2012-04-11 20:36 Jonathan Bell Added the default boundary parameters for the b... commitdiff tree tar/gz zip patch
2012-04-11 19:48 Jonathan Bell Now does ApproxEqualsTo instead of == when comp... commitdiff tree tar/gz zip patch
2012-04-11 18:37 Jonathan Bell META-16 and also, correction to properly run Ar... commitdiff tree tar/gz zip patch
2012-04-11 17:02 Jonathan Bell META-15 commitdiff tree tar/gz zip patch
2012-04-11 16:43 Jonathan Bell Allow for complicated result checks on primitiv... commitdiff tree tar/gz zip patch
2012-04-09 13:57 Jonathan Bell COA commitdiff tree tar/gz zip patch
2012-03-22 16:21 Jonathan Bell Moved the cloning back out to the interceptor l... commitdiff tree tar/gz zip patch
2012-03-22 02:08 Jonathan Bell INVIVO-1 commitdiff tree tar/gz zip patch
2012-03-22 01:56 Jonathan Bell INVIVO-1 commitdiff tree tar/gz zip patch
2012-03-21 21:38 Jonathan Bell removed the log file commitdiff tree tar/gz zip patch
2012-03-21 21:36 Jonathan Bell fixed the NPE from prev commit commitdiff tree tar/gz zip patch
2012-03-21 19:41 Jonathan Bell Factored invio code *out* commitdiff tree tar/gz zip patch
2012-03-20 14:22 Jonathan Bell Merge branch 'master' of ase.cs.columbia.edu:me... commitdiff tree tar/gz zip patch
2012-03-20 14:22 Jonathan Bell updated HLA commitdiff tree tar/gz zip patch
2012-03-18 02:05 Jonathan Bell META-6 commitdiff tree tar/gz zip patch
2012-03-16 20:53 Jonathan Bell META-5 commitdiff tree tar/gz zip patch
2012-03-16 20:52 Jonathan Bell META-5 commitdiff tree tar/gz zip patch
2012-03-16 20:50 Jonathan Bell META-5 commitdiff tree tar/gz zip patch
2012-03-16 19:10 Jonathan Bell Added missing rule annotation commitdiff tree tar/gz zip patch
2012-03-16 18:50 Jonathan Bell META-10 commitdiff tree tar/gz zip patch
2012-03-16 18:41 Jonathan Bell META-9 progress but not complete commitdiff tree tar/gz zip patch
2012-03-16 16:36 Jonathan Bell META-7 commitdiff tree tar/gz zip patch
2012-03-16 15:51 Jonathan Bell META-4 commitdiff tree tar/gz zip patch
2012-03-16 15:12 Jonathan Bell META-3 commitdiff tree tar/gz zip patch
2012-03-16 15:04 Jonathan Bell META-2 commitdiff tree tar/gz zip patch
2012-03-16 03:52 Jonathan Bell fixed generics warnings commitdiff tree tar/gz zip patch
2012-03-16 03:46 Jonathan Bell Cleaned up imports commitdiff tree tar/gz zip patch
2012-03-16 03:35 Jonathan Bell Merge branch 'master' of ase.cs.columbia.edu:me... commitdiff tree tar/gz zip patch
2012-03-15 22:16 Jonathan Bell Cleaned up generic issues, added an HLA commitdiff tree tar/gz zip patch
2012-03-15 21:55 Jonathan Bell Refactored the annotation processor into the ru... commitdiff tree tar/gz zip patch
2012-03-15 19:39 Jonathan Bell Added a functional annotation processor. Note t... commitdiff tree tar/gz zip patch
2012-03-15 16:17 Jonathan Bell moved the old columbus stuff out of the way commitdiff tree tar/gz zip patch
2012-03-15 16:15 Jonathan Bell revised to handle private methods, also started... commitdiff tree tar/gz zip patch
2012-03-15 01:03 Jonathan Bell Merge branch 'master' of ase.cs.columbia.edu:me... commitdiff tree tar/gz zip patch
2012-03-15 01:02 Jonathan Bell added modernjass commitdiff tree tar/gz zip patch
2012-03-14 21:17 Jonathan Bell removed the annotation business from asm... sho... commitdiff tree tar/gz zip patch
2012-03-14 20:42 Jonathan Bell Formatted and sorted the method visitor commitdiff tree tar/gz zip patch
2012-03-14 20:41 Jonathan Bell Formatted and sorted the method visitor commitdiff tree tar/gz zip patch
2012-03-14 20:38 Jonathan Bell added annotation visitor (missing in prev commi... commitdiff tree tar/gz zip patch
2012-03-14 20:36 Jonathan Bell fixed gitignore for cloning commitdiff tree tar/gz zip patch
2012-03-14 20:36 Jonathan Bell fixed gitignore for cloning commitdiff tree tar/gz zip patch
2012-03-14 20:35 Jonathan Bell added clonign lib commitdiff tree tar/gz zip patch
2012-03-14 19:39 Jonathan Bell added carry-through to report the rules to the ... commitdiff tree tar/gz zip patch
2012-03-14 19:11 Jonathan Bell began to make it static friendly. fixing rule p... commitdiff tree tar/gz zip patch
2012-03-14 19:11 Jonathan Bell began to make it static friendly. fixing rule p... commitdiff tree tar/gz zip patch
2012-03-14 17:38 Jonathan Bell Renamed processor to inputProcessor commitdiff tree tar/gz zip patch
2012-03-14 17:35 Jonathan Bell Merge branch 'master' of ase.cs.columbia.edu:me... commitdiff tree tar/gz zip patch
2012-03-14 17:35 Jonathan Bell Renamed processor to inputRelation commitdiff tree tar/gz zip patch
2012-03-06 00:28 Jonathan Bell merge commitdiff tree tar/gz zip patch
2012-03-06 00:24 Jonathan Bell factored out Variable class commitdiff tree tar/gz zip patch
2012-03-01 20:22 Jonathan Bell Back to threads, per http://osdir.com/ml/androi... commitdiff tree tar/gz zip patch
2012-03-01 17:37 Jonathan Bell Fully migrated to use fork + sockets instead of... commitdiff tree tar/gz zip patch
2012-03-01 05:18 Jonathan Bell Added forker and some socket stuff in a tester.... commitdiff tree tar/gz zip patch
2012-02-29 21:42 Jonathan Bell Added an example of creating a child thread and... commitdiff tree tar/gz zip patch
2012-02-29 19:56 Jonathan Bell Added docs commitdiff tree tar/gz zip patch
2012-02-29 19:46 Jonathan Bell Added input processors commitdiff tree tar/gz zip patch
2012-02-03 18:43 Jonathan Bell addd a little usage commitdiff tree tar/gz zip patch
2012-02-03 18:42 Jonathan Bell Renamed mountaindew to metamorphic commitdiff tree tar/gz zip patch
2012-02-03 18:35 Jonathan Bell Cleaned up interceptor commitdiff tree tar/gz zip patch
2012-02-03 17:38 Jonathan Bell Initial columbus 2 commit commitdiff tree tar/gz zip patch