Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | uBackpack: simplified Backpack description. | Edward Z. Yang | 2015-03-31 | 4 | -3/+387 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Update Backpack document with examples [skip ci] | Edward Z. Yang | 2015-01-21 | 2 | -18/+78 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Improved Backpack IR description. [skip ci] | Edward Z. Yang | 2014-12-19 | 2 | -42/+164 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Proposal for Backpack file format [skip ci] | Edward Z. Yang | 2014-12-09 | 2 | -17/+111 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Check in up-to-date PDF copies of Backpack docs. [skip ci] | Edward Z. Yang | 2014-10-23 | 2 | -0/+0 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | More updates to Backpack manual [skip ci] | Edward Z. Yang | 2014-10-23 | 1 | -147/+112 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Rewrite section 1 of the Backpack manual. [skip ci] | Edward Z. Yang | 2014-10-10 | 1 | -202/+344 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Update some out-of-date things in Backpack implementation doc [skip ci] | Edward Z. Yang | 2014-10-07 | 1 | -27/+36 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Initial commit of the Backpack manual [skip ci] | Edward Z. Yang | 2014-10-07 | 2 | -0/+330 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | [no-ci] Minor bugfixes in Backpack docs. | Edward Z. Yang | 2014-08-05 | 1 | -15/+10 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | [backpack] More revisions to various pieces. | Edward Z. Yang | 2014-08-01 | 1 | -125/+84 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | [backpack] Package selection | Edward Z. Yang | 2014-07-31 | 1 | -213/+412 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | [backpack] Rewrite compilation to be cleaner. | Edward Z. Yang | 2014-07-25 | 1 | -287/+222 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Duplicate word | Gabor Greif | 2014-07-23 | 1 | -1/+1 |
| | |||||
* | Write up rename on entry | Edward Z. Yang | 2014-07-23 | 1 | -14/+71 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Definite compilation is a go | Edward Z. Yang | 2014-07-23 | 1 | -145/+412 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Add a summary section. | Edward Z. Yang | 2014-07-22 | 1 | -26/+77 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Rewrite package/module identity section | Edward Z. Yang | 2014-07-22 | 1 | -155/+314 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | OK, I think we've finally solved granularity. | Edward Z. Yang | 2014-07-17 | 3 | -612/+1229 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Try to explain the applicativity problem | Edward Z. Yang | 2014-07-16 | 1 | -10/+86 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Finish TCs section | Edward Z. Yang | 2014-07-14 | 1 | -85/+238 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Type classes | Edward Z. Yang | 2014-07-14 | 1 | -11/+268 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | [backpack] Rework definite package compilation | Edward Z. Yang | 2014-07-10 | 1 | -105/+103 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Make the example a little more complex | Edward Z. Yang | 2014-07-10 | 1 | -142/+208 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Start expanding out linking text | Edward Z. Yang | 2014-07-09 | 1 | -92/+239 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Add hyperref package. | Edward Z. Yang | 2014-07-09 | 1 | -0/+1 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | [docs/backpack] Get lint to stop complaining | Edward Z. Yang | 2014-07-09 | 1 | -6/+6 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Scott's updates to the impl paper. | Edward Z. Yang | 2014-07-09 | 1 | -25/+92 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Private axiom comment in Backpack | Edward Z. Yang | 2014-07-07 | 1 | -2/+27 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Minor edits to Backpack design doc | Edward Z. Yang | 2014-07-02 | 1 | -19/+92 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Finish up incomplete sections | Edward Z. Yang | 2014-07-02 | 1 | -90/+230 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Finish the simple elaboration algo | Edward Z. Yang | 2014-07-02 | 1 | -20/+41 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Backpack docs: Compilation, surface syntax, and package database | Edward Z. Yang | 2014-07-01 | 1 | -92/+434 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Minor updates to Backpack docs. | Edward Z. Yang | 2014-06-28 | 1 | -7/+10 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Lots of rewrites to further move toward new world order | Edward Z. Yang | 2014-06-26 | 1 | -479/+291 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | The linking restriction, no shaping necessary. | Edward Z. Yang | 2014-06-25 | 1 | -165/+332 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Describe signature mini-backpack. | Edward Z. Yang | 2014-06-24 | 1 | -28/+96 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | More updates to Backpack impl docs. | Edward Z. Yang | 2014-06-23 | 2 | -17/+146 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | More fixes and updates to implementation document | Edward Z. Yang | 2014-06-20 | 2 | -76/+264 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Finish the rest of the writeup. | Edward Z. Yang | 2014-06-19 | 1 | -81/+242 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | In progress Backpack implementation docs. | Edward Z. Yang | 2014-06-18 | 8 | -0/+327 |
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> |