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
/
Pseudocode
Age
Commit message (
Collapse
)
Author
2022-03-08
Migrate to agda-stdlib-2.0-dev.
axiomatic
Greg Brown
2022-03-08
Add reference substitution to terms.
Greg Brown
2022-03-03
Add function to eliminate all calls in expressions
Greg Brown
2022-03-03
Add way to convert function calls to expressions
Greg Brown
2022-02-22
Add if_then_ statements
Greg Brown
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
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
This is anticipating the addition of pseudocode as a data type. That should make the denotational semantics much more performant, and allows the addition of new forms of semantics without duplicating effort.
