Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 5, 2025

• add example to Readme.

  SimonGuilloud

  committed
  b92451b

  Copy full SHA for b92451b

• build fixes

  SimonGuilloud

  committed
  97512b7

  Copy full SHA for 97512b7

• Add helpers and various improvements.

  SimonGuilloud

  committed
  d21d51d

  Copy full SHA for d21d51d

Commits on May 29, 2023

• Create README.md

  vkuncak

  authored
  ce3bf08

  Copy full SHA for ce3bf08

Commits on Dec 2, 2022

• Merge pull request #2 from mario-bucev/bitset

  Show description for a4990c9
  SimonGuilloud

  authored
  a4990c9

  Copy full SHA for a4990c9

Commits on Sep 30, 2022

• Use sparse bitsets to store LEQ information

  mario-bucev

  committed
  b3f9f4d

  Copy full SHA for b3f9f4d

Commits on Sep 29, 2022

• Merge pull request #1 from mario-bucev/runner-script

  Show description for 0e5682a
  SimonGuilloud

  authored
  0e5682a

  Copy full SHA for 0e5682a

Commits on Sep 28, 2022

• Forking OCBSL and OL computation

  mario-bucev

  committed
  ff2dcf3

  Copy full SHA for ff2dcf3

Commits on Sep 27, 2022

• Benchmarks can now compute time spent computing the normal forms, and generating formulas.

  SimonGuilloud

  committed
  dda2f54

  Copy full SHA for dda2f54

Commits on Sep 23, 2022

• Minor improvements, benchmark efficiency.

  SimonGuilloud

  committed
  cef217f

  Copy full SHA for cef217f

• Benchmarks now can write outputs to file, benchmarks fully parametrised, can be called from command line.

  SimonGuilloud

  committed
  c0d3a9a

  Copy full SHA for c0d3a9a

Commits on Sep 20, 2022

• check for thread interruption.

  SimonGuilloud

  committed
  3465675

  Copy full SHA for 3465675

• put order in the benchmarks.

  SimonGuilloud

  committed
  42e8a08

  Copy full SHA for 42e8a08

Commits on Aug 31, 2022

• Improved the OL algorithm by adding a missing reduction case. Corrected unoptimal behaviour in the presence of structure sharing.

  SimonGuilloud

  committed
  97835f2

  Copy full SHA for 97835f2

Commits on Jul 19, 2022

• ran scalafix-all

  SimonGuilloud

  committed
  c970b10

  Copy full SHA for c970b10

Commits on Jul 1, 2022

• Aiger benchmarks. Optimization, datastructure improvements, circuit-size mesure. Increased java memory limit.

  SimonGuilloud

  committed
  28bd584

  Copy full SHA for 28bd584

Commits on Jun 29, 2022

• Various improvement to benchmarks and formula size mesurement. Correction of major slow down du to hashmap. Moved OCBSL domain to formulas without "Or" (i.e. AIG) rather than formulas without "And"

  SimonGuilloud

  committed
  66cfedb

  Copy full SHA for 66cfedb

Commits on Jun 28, 2022

• Addition of parser for AIG, run some benchmark. Encouraging results.

  SimonGuilloud

  committed
  2dee3ff

  Copy full SHA for 2dee3ff

Commits on Jun 24, 2022

• Fully reimplemented the OL algorithm by mixing the previous one and the one for OCBSL. Now produce a complete normal form.

  SimonGuilloud

  committed
  cc69d5d

  Copy full SHA for cc69d5d

Commits on Jun 22, 2022

• shows ratio of improvement

  SimonGuilloud

  committed
  ca5e4ba

  Copy full SHA for ca5e4ba

• Large updated both algo,

  Show description for c68fd32
  SimonGuilloud

  committed
  c68fd32

  Copy full SHA for c68fd32

Commits on Jun 21, 2022

• Finished careful implementation of the OL algorithm. Semi-formal analysis conducted, and it should be quadratic.

  Show description for 7a8d847
  SimonGuilloud

  committed
  7a8d847

  Copy full SHA for 7a8d847

Commits on Jun 20, 2022

• finished basic implementation of OL algo, but no memoization or optimization.

  SimonGuilloud

  committed
  b90206c

  Copy full SHA for b90206c

• Algorithm for OCBSL, structures, most of the algorithm for OL.

  SimonGuilloud

  committed
  6a876fe

  Copy full SHA for 6a876fe