Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 25, 2026

• Merge pull request #1 from meelgroup/fix-macos-build

  Show description for 2daf3d1
  supratik1

  authored
  2daf3d1

  Copy full SHA for 2daf3d1

Commits on Jan 24, 2026

• Fix macOS build and Boost include paths

  kuldeepmeel

  committed
  75ec4e7

  Copy full SHA for 75ec4e7

Commits on Jul 25, 2023

• Added benchmarks as a submodule

  parSyn

  committed
  fc3561b

  Copy full SHA for fc3561b

Commits on Jul 24, 2023

• Added cnf files to the benchmarks

  parSyn

  committed
  4bd1101

  Copy full SHA for 4bd1101

Commits on Jul 21, 2023

• Added nnf Benchmarks

  parSyn

  committed
  0cd1080

  Copy full SHA for 0cd1080

Commits on Oct 29, 2020

• Update README.md

  shubham-goel

  authored
  13c60df

  Copy full SHA for 13c60df

• option skipCegar

  shubham-goel

  committed
  d6aa465

  Copy full SHA for d6aa465

• Updated Readme

  shubham-goel

  committed
  52ae3a2

  Copy full SHA for 52ae3a2

Commits on Oct 19, 2020

• Remove old readme.md

  sumith1896

  committed
  a390780

  Copy full SHA for a390780

• Merge remote-tracking branch 'sumith/master'

  sumith1896

  committed
  852bfa3

  Copy full SHA for 852bfa3

• Update README

  sumith1896

  committed
  2f27ccd

  Copy full SHA for 2f27ccd

Commits on Sep 26, 2020

• Update README.md

  BooleanFunctionalSynthesis

  authored
  e3556c5

  Copy full SHA for e3556c5

• Update README.md

  BooleanFunctionalSynthesis

  authored
  469ad2d

  Copy full SHA for 469ad2d

• Update README.md

  BooleanFunctionalSynthesis

  authored
  21fcc4a

  Copy full SHA for 21fcc4a

• Update README.md

  BooleanFunctionalSynthesis

  authored
  3ef82f7

  Copy full SHA for 3ef82f7

• Renamed README.txt to BenchmarkDetails.txt

  supratik1

  committed
  f544147

  Copy full SHA for f544147

• Committing benchmarks

  supratik1

  committed
  0ced60e

  Copy full SHA for 0ced60e

• Create README.md

  BooleanFunctionalSynthesis

  authored
  045a80a

  Copy full SHA for 045a80a

• Initial commit

  BooleanFunctionalSynthesis

  authored
  8ee8cd0

  Copy full SHA for 8ee8cd0

Commits on Sep 30, 2019

• Update readme.md

  shubham-goel

  authored
  099bb78

  Copy full SHA for 099bb78

Commits on Jun 7, 2019

• Merge pull request #105 from Sumith1896/merged_oldabc_sat2019

  Show description for 300b23c
  shubham-goel

  authored
  300b23c

  Copy full SHA for 300b23c

• Merge pull request #104 from Sumith1896/bfss_pack_sat2019

  Show description for 31938a0
  shubham-goel

  authored
  31938a0

  Copy full SHA for 31938a0

Commits on Apr 29, 2019

• Made changes to handle arith and fact benchmarks

  parSyn

  committed
  66ed23b

  Copy full SHA for 66ed23b

Commits on Apr 20, 2019

• Using old ABC version

  shubham-goel

  committed
  8dddfbf

  Copy full SHA for 8dddfbf

Commits on Apr 2, 2019

• Changed verify by equating variables in the sat-solver versus using Aig_Compose.

  parSyn

  committed
  7e654c7

  Copy full SHA for 7e654c7

Commits on Mar 18, 2019

• The code used for SAT 2019. Some of the code in helper.cpp has been made more memory efficient. Also added support in verify.cpp to take in a qdimacs specification file and a verilog/aiger skolem …

  Show description for b7bcf17
  parSyn

  committed
  b7bcf17

  Copy full SHA for b7bcf17

Commits on Jan 10, 2019

• Merge pull request #103 from Sumith1896/package

  Show description for fa14b02
  shubham-goel

  authored
  fa14b02

  Copy full SHA for fa14b02

• Update readme.md

  Show description for 553ea20
  shubham-goel

  authored
  553ea20

  Copy full SHA for 553ea20

• Instructions on skipping Scalmc in Readme

  shubham-goel

  committed
  62ab5bd

  Copy full SHA for 62ab5bd

• Readme Update

  shubham-goel

  committed
  908d17e

  Copy full SHA for 908d17e

• Missing Header

  shubham-goel

  committed
  dec78b5

  Copy full SHA for dec78b5

• Merge pull request #102 from Sumith1896/submodules

  Show description for 8a158e2
  shubham-goel

  authored
  8a158e2

  Copy full SHA for 8a158e2

• Creating bin,obj directories in makefile

  shubham-goel

  committed
  23fc0e6

  Copy full SHA for 23fc0e6

• Added ABC and Scalmc as submodules (#101)

  Show description for c45d47b
  shubham-goel

  authored
  c45d47b

  Copy full SHA for c45d47b

• Added ABC,Scalmc repos as submodules

  shubham-goel

  committed
  ff6c932

  Copy full SHA for ff6c932

Pagination

Previous

Next