Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | souffle rule: Adding old KiCAD library names. | Trygve Laugstøl | 2019-10-15 | 1 | -0/+3 |
* | 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 | 1 | -6/+7 |
* | digikey.dl/kicad.dl: more rules. | Trygve Laugstøl | 2019-05-30 | 1 | -0/+3 |
* | kicad.dl: Classifying net-ties and test points as such. | Trygve Laugstøl | 2019-05-29 | 1 | -0/+24 |
* | souffle: | Trygve Laugstøl | 2019-05-27 | 1 | -0/+1 |
* | Adding Soufflé based reasoning on parts. Replacing default configuration | Trygve Laugstøl | 2019-05-27 | 1 | -0/+43 |