Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 1, 2026

• add readme

  nathanael-fijalkow

  committed
  52811ad

  Copy full SHA for 52811ad

Commits on Mar 25, 2025

• Merge pull request #3 from SynthesisLab/dev

  Show description for 8243655
  nathanael-fijalkow

  authored
  8243655

  Copy full SHA for 8243655

Commits on Feb 17, 2025

• Rename

  bmouillon

  committed
  0325038

  Copy full SHA for 0325038

• The cache contains formulas in RPN & All Operators

  bmouillon

  committed
  586b266

  Copy full SHA for 586b266

• Each thread computes all n-ary operators on exactly one n-tuple of formulas & Basic operators

  bmouillon

  committed
  4d1364d

  Copy full SHA for 4d1364d

• Each thread computes all n-ary operators on exactly one n-tuple of formulas & All operators

  bmouillon

  committed
  6d14579

  Copy full SHA for 6d14579

• Each thread computes exactly one formula & Basic operators

  bmouillon

  committed
  3b9fe35

  Copy full SHA for 3b9fe35

• Each thread computes exactly one formula & All operators

  bmouillon

  committed
  6d3c85c

  Copy full SHA for 6d3c85c

Commits on Jan 22, 2025

• Bug fixes

  bmouillon

  committed
  ae96931

  Copy full SHA for ae96931

Commits on Jan 20, 2025

• Fix

  bmouillon

  committed
  6c2aed1

  Copy full SHA for 6c2aed1

• Alternative way of enumerating (not working yet)

  bmouillon

  committed
  161de2b

  Copy full SHA for 161de2b

• Ignore formula file

  bmouillon

  committed
  c6f93e6

  Copy full SHA for c6f93e6

• Merge pull request #2 from SynthesisLab/dev

  Show description for c455070
  nathanael-fijalkow

  authored
  c455070

  Copy full SHA for c455070

Commits on Jan 17, 2025

• Bug fix (hash sets were too small)

  bmouillon

  committed
  97c38c7

  Copy full SHA for 97c38c7

• Rename

  bmouillon

  committed
  efb5acb

  Copy full SHA for efb5acb

• Version with uint64_t and less operators

  bmouillon

  committed
  aa4b2ab

  Copy full SHA for aa4b2ab

• Version with uint64_t

  bmouillon

  committed
  2f94a6a

  Copy full SHA for 2f94a6a

• Version with boolean cache

  bmouillon

  committed
  3e945db

  Copy full SHA for 3e945db

Commits on Jan 15, 2025

• Replaced uint32_t with uint64_t, now working with limited memory

  bmouillon

  committed
  ade0b98

  Copy full SHA for ade0b98

• Bug fixes, still not wokring (uint32_t issue)

  bmouillon

  committed
  b70e4da

  Copy full SHA for b70e4da

• Ignore more benchmarks

  bmouillon

  committed
  5625a80

  Copy full SHA for 5625a80

Commits on Dec 19, 2024

• GPU version (not working yet)

  bmouillon

  committed
  3766d88

  Copy full SHA for 3766d88

• Deleted benchmarks

  bmouillon

  committed
  aefd371

  Copy full SHA for aefd371

• Ignore benchmarks

  bmouillon

  committed
  25c7557

  Copy full SHA for 25c7557

• Parallel CPU version

  bmouillon

  committed
  cbce4b0

  Copy full SHA for cbce4b0

• Changed directory

  bmouillon

  committed
  bb61321

  Copy full SHA for bb61321

Commits on Oct 23, 2024

• Fix

  bmouillon

  committed
  7314cb9

  Copy full SHA for 7314cb9

• Benchmarks

  bmouillon

  committed
  ec845cd

  Copy full SHA for ec845cd

• Changed to uint32_t

  bmouillon

  committed
  0483f38

  Copy full SHA for 0483f38

Commits on Oct 22, 2024

• Testing is done during generation, not after.

  bmouillon

  committed
  f8b78ed

  Copy full SHA for f8b78ed

• New structure

  bmouillon

  committed
  2fe7907

  Copy full SHA for 2fe7907

Commits on Oct 21, 2024

• New structure

  bmouillon

  committed
  04553ff

  Copy full SHA for 04553ff

Commits on Oct 16, 2024

• Changed structs to classes

  bmouillon

  committed
  9420e6b

  Copy full SHA for 9420e6b

Commits on Oct 15, 2024

• Small fixes (Issue #1)

  bmouillon

  committed
  24ba376

  Copy full SHA for 24ba376

• Ignore executables

  bmouillon

  committed
  c90ddb3

  Copy full SHA for c90ddb3

Pagination

Previous

Next