csaftoiu

Member Since
Dec 29, 2008 (11 months)

Following 0 githubbers and watching 4 repositories view all →

csaftoiu doesn’t have any public repositories yet

Public Activity feed

csaftoiu pushed to master at arjunguha/webbits Thu Dec 03 17:21:18 -0800 2009
HEAD is 717fc53b47cb7a7fcbfbb31c6c114d84c3fbcd30
  • csaftoiu committed 717fc53b:
    added null escape seq
csaftoiu pushed to master at arjunguha/webbits Sun Nov 22 14:33:35 -0800 2009
HEAD is b91a1f797b0cea36e4d8e4b6f8bad4159c95d3d3
  • csaftoiu committed b91a1f79:
    fixed prse arraylit a bit
csaftoiu pushed to master at arjunguha/webbits Thu Nov 19 17:21:59 -0800 2009
HEAD is a019979454b6601b2c558e8a6b12b53deb423a0d
  • csaftoiu committed a0199794:
    omga os annoying
csaftoiu pushed to master at arjunguha/webbits Sun Nov 15 11:18:09 -0800 2009
HEAD is 4913c4a8882cc9c53c557162e7d00d46dba07cc0
  • csaftoiu committed 4913c4a8:
    added strings to funcexpr, removed instances.hs
csaftoiu pushed to master at arjunguha/typedjs Tue Oct 20 20:04:23 -0700 2009
HEAD is 592e56cbfc8e4f5cbf278ddc053473c54128acb9
  • csaftoiu committed 592e56cb:
    typed this noob program. it worked eventually..
csaftoiu pushed to master at arjunguha/typedjs Tue Oct 20 19:15:32 -0700 2009
HEAD is 26c34d472ad17187c4b97e4a65f33d9c6c9af625
  • csaftoiu committed 26c34d47:
    more stuff required to test AJS. cleaned up how we parse and handle String, Int, etc...
csaftoiu pushed to master at arjunguha/typedjs Mon Oct 19 06:27:31 -0700 2009
HEAD is 69d5e5ab746326660605913c2e1aebaba89363b5
  • csaftoiu committed 69d5e5ab:
    delete part of moving files
csaftoiu pushed to master at arjunguha/typedjs Mon Oct 19 06:22:23 -0700 2009
HEAD is 241af24756df645779a27cb8b226412dc17c7823
  • csaftoiu committed 241af247:
    moving files
csaftoiu pushed to master at arjunguha/typedjs Mon Oct 19 06:21:34 -0700 2009
HEAD is 00d8dd6f58c19e86a148e9dbbe8fa497355f936c
  • csaftoiu committed 00d8dd6f:
    forgot to add
csaftoiu pushed to master at arjunguha/typedjs Sun Oct 18 13:39:48 -0700 2009
HEAD is 122a7680474edaa1199116f6909673563b143856
  • csaftoiu committed 122a7680:
    strings are nanoying
csaftoiu pushed to master at arjunguha/typedjs Sun Oct 18 12:43:34 -0700 2009
HEAD is 97b17f1c054cd635f27ef58841b18985c28b76fc
  • csaftoiu committed 97b17f1c:
    type checked abasum just to make sure normal programs are easy. they are. required only 1 function annotation
csaftoiu pushed to master at arjunguha/typedjs Fri Oct 16 16:03:44 -0700 2009
HEAD is 71c1f2b0992bea22499fecf1b7e150e104d3b2e6

2 commits »

csaftoiu pushed to master at arjunguha/typedjs Wed Oct 14 19:13:09 -0700 2009
HEAD is bdc06a836d43d51f7b95ae8860221d75da52b756
  • csaftoiu committed bdc06a83:
    cannot assign to union types in an enclosing scope FAIL FAIL FAIL FAIL FAIL
csaftoiu pushed to master at arjunguha/typedjs Wed Oct 14 17:49:20 -0700 2009
HEAD is 8ad5950dcee25a514289b91168c2667979cfd612
  • csaftoiu committed 8ad5950d:
    unification failed =( must do manual
csaftoiu pushed to master at arjunguha/typedjs Wed Oct 14 08:34:37 -0700 2009
HEAD is 8c416112430f57f70107ccab46f582c9374fbb02

3 commits »

csaftoiu pushed to master at arjunguha/typedjs Mon Oct 12 14:46:29 -0700 2009
HEAD is 14f4cf6e4ab05f874fbe9488bc458eb318656ef2
  • csaftoiu committed 14f4cf6e:
    type-checking successful! after painfully figuring out some types, that is..
csaftoiu pushed to master at arjunguha/typedjs Sat Oct 10 18:53:32 -0700 2009
HEAD is 491b9ed9087042451718a0e60829ed033cc4de34
  • csaftoiu committed 491b9ed9:
    typing more of flapjax. added implicit packing to assignments. added more stuff to arrays (shift, unshift, etc). added isSubtypeNc, for non-canonical names, cause a bunch of stuff was starting to fail. also we seem to have a bug with subtyping, which i'll look into later - to observe it, just ./run tests/flapjax.jst
csaftoiu pushed to master at arjunguha/typedjs Sat Oct 10 15:50:45 -0700 2009
HEAD is 6a16f9c876c584847669246f5d5d3cd4a63dc2be
  • csaftoiu committed 6a16f9c8:
    type checking constructors more (the actual bodies). also hacked empty array literals to work
csaftoiu pushed to master at arjunguha/typedjs Sun Oct 04 21:04:29 -0700 2009
HEAD is a273d9be1d3a5ce97a61433e124e3fd1c558a918
  • csaftoiu committed a273d9be:
    GG fixed up stuff to use our own wrapper around Presburger. support + and - now