about summary refs log tree commit diff stats
path: root/cpp/.traces
Commit message (Expand)AuthorAgeFilesLines
* 1168Kartik K. Agaram2015-04-2413-75/+75
* 1166Kartik K. Agaram2015-04-249-23/+23
* 1163Kartik K. Agaram2015-04-242-2/+2
* 1146 - yet another out-of-bounds accessKartik K. Agaram2015-04-221-0/+40
* 1126 - 'mu test x.mu' runs just scenarios in x.muKartik K. Agaram2015-04-221-0/+210
* 1125Kartik K. Agaram2015-04-221-26/+26
* 1116 - simpler memory checksKartik K. Agaram2015-04-201-0/+29
* 1109 - interpolate stringsKartik K. Agaram2015-04-203-0/+2078
* 1108 - check for typos in memory expectations in scenariosKartik K. Agaram2015-04-201-0/+5
* 1107Kartik K. Agaram2015-04-201-0/+3
* 1105 - more primitives for managing ingredientsKartik K. Agaram2015-04-1932-50/+99
* 1103Kartik K. Agaram2015-04-191-0/+11
* 1101Kartik K. Agaram2015-04-1913-22/+22
* 1100Kartik K. Agaram2015-04-191-0/+759
* 1099 - new recipe: convert integer to decimal stringKartik K. Agaram2015-04-187-4/+1189
* 1097 - 'grow-buffer' works the first time!Kartik K. Agaram2015-04-181-0/+355
* 1090Kartik K. Agaram2015-04-174-11/+537
* 1089Kartik K. Agaram2015-04-171-0/+51
* 1088 - start porting the 'buffer' typeKartik K. Agaram2015-04-171-0/+204
* 1087 - mu files can now define containers and exclusive containersKartik K. Agaram2015-04-172-0/+10
* 1086 - support variant names in 'maybe-convert'Kartik K. Agaram2015-04-171-0/+32
* 1085 - to access variants of sum types use 'maybe-convert'Kartik K. Agaram2015-04-172-0/+62
* 1084Kartik K. Agaram2015-04-1729-51/+51
* 1083 - start of a sum type for muKartik K. Agaram2015-04-171-0/+34
* 1075Kartik K. Agaram2015-04-1743-145/+130
* 1074Kartik K. Agaram2015-04-1730-52/+52
* 1069 - rename record/field to container/elementKartik K. Agaram2015-04-165-2/+2
* 1066 - bugfix: support string literals with colonsKartik K. Agaram2015-04-151-0/+8
* 1063 - variable names for surrounding spaces now workKartik K. Agaram2015-04-1410-1/+137
* 1061Kartik K. Agaram2015-04-141-0/+14
* 1058 - scenarios can now check traceKartik K. Agaram2015-04-123-0/+29
* 1054Kartik K. Agaram2015-04-121-0/+11
* 1050Kartik K. Agaram2015-04-115-108/+124
* 1046 - mu programs can now add to the traceKartik K. Agaram2015-04-091-0/+7
* 1045Kartik K. Agaram2015-04-0923-38/+38
* 1042 - start saving traces in mu scenariosKartik K. Agaram2015-04-085-0/+791
* 1030 - better test isolation for break/loopKartik K. Agaram2015-04-0720-26/+26
* 1017Kartik K. Agaram2015-04-041-0/+11
* 1013Kartik K. Agaram2015-04-0321-35/+35
* 1010Kartik K. Agaram2015-04-035-7/+57
* 1009Kartik K. Agaram2015-04-031-0/+37
* 1007Kartik K. Agaram2015-04-035-8/+5
* 1002Kartik K. Agaram2015-04-021-0/+1
* 1001Kartik K. Agaram2015-04-021-0/+35
* 1000Kartik K. Agaram2015-03-312-2/+31
* 999Kartik K. Agaram2015-03-312-2/+9
* 998 - convenient string initializationKartik K. Agaram2015-03-302-1/+23
* 997Kartik K. Agaram2015-03-3089-497/+497
* 996 - string literalsKartik K. Agaram2015-03-303-2/+11
* 994 - spaces now check boundsKartik K. Agaram2015-03-292-4/+25