~cypheon/kicad2spice

Use labelled assertions to get a REALLY useful unsat-core.
9502f7f8 — Johann Rudloff 1 year, 10 months ago
Add basic smtlib-based netlist equivalency check.
96e390bc — Johann Rudloff 1 year, 10 months ago
Implement correct pin order according to field "Spice_Node_Sequence"
92c8156c — Johann Rudloff 1 year, 10 months ago
Move write_* functions closer together.
d18aa336 — Johann Rudloff 1 year, 10 months ago
Rename export_pspice -> export_spice
37b8b494 — Johann Rudloff 1 year, 10 months ago
Slightly change net naming to be more similiar to what eeschema generates.
3130700f — Johann Rudloff 1 year, 10 months ago
Export Spice netlist according to defined primitives, guarantee unique naming for components in netlist.
ab8dc55b — Johann Rudloff 1 year, 10 months ago
Ignore components during netlist export when field "spice_netlist_enabled" is set to "N".
7db08111 — Johann Rudloff 1 year, 10 months ago
Provide convenience accessor for component extra fields.
482cfdc3 — Johann Rudloff 1 year, 10 months ago
Parse extra fields of components.
f7dc604c — Johann Rudloff 1 year, 10 months ago
Fix net joining logic.
82eecfd6 — Johann Rudloff 1 year, 10 months ago
Enable parsing of ALIAS lines in parts libraries. Allow non-numeric pin "numbers".
70ba8d25 — Johann Rudloff 1 year, 10 months ago
Add s-exp parser.
bcfc1336 — Johann Rudloff 1 year, 10 months ago
Upgrade to ocaml>=4.08.0, replace batteries with extlib.
80e8dbf3 — Johann Rudloff 1 year, 10 months ago
Remove unneeded module qualifier.
492fec0f — Johann Rudloff 1 year, 10 months ago
Remove custom next_line function and use Lexing.new_line
8943c622 — Johann Rudloff 1 year, 10 months ago
Add tests.
f18e5ec1 — Johann Rudloff 1 year, 10 months ago
Add command line parser and basic command line flags for input and output.
753656e8 — Johann Rudloff 1 year, 11 months ago
Some renaming
e100615c — Johann Rudloff 1 year, 11 months ago
Adjust lib/dune
Next