remove XER.ca from logical Input Data - not needed
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 27 May 2020 15:49:36 +0000 (16:49 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 27 May 2020 15:49:36 +0000 (16:49 +0100)
commitaed94fbb7834e73b6dd44d4264174db5f51719b6
treea79abf17707cf1f97ebe4e94ad394c8d7dd6c639
parent84f7cf502d8d80a8198530aa0ef4611140dd500d
remove XER.ca from logical Input Data - not needed
src/soc/fu/common_input_stage.py
src/soc/fu/logical/formal/proof_input_stage.py
src/soc/fu/logical/formal/proof_main_stage.py
src/soc/fu/logical/pipe_data.py
src/soc/fu/logical/test/test_pipe_caller.py