Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 16, 2024

• minisat: Record changes in patch

  KrystalDelusion

  committed
  e9f909a

  Copy full SHA for e9f909a

Commits on Aug 15, 2024

• minisat: Check for gcc

  KrystalDelusion

  committed
  55307a5

  Copy full SHA for 55307a5

• minisat: Use reallocarray

  Show description for eb02ab0
  KrystalDelusion

  committed
  eb02ab0

  Copy full SHA for eb02ab0

• Better snprintf size handling

  KrystalDelusion

  committed
  d34833d

  Copy full SHA for d34833d

• snprintf

  KrystalDelusion

  committed
  636ce9a

  Copy full SHA for 636ce9a

• Address warnings

  Show description for 7b47f64
  KrystalDelusion

  committed
  7b47f64

  Copy full SHA for 7b47f64

Commits on Feb 25, 2024

• Changes in libs, passes and tests Makefiles. LDLIBS -> LIBS. LDFLAGS -> LINKFLAGS. CXX is clang++ or g++, not clang and gcc

  RCoeurjoly

  committed
  4a2fb18

  Copy full SHA for 4a2fb18

Commits on Dec 18, 2023

• Merge pull request YosysHQ#3887 from kivikakk/env-bash

  Show description for d87bd7c
  nakengelhardt

  authored
  d87bd7c

  Copy full SHA for d87bd7c

Commits on Aug 28, 2023

• Merge pull request YosysHQ#3906 from DanielG/fix-fstGetUint32-mips64el

  jix

  authored
  2f82e8e

  Copy full SHA for 2f82e8e

Commits on Aug 27, 2023

• Fix fstGetUint32 crash on mips64el due to misaligned access

  Show description for e4189dd
  DanielG

  committed
  e4189dd

  Copy full SHA for e4189dd

• Fix i386 FP excess-precision issue in fstapi (Fixes: YosysHQ#3898)

  Show description for e017f66
  DanielG

  committed
  e017f66

  Copy full SHA for e017f66

Commits on Aug 12, 2023

• tests: use /usr/bin/env for bash.

  charlottia

  committed
  d130f7f

  Copy full SHA for d130f7f

Commits on Oct 28, 2022

• Add dlfcn library for win32

  mmicko

  committed
  05218ec

  Copy full SHA for 05218ec

Commits on Oct 15, 2022

• And another place we need to lseek() after dup().

  lparkes

  committed
  7dcc9c6

  Copy full SHA for 7dcc9c6

• Forcibly set the current seek location of gz files that we are accessing

  Show description for 635aa2a
  lparkes

  committed
  635aa2a

  Copy full SHA for 635aa2a

Commits on Jul 18, 2022

• extends the list of platforms without <alloca.h>

  Show description for 793b9ad
  josuah

  committed
  793b9ad

  Copy full SHA for 793b9ad

Commits on May 27, 2022

• Proper std::move

  mmicko

  committed
  0d31aa6

  Copy full SHA for 0d31aa6

Commits on Apr 24, 2022

• Fix build on FreeBSD, which has no alloca.h

  mpasternacki

  committed
  0302e97

  Copy full SHA for 0302e97

Commits on Feb 2, 2022

• Fix Visual Studio build

  mmicko

  committed
  4a30c9c

  Copy full SHA for 4a30c9c

Commits on Jan 28, 2022

• Fix for limit_range_end when not writing vcd

  mmicko

  committed
  7101df6

  Copy full SHA for 7101df6

Commits on Jan 26, 2022

• Cleanup of config to support platforms

  mmicko

  committed
  c811a71

  Copy full SHA for c811a71

Commits on Jan 25, 2022

• Add FST library

  mmicko

  committed
  9e9083b

  Copy full SHA for 9e9083b

Commits on Jun 7, 2021

• Fixing old e-mail addresses and deadnames

  Show description for 72787f5
  clairexen

  committed
  72787f5

  Copy full SHA for 72787f5

Commits on Jun 21, 2020

• minisat: add missing include guard for WASI.

  Show description for 21d44eb
  whitequark

  committed
  21d44eb

  Copy full SHA for 21d44eb

Commits on Apr 30, 2020

• Add WASI platform support.

  Show description for b43c282
  whitequark

  committed
  b43c282

  Copy full SHA for b43c282

Commits on Apr 14, 2020

• Use static constexpr instead of static const where possible.

  Show description for 5c6e681
  hzeller

  committed
  5c6e681

  Copy full SHA for 5c6e681

Commits on Apr 2, 2020

• Improve ezsat onehot encoding scheme

  Show description for 65a3ff6
  clairexen

  committed
  65a3ff6

  Copy full SHA for 65a3ff6

• Using LFSR counter for ezSAT::manyhot()

  Show description for f72b65b
  clairexen

  committed
  f72b65b

  Copy full SHA for f72b65b

Commits on Sep 30, 2019

• libs: import json11.

  Show description for 8f2bdff
  whitequark

  committed
  8f2bdff

  Copy full SHA for 8f2bdff

Commits on May 22, 2019

• Optimize numberOfPermutations

  mdaiter

  committed
  f0ff31c

  Copy full SHA for f0ff31c

Commits on May 8, 2019

• Remove added newline (by re-running minisat 00_UPDATE.sh)

  Show description for caad497
  cliffordwolf

  committed
  caad497

  Copy full SHA for caad497

• Fix all warnings that occurred when compiling with gcc9

  kristofferkoch

  committed
  30c762d

  Copy full SHA for 30c762d

Commits on Jan 2, 2019

• Fix typographical and grammatical errors and inconsistencies.

  Show description for efa278e
  whitequark

  committed
  efa278e

  Copy full SHA for efa278e

Commits on Nov 26, 2017

• minisat: Make update script executable.

  mithro

  committed
  1b231b4

  Copy full SHA for 1b231b4

• minisat: Only define __STDC_XXX_MACROS if not already defined.

  Show description for 34c9fba
  mithro

  committed
  34c9fba

  Copy full SHA for 34c9fba

Pagination

Previous

Next