Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 27, 2026

• fix bug in the computation of loop formulas

  

  malvi

  committed
  24bdfd7

  Copy full SHA for 24bdfd7

• fix bug in the computation of loop formulas.

  

  malvi

  committed
  6ab71a4

  Copy full SHA for 6ab71a4

Commits on May 9, 2019

• fix reference to clauses in checkExtension().

  Show description for 7589c27
  alviano

  committed
  7589c27

  Copy full SHA for 7589c27

• implement wc propagator.

  Show description for adfc54e
  alviano

  committed
  adfc54e

  Copy full SHA for adfc54e

• fix issue with last part of lparse program.

  Show description for 964db6f
  alviano

  committed
  964db6f

  Copy full SHA for 964db6f

Commits on May 8, 2019

• first draft of proof verifier

  alviano

  committed
  d110c29

  Copy full SHA for d110c29

Commits on May 7, 2019

• normalizer for asp proofs

  alviano

  committed
  67cde47

  Copy full SHA for 67cde47

Commits on Mar 8, 2019

• add utility script to explode TGFM graphs.

  alviano

  committed
  bbdc219

  Copy full SHA for bbdc219

• add dynamic track

  alviano

  committed
  77bae1a

  Copy full SHA for 77bae1a

Commits on Mar 5, 2019

• remove D3

  alviano

  committed
  dfff882

  Copy full SHA for dfff882

• Use OrderedDict for att relation.

  alviano

  committed
  9224c87

  Copy full SHA for 9224c87

Commits on Apr 11, 2018

• Give 10 seconds after kill.

  alviano

  committed
  1de95d1

  Copy full SHA for 1de95d1

Commits on Jan 22, 2018

• Add PYTHONHASHSEED=0 to the bash process, so to disable randomization of python dictionaries.

  alviano

  committed
  98fc621

  Copy full SHA for 98fc621

Commits on Jan 11, 2018

• Disable randomness for python dictionaries.

  alviano

  committed
  487e916

  Copy full SHA for 487e916

Commits on Jun 16, 2017

• Handle interrupt from keyboard.

  alviano

  committed
  3d90824

  Copy full SHA for 3d90824

• Fix bug on --split.

  alviano

  committed
  4708f11

  Copy full SHA for 4708f11

Commits on Jun 1, 2017

• Minor bug fix on -o option.

  alviano

  committed
  ca27064

  Copy full SHA for ca27064

Commits on May 2, 2017

• SIGINT e SIGTERM are ignored by "bash -c" (so that the internal processes can handle these signals).

  alviano

  committed
  b9b2f11

  Copy full SHA for b9b2f11

Commits on Apr 6, 2017

• Align name of pyglaf to ICLP paper.

  Show description for a4150ad
  alviano

  committed
  a4150ad

  Copy full SHA for a4150ad

Commits on Mar 9, 2017

• Replace aspino with circumscriptino.

  alviano

  committed
  c348afa

  Copy full SHA for c348afa

• Smarter implementation of ID.

  alviano

  committed
  66cf562

  Copy full SHA for 66cf562

• Smarter implementation of ID3.

  alviano

  committed
  223b827

  Copy full SHA for 223b827

Commits on Mar 8, 2017

• AF solver.

  alviano

  committed
  b6739b0

  Copy full SHA for b6739b0

Commits on Feb 26, 2017

• Introduce flag to split xml files.

  alviano

  committed
  9648818

  Copy full SHA for 9648818

Commits on Sep 6, 2016

• Flush output.

  alviano

  committed
  082807d

  Copy full SHA for 082807d

Commits on Sep 4, 2016

• Fix bug in progression search.

  alviano

  committed
  9c2c979

  Copy full SHA for 9c2c979

• Use Fraction to compute definedness.

  alviano

  committed
  727ba0b

  Copy full SHA for 727ba0b

• Keep the solver alive for subsequent improvements of the definedness.

  alviano

  committed
  e94cc2e

  Copy full SHA for e94cc2e

• Add option to select maximize and binary-search strategies to optimize undefinedness.

  alviano

  committed
  4c4af62

  Copy full SHA for 4c4af62

Commits on Mar 9, 2016

• Replace raw_input with input.

  alviano

  committed
  7d90ccd

  Copy full SHA for 7d90ccd

Commits on Mar 8, 2016

• Remove ran attribute: found a better solution in pyrunner.

  alviano

  committed
  6b9f47a

  Copy full SHA for 6b9f47a

• More appropriate attribute name for ran process.

  alviano

  committed
  4ebd4bc

  Copy full SHA for 4ebd4bc

• Repeat command in stats.

  alviano

  committed
  ae4c8de

  Copy full SHA for ae4c8de

• Alternative constraint in f-rewriting... no good performance.

  alviano

  committed
  a8ab689

  Copy full SHA for a8ab689

• Align method names with the new version of psutil.

  alviano

  committed
  ab40d2b

  Copy full SHA for ab40d2b

Pagination

Previous

Next