| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 2248 | Kartik K. Agaram | 2015-10-05 | 1 | -9/+6 |
| | | |||||
| * | 2247 - type-check products of non-primitive recipes | Kartik K. Agaram | 2015-10-05 | 12 | -91/+114 |
| | | | | | | | | | We still can't check ingredient types, and even this is still a run-time check. We'll need to start tracking recipe signatures at some point. I've had to introduce a hack called /skiptypecheck. Time to get generics working. | ||||
| * | 2246 | Kartik K. Agaram | 2015-10-05 | 1 | -1/+1 |
| | | |||||
| * | 2245 | Kartik K. Agaram | 2015-10-05 | 1 | -4/+1 |
| | | |||||
| * | 2244 | Kartik K. Agaram | 2015-10-05 | 2 | -9/+9 |
| | | |||||
| * | 2243 | Kartik K. Agaram | 2015-10-05 | 2 | -1/+3 |
| | | |||||
| * | 2242 | Kartik K. Agaram | 2015-10-05 | 2 | -3/+54 |
| | | |||||
| * | 2241 - back to type-checking get-address | Kartik K. Agaram | 2015-10-05 | 5 | -10/+32 |
| | | | | | | Now duplex-list is fully non-generic and only works with characters. But we'll fix that in a bit.. | ||||
| * | 2240 - drop the failing test in 'mu sandbox' | Kartik K. Agaram | 2015-10-04 | 1 | -45/+1 |
| | | | | | | | With our new type checks it's no longer possible to expand traces generated directly in the sandbox. So now there's yet another test that we can't run in the sandbox/ app. Yet. | ||||
| * | 2239 | Kartik K. Agaram | 2015-10-04 | 1 | -1/+5 |
| | | |||||
| * | 2238 - dump recipes after tangling | Kartik K. Agaram | 2015-10-04 | 2 | -0/+10 |
| | | |||||
| * | 2237 | Kartik K. Agaram | 2015-10-04 | 2 | -2/+2 |
| | | |||||
| * | 2236 - all tests passing except one in 'mu sandbox' | Kartik K. Agaram | 2015-10-04 | 2 | -15/+17 |
| | | |||||
| * | 2235 | Kartik K. Agaram | 2015-10-02 | 1 | -4/+4 |
| | | |||||
| * | 2234 - check type of get's product | Kartik K. Agaram | 2015-10-02 | 4 | -20/+53 |
| | | | | | Already I'm finding type errors in the programming environment. | ||||
| * | 2233 - basic checks for non-primitive recipes | Kartik K. Agaram | 2015-10-01 | 2 | -8/+14 |
| | | | | | This came last because we had to ensure all primitives are covered. | ||||
| * | 2232 | Kartik K. Agaram | 2015-10-01 | 16 | -129/+435 |
| | | |||||
| * | 2231 | Kartik K. Agaram | 2015-10-01 | 1 | -0/+1 |
| | | |||||
| * | 2230 | Kartik K. Agaram | 2015-10-01 | 1 | -11/+17 |
| | | |||||
| * | 2229 | Kartik K. Agaram | 2015-10-01 | 1 | -0/+6 |
| | | |||||
| * | 2228 - index-checking for arrays | Kartik K. Agaram | 2015-10-01 | 1 | -23/+47 |
| | | |||||
| * | 2227 - offset-checking for containers | Kartik K. Agaram | 2015-10-01 | 4 | -42/+88 |
| | | |||||
| * | 2226 - standardize warning format | Kartik K. Agaram | 2015-10-01 | 33 | -175/+186 |
| | | | | | | | | | Always show recipe name where error occurred. But don't show internal 'interactive' name for sandboxes, that's just confusing. What started out as warnings are now ossifying into errors that halt all execution. Is this how things went with C and Unix as well? | ||||
| * | 2225 | Kartik K. Agaram | 2015-10-01 | 4 | -63/+91 |
| | | |||||
| * | 2224 | Kartik K. Agaram | 2015-09-30 | 1 | -3/+3 |
| | | |||||
| * | 2223 | Kartik K. Agaram | 2015-09-30 | 2 | -20/+32 |
| | | |||||
| * | 2222 | Kartik K. Agaram | 2015-09-30 | 3 | -14/+14 |
| | | |||||
| * | 2221 | Kartik K. Agaram | 2015-09-30 | 4 | -19/+46 |
| | | |||||
| * | 2220 | Kartik K. Agaram | 2015-09-30 | 3 | -34/+121 |
| | | |||||
| * | 2219 | Kartik K. Agaram | 2015-09-30 | 1 | -12/+4 |
| | | |||||
| * | 2218 - check types in instructions much earlier | Kartik K. Agaram | 2015-09-30 | 13 | -132/+177 |
| | | | | | | | | | | Front-loads it a bit more than I'd like, but the payoff is that other recipes will now be able to describe the type checks right next to their operation. I'm also introducing a new use of /raw with literals to indicate unsafe typecasts. | ||||
| * | 2217 | Kartik K. Agaram | 2015-09-29 | 2 | -0/+0 |
| | | |||||
| * | 2216 | Kartik K. Agaram | 2015-09-29 | 2 | -1/+13 |
| | | |||||
| * | 2215 | Kartik K. Agaram | 2015-09-29 | 1 | -1/+1 |
| | | |||||
| * | 2214 | Kartik K. Agaram | 2015-09-28 | 8 | -33/+39 |
| | | |||||
| * | 2213 - start moving type checks out of 'run' | Kartik K. Agaram | 2015-09-28 | 4 | -43/+88 |
| | | | | | | That way we only have to check each static instruction once, rather than every time it runs. | ||||
| * | 2212 | Kartik K. Agaram | 2015-09-28 | 1 | -6/+6 |
| | | |||||
| * | 2211 | Kartik K. Agaram | 2015-09-28 | 1 | -0/+0 |
| | | |||||
| * | 2209 | Kartik K. Agaram | 2015-09-26 | 1 | -4/+4 |
| | | |||||
| * | 2208 | Kartik K. Agaram | 2015-09-26 | 1 | -0/+5 |
| | | |||||
| * | 2207 | Kartik K. Agaram | 2015-09-26 | 1 | -1/+1 |
| | | |||||
| * | 2206 - fix missing ingredients | Kartik K. Agaram | 2015-09-26 | 3 | -5/+5 |
| | | | | | | How the heck was this working until now? There must be redundant moves. And was I clobbering test data? | ||||
| * | 2205 - warn on missing ingredient | Kartik K. Agaram | 2015-09-18 | 2 | -1/+13 |
| | | | | | ..unless you explicitly ignore the found? result. | ||||
| * | 2204 | Kartik K. Agaram | 2015-09-16 | 1 | -2/+8 |
| | | |||||
| * | 2203 - show recipe warnings in 'mu sandbox' | Kartik K. Agaram | 2015-09-15 | 2 | -9/+8 |
| | | |||||
| * | 2202 - don't let editor die on syntax errors | Kartik K. Agaram | 2015-09-15 | 3 | -35/+50 |
| | | | | | | Bugfix to 2186. I hadn't taken care of 'reload' as cleanly as I had 'run-interactive'. | ||||
| * | 2201 | Kartik K. Agaram | 2015-09-15 | 1 | -2/+4 |
| | | |||||
| * | 2200 | Kartik K. Agaram | 2015-09-15 | 2 | -10/+14 |
| | | |||||
| * | 2199 - stop printing numbers in scientific notation | Kartik K. Agaram | 2015-09-14 | 13 | -33/+79 |
| | | | | | | | | | | | | Turns out the default format for printing floating point numbers is neither 'scientific' nor 'fixed' even though those are the only two options offered. Reading the C++ standard I found out that the default (modulo locale changes) is basically the same as the printf "%g" format. And "%g" is basically the shorter of: a) %f with trailing zeros trimmed b) %e So we'll just do %f and trim trailing zeros. | ||||
| * | 2197 | Kartik K. Agaram | 2015-09-14 | 1 | -1/+1 |
| | | |||||