projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc4976c) | patch
Move experiments with partition methods to a separate folder
authorMichael Nolan <mtnolan2640@gmail.com>
Mon, 3 Feb 2020 19:41:36 +0000 (14:41 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Mon, 3 Feb 2020 19:41:36 +0000 (14:41 -0500)
commit2b7dcaba26f793e49acf82fa8408568b810369eb
treea087ad85340afe9eaf1fdbfe539adfb9aadc5eebtree
parentdc4976ccca3303aee55acd3e99024f52cf1c7e4bcommit | diff
Move experiments with partition methods to a separate folder
src/ieee754/part_cmp/eq_combiner.py [deleted file] blob | history
src/ieee754/part_cmp/experiments/eq_combiner.py [new file with mode: 0644] blob
src/ieee754/part_cmp/experiments/formal/.gitignore [new file with mode: 0644] blob
src/ieee754/part_cmp/experiments/formal/proof_eq.py [new file with mode: 0644] blob
src/ieee754/part_cmp/experiments/test.py [new file with mode: 0644] blob
src/ieee754/part_cmp/formal/proof_eq.py [deleted file] blob | history