projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
switch to exact version of cython
[ieee754fpu.git] / src / ieee754 / part_cmp / formal /
2022-05-11 Jacob Lifshayfix some borked imports tree | commitdiff
2021-01-11 Cesar StraussApparently PartitionedEqGtGe is already conformant tree | commitdiff
2021-01-10 Cesar StraussUse styles in write_gtkw to simplify the trace description tree | commitdiff
2021-01-10 Cesar StraussFactor-out the code to make equally spaced partition... tree | commitdiff
2021-01-09 Cesar StraussUse the correct class name tree | commitdiff
2021-01-09 Cesar StraussCheck all possible opcodes for PartitionedEqGtGe tree | commitdiff
2021-01-09 Cesar StraussFormal verification of PartitionedEqGtGe (EQ only) tree | commitdiff
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