git.libre-soc.org Git - soc.git/history - src/soc/alu/formal/proof_input

2020-05-11	Michael Nolan	Fix proof_input_stage.py	blob \| commitdiff \| raw
2020-05-08	Michael Nolan	Have input_stage set the b operand to imm_data if it...	blob \| commitdiff \| raw \| diff to current
2020-05-08	Michael Nolan	Convert alu to use the op in ctx	blob \| commitdiff \| raw \| diff to current
2020-05-08	Michael Nolan	Add FPPipeContext to alu pipe_data	blob \| commitdiff \| raw \| diff to current
2020-05-08	Michael Nolan	Add handling of A inversion and B input	blob \| commitdiff \| raw \| diff to current
2020-05-08	Michael Nolan	Begin adding input stage of alu	blob \| commitdiff \| raw \| diff to current