switch to exact version of cython
[ieee754fpu.git] / src / ieee754 / part_cmp / experiments /
2022-05-11 Jacob Lifshayfix some borked imports
2021-10-02 Luke Kenneth Casso... add PartitionedSignal.all() and unit test, currently...
2021-10-02 Luke Kenneth Casso... add PartitionedAll operator, based on PartitionedBase
2021-01-16 Luke Kenneth Casso... convert EQCombiner to general-purpose, create XORCombiner
2021-01-10 Cesar StraussUse styles in write_gtkw to simplify the trace description
2021-01-10 Cesar StraussFactor-out the code to make equally spaced partition...
2021-01-09 Cesar StraussPost-process PartitionedEq to ripple the LSB
2021-01-09 Cesar StraussImplement formal verification of PartitionedEq based...
2020-02-05 Michael Nolanmove unused partitioned comparison modules to experiments/
2020-02-05 Michael Nolanmove gt_combiner out of experiments/
2020-02-05 Luke Kenneth Casso... whitespace
2020-02-05 Michael NolanAdd module to handle partitioned eq, gt, and ge comparisons
2020-02-05 Michael NolanReverse order of gt combiner so it works MSB first
2020-02-05 Michael NolanAdd a signal to disable the gt inputs to gt_combiner
2020-02-04 Luke Kenneth Casso... add experiments __init__.py
2020-02-04 Luke Kenneth Casso... bit of whitespace
2020-02-04 Luke Kenneth Casso... using format is a bit long for 1 argument, just use %d
2020-02-04 Michael NolanModify gt experiment to handle eq as well
2020-02-03 Michael NolanAdd proof for using the greater than combiner to do...
2020-02-03 Michael NolanAdd tree-based greater than experiment
2020-02-03 Michael NolanMove experiments with partition methods to a separate...