Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-02-22 | Add if_then_ statements | Greg Brown | |
2022-02-21 | Replace nat indices with fins. | Greg Brown | |
2022-02-19 | Unalias bit type. | Greg Brown | |
2022-02-18 | Remove declare case of Procedure. | Greg Brown | |
2022-02-17 | Make call and invoke take All instead of tuple. | Greg Brown | |
2022-02-15 | Make expressions unable to change state. | Greg Brown | |
2022-02-13 | Write pseudocode definition of Barrett reduction | Greg Brown | |
2022-02-13 | Define vmla instruction. | Greg Brown | |
2022-02-13 | Extract common code from pseudocode instructions | Greg Brown | |
2022-02-13 | Refactor to group instruction definitions together | Greg Brown | |