yellowsquid/helium.git - [no description]

Age	Commit message (Expand)	Author
2022-02-22	Change stateful expressions to index on expression	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	Add predicate for being a sliced type.	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	Refactor to group instruction definitions together	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-21	Add pseudocode as a data type.	Greg Brown
2022-01-19	Rename pseudocode file.	Greg Brown
2022-01-18	Define the semantics of pseudocode data types.	Greg Brown
2022-01-08	Make RawPseudocode contain its own bundles.	Greg Brown
2022-01-07	Rename ⟦_⟧ to float.	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	Remove bitstring addition.	Greg Brown
2021-12-20	Define semantics of vhsub.	Greg Brown
2021-12-20	Add some convenience functions.	Greg Brown
2021-12-19	Define a minimal interface for working with Arm pseudocode.	Greg Brown