urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-19 00:13:12 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,221 Commits 768 Branches 10 Tags 215 MiB
afff845f97
Commit Graph

14 Commits

Author SHA1 Message Date
C. Guy Yarvin
f50b3b3c3c More profiling updates. 2014-12-02 16:26:30 -08:00
C. Guy Yarvin
11c02c11d9 Update some profiling stuff. 2014-12-02 13:53:35 -08:00
C. Guy Yarvin
ee5ef2e7ed Fix profile bug. 2014-12-01 14:05:09 -08:00
C. Guy Yarvin
f56aa55a32 Remove overly fancy profile sync code. 2014-11-30 16:59:22 -08:00
C. Guy Yarvin
ce8afd76ee Various profiling and other fixes. 2014-11-30 16:06:08 -08:00
C. Guy Yarvin
81455138c3 Fix some profiling stuff. 2014-11-30 02:06:41 -08:00
C. Guy Yarvin
80d6f74886 Various fixes and documentations. 2014-11-25 15:31:35 -08:00
C. Guy Yarvin
d43bc56bb1 Validate jet cores. Other cosmetic changes. 2014-11-24 14:41:47 -08:00
C. Guy Yarvin
6ea4bf7bb6 Correct jet nouns, step 1. 2014-11-20 11:49:27 -08:00
C. Guy Yarvin
60db57a48e Fix some stuff; comment out uni jets. 2014-11-19 16:46:16 -08:00
C. Guy Yarvin
3e7455a14e This commit is broken! 2014-11-17 13:56:51 -08:00
C. Guy Yarvin
9b4da218aa Solve malloc alignment issues. 2014-11-11 13:49:45 -08:00
C. Guy Yarvin
4815cbcfa6 Before gmp malloc changeover. 2014-11-07 14:54:59 -08:00
C. Guy Yarvin
6e9e1443a5 Relocation. 2014-11-06 11:29:53 -08:00