index
:
yellowsquid/helium.git
abstract
axiomatic
dev/bitvec-arith
last-attempt
master
[no description]
Chloe Brown
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Helium
/
Data
Age
Commit message (
Expand
)
Author
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
