Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | kicad.dl: Always add fact-type/value for all components. Still adding | Trygve Laugstøl | 2019-08-15 | 1 | -0/+5 |
* | kicad.dl: Adding rules for LEDs. | Trygve Laugstøl | 2019-08-12 | 1 | -0/+22 |
* | kicad.dl: Better organization of rules for classifying resistors, | Trygve Laugstøl | 2019-06-12 | 1 | -35/+112 |
* | souffle: Using the same relation for inputs and outputs was not a good | Trygve Laugstøl | 2019-06-12 | 2 | -9/+11 |
* | digikey.dl/kicad.dl: more rules. | Trygve Laugstøl | 2019-05-30 | 2 | -0/+16 |
* | kicad.dl: Classifying net-ties and test points as such. | Trygve Laugstøl | 2019-05-29 | 1 | -0/+24 |
* | digikey.dl: More rules. | Trygve Laugstøl | 2019-05-28 | 1 | -0/+2 |
* | part-validate-parts: Better output, yielding a message even if | Trygve Laugstøl | 2019-05-28 | 1 | -2/+27 |
* | souffle: | Trygve Laugstøl | 2019-05-27 | 3 | -0/+12 |
* | Adding Soufflé based reasoning on parts. Replacing default configuration | Trygve Laugstøl | 2019-05-27 | 2 | -0/+46 |