| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | casts: add casts for unsigned -> signed int | Sean Cross | 2023-02-15 | 1 | -1/+1 |
| | | | | | | | | | | | When compiling on Darwin ARM64 hardware using the Conda clang compiler, compilation fails due to these casts going from `unsigned` to `int`. In these cases, a cast appears to be the correct approach. Add a cast to make the compiler happy. Signed-off-by: Sean Cross <sean@xobs.io> | ||||
| * | Fixing new resub code. | Alan Mishchenko | 2020-07-20 | 1 | -1/+0 |
| | | |||||
| * | Experiment with structural similarity. | Alan Mishchenko | 2020-07-16 | 1 | -0/+92 |
| | | |||||
| * | Various changes to enable better CNF generation. | Alan Mishchenko | 2014-06-17 | 1 | -68/+0 |
| | | |||||
| * | Experiment with new idea for ISO. | Alan Mishchenko | 2014-05-21 | 1 | -0/+235 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |