summaryrefslogtreecommitdiff
path: root/src/Helium/Data/Pseudocode
AgeCommit message (Expand)Author
2022-03-03Add function to eliminate all calls in expressionsGreg Brown
2022-03-03Add way to convert function calls to expressionsGreg Brown
2022-02-22Add if_then_ statementsGreg Brown
2022-02-22Change stateful expressions to index on expressionGreg Brown
2022-02-21Replace tup with cons and nilGreg Brown
2022-02-21Generalise slice and join into cut and splice.Greg Brown
2022-02-21Introduce tuple deconstructor expressionsGreg Brown
2022-02-21Replace nat indices with fins.Greg Brown
2022-02-19Add predicate for being a sliced type.Greg Brown
2022-02-19Unalias bit type.Greg Brown
2022-02-18Remove declare case of Procedure.Greg Brown
2022-02-17Make call and invoke take All instead of tuple.Greg Brown
2022-02-16Begin work on axiomatic semantics.Greg Brown
2022-02-15Make expressions unable to change state.Greg Brown
2022-02-15Remove unnecessary return-type part of StatementGreg Brown
2022-02-13Finish definition of denotational semantics.Greg Brown
2022-02-02Define pseudocode for a number of instructions.Greg Brown
2022-01-21Add pseudocode as a data type.Greg Brown
2022-01-19Rename pseudocode file.Greg Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-30 21:44:45 +0000