Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Rename struct predicate. | David Thompson | 2023-06-08 | 1 | -8/+8 | |
* | Add array references. | David Thompson | 2023-06-08 | 1 | -14/+134 | |
* | Even more renaming. | David Thompson | 2023-06-08 | 1 | -40/+40 | |
* | More renaming. | David Thompson | 2023-06-08 | 1 | -44/+44 | |
* | Remove (var ...) intermediate form. | David Thompson | 2023-06-08 | 1 | -16/+11 | |
* | Fix top level type env creation. | David Thompson | 2023-06-08 | 1 | -124/+108 | |
* | Some renaming. | David Thompson | 2023-06-08 | 1 | -182/+179 | |
* | Add struct types. | David Thompson | 2023-06-08 | 1 | -114/+283 | |
* | A little clean up and organization. | David Thompson | 2023-06-08 | 1 | -52/+29 | |
* | Define lots of built-in types and fix outputs form. | David Thompson | 2023-06-08 | 1 | -207/+190 | |
* | Emitting overloaded functions seems to work! | David Thompson | 2023-06-08 | 1 | -9/+15 | |
* | Fix predicate eval bug. | David Thompson | 2023-06-08 | 1 | -1/+4 | |
* | Overload resolution that almost works. | David Thompson | 2023-06-08 | 1 | -20/+76 | |
* | Improve predicate composition and evaluation. | David Thompson | 2023-06-08 | 1 | -100/+260 | |
* | Infer all possible forms. | David Thompson | 2023-06-08 | 1 | -22/+111 | |
* | Qualified types that mostly work. | David Thompson | 2023-06-08 | 1 | -632/+693 | |
* | Misc. tweaks. | David Thompson | 2023-06-08 | 1 | -17/+36 | |
* | Fix hoisting. | David Thompson | 2023-06-08 | 1 | -7/+26 | |
* | A char is not a valid GLSL immediate. | David Thompson | 2023-06-08 | 1 | -1/+0 | |
* | Add exception type for type errors. | David Thompson | 2023-06-08 | 1 | -3/+19 | |
* | Add case/cond. | David Thompson | 2023-06-08 | 1 | -16/+67 | |
* | Add and/or. | David Thompson | 2023-06-08 | 1 | -0/+18 | |
* | Re-organize a bit. | David Thompson | 2023-06-08 | 1 | -85/+85 | |
* | Update some comments. | David Thompson | 2023-06-08 | 1 | -10/+13 | |
* | Add start of vertex/fragment shader distinction. | David Thompson | 2023-06-08 | 1 | -149/+167 | |
* | Shader outputs. | David Thompson | 2023-06-08 | 1 | -48/+186 | |
* | top-level inputs/uniforms. | David Thompson | 2023-06-08 | 1 | -15/+75 | |
* | Fix more inference bugs. | David Thompson | 2023-06-08 | 1 | -5/+17 | |
* | Fix call annotation for multi-value functions. | David Thompson | 2023-06-08 | 1 | -1/+3 | |
* | Partial multi-value return support. | David Thompson | 2023-06-08 | 1 | -2/+42 | |
* | Overload vec3/vec4 constructors. | David Thompson | 2023-06-08 | 1 | -4/+20 | |
* | Add support for more primitives. | David Thompson | 2023-06-08 | 1 | -46/+129 | |
* | Use continuation-passing style to get overloads working. | David Thompson | 2023-06-08 | 1 | -162/+225 | |
* | Add to Makefile.am. | David Thompson | 2023-06-08 | 1 | -1/+1 | |
* | Fix inference for top-level. | David Thompson | 2023-06-08 | 1 | -12/+4 | |
* | Remove a bunch of cruft. | David Thompson | 2023-06-08 | 1 | -353/+34 | |
* | A lot of garbage. | David Thompson | 2023-06-08 | 1 | -42/+462 | |
* | Update feature list. | David Thompson | 2023-06-08 | 1 | -4/+4 | |
* | Constant propagation and partial evaluation. | David Thompson | 2023-06-08 | 1 | -0/+99 | |
* | Allow - and / to be n-ary. | David Thompson | 2023-06-08 | 1 | -0/+31 | |
* | Allow + and * to be n-ary. | David Thompson | 2023-06-08 | 1 | -0/+18 | |
* | Better GLSL emission. | David Thompson | 2023-06-08 | 1 | -146/+189 | |
* | GLSL emission | David Thompson | 2023-06-08 | 1 | -6/+122 | |
* | Add unification pass. | David Thompson | 2023-06-08 | 1 | -89/+268 | |
* | Add type annotation pass. | David Thompson | 2023-06-08 | 1 | -5/+376 | |
* | Add function hoisting and redo free variable analysis. | David Thompson | 2023-06-08 | 1 | -58/+120 | |
* | Add macro expansion and free variable annotation. | David Thompson | 2023-06-08 | 1 | -14/+239 | |
* | Add skeleton of Seagull compiler. | David Thompson | 2023-06-08 | 1 | -0/+115 | |
* | intersection types. | David Thompson | 2023-06-08 | 1 | -6/+37 | |
* | call-with-values | David Thompson | 2023-06-08 | 1 | -11/+30 |