Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 2, 2019

• Modified Makefile and added script parSyn.sh

  parSyn

  committed
  d8f6e4d

  Copy full SHA for d8f6e4d

• Script to run parSyn.

  parSyn

  committed
  96b9e02

  Copy full SHA for 96b9e02

Commits on Jan 1, 2019

• Adding a script file for running parSyn.

  parSyn

  committed
  d8da889

  Copy full SHA for d8da889

• Changed Makefile to include dynamic libraries. Changed main.cc to include serialization/vector.hpp.

  Show description for 8f84302
  parSyn

  committed
  8f84302

  Copy full SHA for 8f84302

Commits on Jul 4, 2017

• Merge pull request #4 from parSyn/my_new_branch

  Show description for 46575c2
  ajithkjohn123

  authored
  46575c2

  Copy full SHA for 46575c2

• Option added to change order in rsynth printing. Also command-line option to switch-off cleanup added.

  ajithkjohn123

  committed
  c2981d5

  Copy full SHA for c2981d5

Commits on May 28, 2017

• Merge pull request #2 from parSyn/branch_for_skf_size

  Show description for 1cd8784
  ajithkjohn123

  authored
  1cd8784

  Copy full SHA for 1cd8784

• Code added in parSyn to compute Skolem function sizes

  ajithkjohn123

  committed
  995a26f

  Copy full SHA for 995a26f

Commits on May 18, 2017

• Merge pull request #1 from parSyn/branch-for-license

  Show description for 191fadc
  ajithkjohn123

  authored
  191fadc

  Copy full SHA for 191fadc

Commits on May 17, 2017

• License file and permission statements added. New option NEGATE-INPUT added to SkolemFunctionGenerator

  ajithkjohn123

  committed
  cab5ebc

  Copy full SHA for cab5ebc

Commits on May 12, 2017

• commiting sources and binaries

  parSyn

  committed
  4f853d5

  Copy full SHA for 4f853d5