projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
improve code-comments some more
[ieee754fpu.git] / src /
2021-10-11 Luke Kenneth Casso... improve code-comments some more tree | commitdiff
2021-10-11 Luke Kenneth Casso... improve code-comments some more tree | commitdiff
2021-10-11 Luke Kenneth Casso... improve code-comments tree | commitdiff
2021-10-10 Luke Kenneth Casso... whoops conversion of list of 0/1 needed reversing tree | commitdiff
2021-10-10 Luke Kenneth Casso... add option to do fixed-width layout tree | commitdiff
2021-10-10 Luke Kenneth Casso... add a check of bitp against the expected partition... tree | commitdiff
2021-10-10 Luke Kenneth Casso... add phase 3 of the layout() experiment. tree | commitdiff
2021-10-10 Luke Kenneth Casso... convert to two-stage layout points-creation tree | commitdiff
2021-10-10 Luke Kenneth Casso... add code-comments tree | commitdiff
2021-10-10 Luke Kenneth Casso... added example with elwidth==Signal(2) from: tree | commitdiff
2021-10-10 Luke Kenneth Casso... remove Shape, signed and unsigned from layout experiment, tree | commitdiff
2021-10-10 Luke Kenneth Casso... add layout experiment from tree | commitdiff
2021-10-10 Luke Kenneth Casso... fix SimdSignal Repl test (was previously unfinished) tree | commitdiff
2021-10-10 Luke Kenneth Casso... big rename PartitionedSignal to SimdSignal (shorter) tree | commitdiff
2021-10-10 Luke Kenneth Casso... add some more comments for the elwidth-adapter tree | commitdiff
2021-10-09 Luke Kenneth Casso... altered test_partsig2.py removed outval, run with outva... tree | commitdiff
2021-10-09 Luke Kenneth Casso... add PartType context to PartitionedMux tree | commitdiff
2021-10-09 Luke Kenneth Casso... convert PartitionedAssign and PAssign over to PartType tree | commitdiff
2021-10-09 Luke Kenneth Casso... covert PartitionedCat (and PCat) over to PartType format tree | commitdiff
2021-10-09 Luke Kenneth Casso... convert PartitionedRepl over to new "PartType" format tree | commitdiff
2021-10-09 Luke Kenneth Casso... add TestReplMod, under development tree | commitdiff
2021-10-05 Luke Kenneth Casso... add PartitionedRepl into PartitionedSignal.__Repl__ tree | commitdiff
2021-10-05 Luke Kenneth Casso... shuffle order of functions (whitespace) to same order... tree | commitdiff
2021-10-05 Luke Kenneth Casso... add PartitionedRepl first version, no unit test just... tree | commitdiff
2021-10-05 Luke Kenneth Casso... whoops accidentally removed bugreport link tree | commitdiff
2021-10-05 Luke Kenneth Casso... add signed/unsigned functions and preliminary unit... tree | commitdiff
2021-10-05 Luke Kenneth Casso... pull in unit test code for PartitionedSignal.matches... tree | commitdiff
2021-10-05 Luke Kenneth Casso... bit of a reorder / reorg, to match up with current... tree | commitdiff
2021-10-05 Luke Kenneth Casso... disable mul and rmul in PartitionedSignal for now tree | commitdiff
2021-10-04 Jacob Lifshayrewrite complex comprehensions as for loops tree | commitdiff
2021-10-04 Jacob LifshayFix broken code caused by attempted removal of type... tree | commitdiff
2021-10-02 Luke Kenneth Casso... add TODO comments tree | commitdiff
2021-10-02 Luke Kenneth Casso... add a PartitionedSignal.any() test and extend range... tree | commitdiff
2021-10-02 Luke Kenneth Casso... make note about failing PartitionedAll tree | commitdiff
2021-10-02 Luke Kenneth Casso... revert to using self == Const(-1) for now in Partitione... tree | commitdiff
2021-10-02 Luke Kenneth Casso... bit more sophisticated on the partsig horizontal test... tree | commitdiff
2021-10-02 Luke Kenneth Casso... add PartitionedSignal.all() and unit test, currently... tree | commitdiff
2021-10-02 Luke Kenneth Casso... add PartitionedAll operator, based on PartitionedBase tree | commitdiff
2021-10-02 Luke Kenneth Casso... add bool PartitionedSignal test tree | commitdiff
2021-10-02 Luke Kenneth Casso... removing unnecessary type information which makes the... tree | commitdiff
2021-10-02 Jacob Lifshayadd PartitionedSignalTester tree | commitdiff
2021-10-01 Luke Kenneth Casso... split out logical ops into PartitionedBase tree | commitdiff
2021-10-01 Luke Kenneth Casso... add PartitionedBool class (based on PartitionedXOR) tree | commitdiff
2021-10-01 Luke Kenneth Casso... add quick use/self-test to PartitionedXOR tree | commitdiff
2021-09-30 Luke Kenneth Casso... add PartitionedSignal XOR partsig test tree | commitdiff
2021-09-30 Luke Kenneth Casso... partsig unit test tidyup tree | commitdiff
2021-09-30 Luke Kenneth Casso... test names to go under a different fileset tree | commitdiff
2021-09-30 Luke Kenneth Casso... add scalar test of PartitionedSignal.__Assign__ tree | commitdiff
2021-09-30 Luke Kenneth Casso... add six combinations of PartitionedSignal.__Assign__... tree | commitdiff
2021-09-30 Luke Kenneth Casso... rework partsig TestAssign to cope with different types... tree | commitdiff
2021-09-30 Luke Kenneth Casso... fix PartitionedAssign, PAssign, and PartitionedSignal... tree | commitdiff
2021-09-30 Luke Kenneth Casso... correct test_partsig name, remove redundant code tree | commitdiff
2021-09-30 Luke Kenneth Casso... remove PartitionedSignal.eq, expectation is to use... tree | commitdiff
2021-09-30 Luke Kenneth Casso... whitespace / comments tree | commitdiff
2021-09-29 Luke Kenneth Casso... add use of PartitionedAssign in PartitionedSignal,... tree | commitdiff
2021-09-29 Luke Kenneth Casso... add support in PartitionedAssign for scalar signals tree | commitdiff
2021-09-29 Luke Kenneth Casso... add PartitionedAssign class for use in PartitionedSignal tree | commitdiff
2021-09-29 Luke Kenneth Casso... add PartitionedSignal.shape function tree | commitdiff
2021-09-29 Luke Kenneth Casso... add PartitionedSignal.__len__ override, redirects to... tree | commitdiff
2021-09-29 Luke Kenneth Casso... reduce part_mask in partsig tests to 3 (actual number... tree | commitdiff
2021-09-29 Luke Kenneth Casso... add assert to check partition jump point size tree | commitdiff
2021-09-29 Luke Kenneth Casso... unit test for PartitionedSignal.__Cat__ tree | commitdiff
2021-09-28 Luke Kenneth Casso... move PCat to separate module tree | commitdiff
2021-09-28 Luke Kenneth Casso... add PartitionedSignal.__Cat__ override tree | commitdiff
2021-09-28 Luke Kenneth Casso... corrections to PartitionedCat after corrections to... tree | commitdiff
2021-09-28 Luke Kenneth Casso... add PartitionedSignal.__Mux__ unit test tree | commitdiff
2021-09-28 Luke Kenneth Casso... add PartitionedSignal.__Mux__ using existing PMux function tree | commitdiff
2021-09-27 Luke Kenneth Casso... derive PartitionedSignal from UserValue (temporarily... tree | commitdiff
2021-09-27 Luke Kenneth Casso... whitespace tree | commitdiff
2021-09-24 Luke Kenneth Casso... fix chunking to get correct order for PartitionedCat tree | commitdiff
2021-09-24 Luke Kenneth Casso... add first cut at PartitionedSignal "Cat" tree | commitdiff
2021-01-23 Cesar StraussConvert add and sub to return PartitionedSignal tree | commitdiff
2021-01-23 Cesar StraussRevert order of operations in PartitionedSignal.implies() tree | commitdiff
2021-01-23 Cesar StraussClarify comment about operations returning plain Signals tree | commitdiff
2021-01-23 Cesar StraussConvert all bitwise logical ops to return PartitionedSignal tree | commitdiff
2021-01-23 Cesar StraussAlso copy the module in PartotionSignal.like() tree | commitdiff
2021-01-23 Cesar StraussReturn a PartitionedSignal from the bitwise "not" operation tree | commitdiff
2021-01-23 Cesar StraussImplement PartitionedSignal.like() tree | commitdiff
2021-01-23 Cesar StraussUse z3 solver instead of yices2 when convenient tree | commitdiff
2021-01-20 Cesar StraussAdd tests for bitwise logical operators tree | commitdiff
2021-01-20 Cesar StraussReverse order of operations in implies() tree | commitdiff
2021-01-18 Cesar StraussDo not register carry-out on the PartitionedAdder tree | commitdiff
2021-01-17 Cesar StraussFix PartitionedSignal.neg and its test case tree | commitdiff
2021-01-17 Cesar StraussAllow the proof driver to check operations with integer... tree | commitdiff
2021-01-16 Cesar StraussUse RipleLSB in PartitionedXOR, and invert outputs ls180-24jan2020 tree | commitdiff
2021-01-16 Luke Kenneth Casso... add first cut at formal proof for PartitionedXOR tree | commitdiff
2021-01-16 Luke Kenneth Casso... add PartitionedXOR to PartitionedSignal (xor operator) tree | commitdiff
2021-01-16 Cesar StraussCheck PartitionedSignal.any(). tree | commitdiff
2021-01-16 Luke Kenneth Casso... add first cut (untested) of PartitionedXOR tree | commitdiff
2021-01-16 Luke Kenneth Casso... convert EQCombiner to general-purpose, create XORCombiner tree | commitdiff
2021-01-16 Luke Kenneth Casso... add partitioned signal any() operator tree | commitdiff
2021-01-16 Cesar StraussAllow a variable number of operands in the proof driver tree | commitdiff
2021-01-11 Cesar StraussApparently PartitionedEqGtGe is already conformant tree | commitdiff
2021-01-10 Cesar StraussImplement checks for all the rest of the comparison... tree | commitdiff
2021-01-10 Cesar StraussGenerate and check expected values for all possible... tree | commitdiff
2021-01-10 Cesar StraussGenerate shifted down input and outputs tree | commitdiff
2021-01-10 Cesar StraussUse styles in write_gtkw to simplify the trace description tree | commitdiff
2021-01-10 Cesar StraussAdd the Gate Generator to the ComparisonOpDriver tree | commitdiff
2021-01-10 Cesar StraussFactor-out the code to make equally spaced partition... tree | commitdiff
2021-01-10 Cesar StraussStart proof for PartitionedSignal equals operator tree | commitdiff
next