Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 20, 2024

• Test that the input order of a lut simu is correctly handled

  Coloquinte

  committed
  c9a17d2

  Copy full SHA for c9a17d2

• Enable manual dispatch for github actions

  Coloquinte

  committed
  882aee8

  Copy full SHA for 882aee8

• patch: fix input stuck lut simulation

  Coloquinte

  committed
  d7107f4

  Copy full SHA for d7107f4

Commits on Oct 15, 2024

• patch: fix lut

  Show description for c0ed4cd
  ClSlaid

  committed
  c0ed4cd

  Copy full SHA for c0ed4cd

Commits on Oct 6, 2024

• chore: remove redundant println in tests

  Show description for ef305f9
  ClSlaid

  committed
  ef305f9

  Copy full SHA for ef305f9

• patch: support lut simulation

  Show description for cae7ff6
  ClSlaid

  committed
  cae7ff6

  Copy full SHA for cae7ff6

Commits on Jul 28, 2024

• Nix in CI + Fix macOS

  

  donn

  authored and

  Coloquinte

  committed
  2fec998

  Copy full SHA for 2fec998

• Fix Nix Sandbox Build

  Show description for ba6421a
  

  donn

  authored and

  Coloquinte

  committed
  ba6421a

  Copy full SHA for ba6421a

Commits on Jul 16, 2024

• Create Nix Flake

  Show description for 1b690eb
  

  donn

  authored and

  Coloquinte

  committed
  1b690eb

  Copy full SHA for 1b690eb

Commits on Jun 19, 2024

• Bump version number

  Coloquinte

  committed
  192bfb9

  Copy full SHA for 192bfb9

Commits on Jan 25, 2024

• Avoid redundant push to the queue in incremental simulation; surprisingly not faster

  Coloquinte

  committed
  db52e3d

  Copy full SHA for db52e3d

Commits on Jan 24, 2024

• Create nicer gates (Buffer/Not) when reading blif files

  Coloquinte

  committed
  9940d01

  Copy full SHA for 9940d01

• Rename benchmarking scripts to avoid confusion

  Coloquinte

  committed
  2a54b1c

  Copy full SHA for 2a54b1c

• Remove benchmark creation script, now in its own repository

  Coloquinte

  committed
  11af042

  Copy full SHA for 11af042

• Remove test script that doesn't target quaigh

  Coloquinte

  committed
  773dea6

  Copy full SHA for 773dea6

Commits on Jan 23, 2024

• Remove implemented ATPG improvements from TODO list

  Coloquinte

  committed
  389acab

  Copy full SHA for 389acab

• Ignore external don't care in blif format

  Coloquinte

  committed
  3ff41a0

  Copy full SHA for 3ff41a0

• Support for multiple .inputs and .output statements in blif

  Coloquinte

  committed
  a06fdc0

  Copy full SHA for a06fdc0

• Update documentation

  Coloquinte

  committed
  4f5b4dd

  Copy full SHA for 4f5b4dd

• Show number of gates during ATPG

  Coloquinte

  committed
  98d41e7

  Copy full SHA for 98d41e7

• Switch Sat solver crate from cat_solver to rustsat-kissat

  Coloquinte

  committed
  aed332c

  Copy full SHA for aed332c

• Update to newest benchmark suite

  Coloquinte

  committed
  6892ab6

  Copy full SHA for 6892ab6

Commits on Jan 22, 2024

• Accept Atalanta-generated patterns with a warning

  Coloquinte

  committed
  53403f4

  Copy full SHA for 53403f4

• Make aliases visible

  Coloquinte

  committed
  59aef73

  Copy full SHA for 59aef73

• Command to report on ATPG results

  Coloquinte

  committed
  e38009a

  Copy full SHA for e38009a

Commits on Jan 15, 2024

• Bump version number

  Coloquinte

  committed
  6fe5397

  Copy full SHA for 6fe5397

• Complete handling of multiline blif statements

  Coloquinte

  committed
  f10a966

  Copy full SHA for f10a966

• Factor out blif line parsing

  Coloquinte

  committed
  be4e8b3

  Copy full SHA for be4e8b3

• Update README

  Coloquinte

  committed
  01dd72e

  Copy full SHA for 01dd72e

Commits on Jan 10, 2024

• Update README

  Coloquinte

  committed
  e430651

  Copy full SHA for e430651

• Check equivalence between benchmark files

  Coloquinte

  committed
  2026a7b

  Copy full SHA for 2026a7b

• Test that conversion yields equivalent files

  Coloquinte

  committed
  138ada6

  Copy full SHA for 138ada6

• Support for multi-line strings in .blif files

  Coloquinte

  committed
  bdaf91e

  Copy full SHA for bdaf91e

• Fix Blif reader

  Coloquinte

  committed
  742f870

  Copy full SHA for 742f870

• More user friendly output on equivalence checking failure

  Coloquinte

  committed
  5a7b859

  Copy full SHA for 5a7b859

Pagination

Previous

Next