CS428/528 Assignment 4
Last modified: Mar 09, 2024.
Due: Mar 25, 2024
- Equiv.v
- skip_right
- if_false
- swap_if_branches
- while_true
- seq_assoc
- assign_aequiv
- CSeq_congruence
- CIf_congruence
- fold_constants_bexp_sound
- fold_constants_com_sound
- Hoare.v
- hoare_asgn_examples1
- hoare_asgn_examples2
- hoare_asgn_wrong
- hoare_asgn_forward
- swap_exercise
- if_minus_plus