projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
run tests in parallel
[ieee754fpu.git] / src / ieee754 / part_cmp / formal /
2020-02-07 Michael NolanRemove unneeded and gate in gt_combiner tree | commitdiff
2020-02-07 Michael Nolanmodify reorder_bits to copy the MSB of the partition... tree | commitdiff
2020-02-06 Michael NolanAdd 0 assertions to the proof for eq_gt_ge tree | commitdiff
2020-02-05 Michael NolanFix order of results from PartitionedEqGtGe tree | commitdiff
2020-02-05 Michael Nolanmove unused partitioned comparison modules to experiments/ tree | commitdiff
2020-02-05 Michael Nolanmove gt_combiner out of experiments/ tree | commitdiff
2020-02-05 Luke Kenneth Casso... whitespace tree | commitdiff
2020-02-05 Luke Kenneth Casso... 80 char limit tree | commitdiff
2020-02-05 Michael NolanAdd module to handle partitioned eq, gt, and ge comparisons tree | commitdiff
2020-02-05 Michael NolanAdd proof for equals module tree | commitdiff
2020-02-03 Michael NolanMove experiments with partition methods to a separate... tree | commitdiff
2020-02-03 Michael NolanRename partition_combiner to eq_combiner tree | commitdiff
2020-02-03 Michael NolanAdd an alternative partitioned equals combiner module tree | commitdiff