yellowsquid/helium.git - [no description]

Age	Commit message (Expand)	Author
2022-03-08	Add reference substitution to terms.	Greg Brown
2022-02-22	Add if_then_ statements	Greg Brown
2022-02-21	Replace tup with cons and nil	Greg Brown
2022-02-21	Generalise slice and join into cut and splice.	Greg Brown
2022-02-21	Introduce tuple deconstructor expressions	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-16	Begin work on axiomatic semantics.	Greg Brown
2022-02-15	Make expressions unable to change state.	Greg Brown
2022-02-15	Remove unnecessary return-type part of Statement	Greg Brown
2022-02-13	Finish definition of denotational semantics.	Greg Brown
2022-02-02	Define pseudocode for a number of instructions.	Greg Brown
2022-01-12	Eliminate even more state from the denotational semantics.	Greg Brown
2021-12-28	Make the denotational semantics total.	Greg Brown
2021-12-27	Introduce Everything.agda to aid in overall compilation.	Greg Brown
2021-12-21	Define execBeats, a wrapper to execute beat-wise instructions.	Greg Brown
2021-12-21	Define semantics of vqdmulh.	Greg Brown
2021-12-20	Inline and rearrange to make vadd and vhsub look more similar.	Greg Brown
2021-12-20	Define semantics of vhsub.	Greg Brown
2021-12-20	Add references to the core denotational semantics.last-attempt	Greg Brown
2021-12-19	Define core of denotational semantics.	Greg Brown