index
:
ee-python.git
fact
master
Trygve Laugstøl
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
ee
/
souffle
Commit message (
Expand
)
Author
Age
Files
Lines
*
souffle: Adding support for categories.
Trygve Laugstøl
2019-10-16
2
-0
/
+10
*
souffle rule: Adding old KiCAD library names.
Trygve Laugstøl
2019-10-15
1
-0
/
+3
*
souffle rule: Adding rule: dk_manufacturer_part_to_common_footprint.
Trygve Laugstøl
2019-10-15
1
-0
/
+8
*
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