Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 1090 | Kartik K. Agaram | 2015-04-17 | 9 | -20/+684 |
| | |||||
* | 1089 | Kartik K. Agaram | 2015-04-17 | 2 | -0/+71 |
| | |||||
* | 1088 - start porting the 'buffer' type | Kartik K. Agaram | 2015-04-17 | 5 | -1/+230 |
| | |||||
* | 1087 - mu files can now define containers and exclusive containers | Kartik K. Agaram | 2015-04-17 | 4 | -1/+102 |
| | |||||
* | 1086 - support variant names in 'maybe-convert' | Kartik K. Agaram | 2015-04-17 | 2 | -3/+63 |
| | |||||
* | 1085 - to access variants of sum types use 'maybe-convert' | Kartik K. Agaram | 2015-04-17 | 4 | -1/+111 |
| | |||||
* | 1084 | Kartik K. Agaram | 2015-04-17 | 30 | -51/+56 |
| | |||||
* | 1083 - start of a sum type for mu | Kartik K. Agaram | 2015-04-17 | 3 | -0/+89 |
| | |||||
* | 1082 | Kartik K. Agaram | 2015-04-17 | 3 | -11/+10 |
| | | | | | Turns out I'm only able to define a 'raise' macro because I have include no system headers after that point. | ||||
* | 1081 | Kartik K. Agaram | 2015-04-17 | 1 | -1/+1 |
| | |||||
* | 1080 | Kartik K. Agaram | 2015-04-17 | 1 | -1/+1 |
| | |||||
* | 1079 | Kartik K. Agaram | 2015-04-17 | 1 | -0/+1 |
| | |||||
* | 1078 - better line numbers | Kartik K. Agaram | 2015-04-17 | 3 | -1/+25 |
| | | | | Skip tangle comments inside tangle rather than in the makefile. | ||||
* | 1077 | Kartik K. Agaram | 2015-04-17 | 21 | -16/+49 |
| | |||||
* | 1076 | Kartik K. Agaram | 2015-04-17 | 1 | -2/+5 |
| | |||||
* | 1075 | Kartik K. Agaram | 2015-04-17 | 68 | -174/+157 |
| | |||||
* | 1074 | Kartik K. Agaram | 2015-04-17 | 31 | -52/+52 |
| | |||||
* | 1073 - stop fixing the values of primitive recipes | Kartik K. Agaram | 2015-04-17 | 14 | -163/+102 |
| | | | | | In the process I give up trace stability when I move files around, but I gain in exchange the ability to move files around. | ||||
* | 1072 | Kartik K. Agaram | 2015-04-17 | 20 | -0/+0 |
| | |||||
* | 1071 | Kartik K. Agaram | 2015-04-16 | 1 | -0/+0 |
| | |||||
* | 1070 | Kartik K. Agaram | 2015-04-16 | 1 | -0/+4 |
| | |||||
* | 1069 - rename record/field to container/element | Kartik K. Agaram | 2015-04-16 | 12 | -48/+61 |
| | | | | | | | | | This seems more obvious to laypeople. I've also come up with a design for sum types: I'm going to call them exclusive containers. You call 'get' on containers, 'index' on arrays, and 'maybe-convert' on exclusive containers (as well as tagged types, but that's even later). | ||||
* | 1068 - better line numbers | Kartik K. Agaram | 2015-04-15 | 2 | -9/+90 |
| | | | | | Line numbers were broken after inserting some lines from elsewhere. Now we add a #line directive not just before the lines but also after. | ||||
* | 1067 - no need to indent methods anymore | Kartik K. Agaram | 2015-04-15 | 2 | -51/+50 |
| | |||||
* | 1066 - bugfix: support string literals with colons | Kartik K. Agaram | 2015-04-15 | 5 | -13/+38 |
| | |||||
* | 1065 - example program for closures | Kartik K. Agaram | 2015-04-14 | 2 | -3/+35 |
| | |||||
* | 1064 - rough support for correct line numbers in error messages | Kartik K. Agaram | 2015-04-14 | 2 | -0/+42 |
| | |||||
* | 1063 - variable names for surrounding spaces now work | Kartik K. Agaram | 2015-04-14 | 20 | -22/+326 |
| | | | | This was a pain to debug. | ||||
* | 1062 - bugfix: wasn't aliasing Current_routine | Kartik K. Agaram | 2015-04-14 | 5 | -14/+15 |
| | | | | You can't write tests for stupidity. | ||||
* | 1061 | Kartik K. Agaram | 2015-04-14 | 2 | -0/+28 |
| | |||||
* | 1060 | Kartik K. Agaram | 2015-04-14 | 2 | -6/+5 |
| | |||||
* | 1059 | Kartik K. Agaram | 2015-04-13 | 1 | -0/+6 |
| | |||||
* | 1058 - scenarios can now check trace | Kartik K. Agaram | 2015-04-12 | 6 | -0/+160 |
| | |||||
* | 1057 | Kartik K. Agaram | 2015-04-12 | 2 | -8/+10 |
| | |||||
* | 1056 | Kartik K. Agaram | 2015-04-12 | 1 | -0/+9 |
| | |||||
* | 1055 | Kartik K. Agaram | 2015-04-12 | 4 | -11/+8 |
| | |||||
* | 1054 | Kartik K. Agaram | 2015-04-12 | 2 | -0/+11 |
| | |||||
* | 1053 - vim highlighting works even when reloading a layer | Kartik K. Agaram | 2015-04-12 | 1 | -3/+1 |
| | |||||
* | 1052 | Kartik K. Agaram | 2015-04-12 | 6 | -7/+7 |
| | |||||
* | 1051 | Kartik K. Agaram | 2015-04-12 | 5 | -12/+12 |
| | |||||
* | 1050 | Kartik K. Agaram | 2015-04-11 | 6 | -108/+126 |
| | |||||
* | 1049 | Kartik K. Agaram | 2015-04-11 | 1 | -1/+7 |
| | |||||
* | 1048 | Kartik K. Agaram | 2015-04-11 | 2 | -19/+12 |
| | |||||
* | 1047 | Kartik K. Agaram | 2015-04-11 | 1 | -0/+2 |
| | |||||
* | 1046 - mu programs can now add to the trace | Kartik K. Agaram | 2015-04-09 | 2 | -0/+28 |
| | | | | Still just raw strings, but interpolation is coming. | ||||
* | 1045 | Kartik K. Agaram | 2015-04-09 | 24 | -41/+43 |
| | |||||
* | 1044 | Kartik K. Agaram | 2015-04-09 | 1 | -0/+0 |
| | |||||
* | 1043 - clean up indent in generated mu.cc | Kartik K. Agaram | 2015-04-08 | 4 | -13/+13 |
| | |||||
* | 1042 - start saving traces in mu scenarios | Kartik K. Agaram | 2015-04-08 | 6 | -1/+793 |
| | |||||
* | 1041 - why was I clearing name assignments? | Kartik K. Agaram | 2015-04-08 | 1 | -2/+0 |
| |