Change Log

v0.3 (Not yet released)

  • DIMACS reader: on_format, on_number_of_variables, onnumber_of_clauses, on_clause, on_end (contributed by Bruno Schmitt) #39

  • Bristol reader: on_header, on_gate #32

  • BLIF reader: on_latch (contributed by Max Austin) #28

  • Writer visitor: verilog_writer

  • Verilog reader: on_module_instantiation, on_parameter, on_inputs, on_outputs, on_wires, on_nand, on_nor, on_xnor

  • Bench reader: on_dff_input, on_dff

  • GENLIB reader: on_gate (based on code contributed by Shubham Rai) #41

  • Diagnostic infrastructure: diagnostic_consumer, text_diagnostics #56

v0.2 (October 18, 2018)

  • Reader visitor: verilog_reader

  • Pretty printer: verilog_pretty_printer

  • Writer visitor: pla_writer

  • New AIGER 1.9 parser: aiger_reader, ascii_aiger_pretty_printer

v0.1 (April 27, 2018)

  • Reader visitors: aiger_reader, bench_reader, blif_reader, pla_reader

  • Pretty printer: ascii_aiger_pretty_printer, bench_pretty_priter, blif_pretty_printer, pla_pretty_printer

  • Diagnostic infrastructure: diagnostic_builder, diagnostic_engine

  • Generic topological re-sorting: call_in_topological_order