Commits

Breadcrumbs

History for

onvariable-letters

User selector

All users

All time

Commit history

Commits on Apr 6, 2025

• Fixing up to new cmake

  Show description for 6be0ad4
  msoos

  committed
  6be0ad4

  Copy full SHA for 6be0ad4

Commits on Dec 22, 2020

• Minor fix

  msoos

  committed
  eefc1b6

  Copy full SHA for eefc1b6

Commits on Mar 3, 2020

• Merge branch 'master' into library

  msoos

  committed
  2e15126

  Copy full SHA for 2e15126

Commits on Feb 29, 2020

• Adding xor-clauses as an option

  msoos

  committed
  01a8112

  Copy full SHA for 01a8112

Commits on Apr 28, 2019

• Making Bosphorus into a real library

  msoos

  committed
  5295d56

  Copy full SHA for 5295d56

• Fixing build

  msoos

  committed
  d55ccf4

  Copy full SHA for d55ccf4

• Moving along making Bosphorus into a library

  msoos

  committed
  893ee95

  Copy full SHA for 893ee95

Commits on Apr 5, 2019

• Using clang-format

  msoos

  committed
  2c69a99

  Copy full SHA for 2c69a99

Commits on Mar 19, 2019

• Add verbosity to XL; re-factor ANF::propagate

  

  Kian Ming A. Chai

  committed
  6e31a70

  Copy full SHA for 6e31a70

Commits on Jan 25, 2019

• Make -v 4 sane.

  

  Kian Ming A. Chai

  committed
  c0476e3

  Copy full SHA for c0476e3

Commits on Jan 24, 2019

• Adding patch by Chai Kian Ming Adam

  msoos

  committed
  dd00dcd

  Copy full SHA for dd00dcd

Commits on Dec 17, 2018

• Fixing headers

  msoos

  committed
  2392be4

  Copy full SHA for 2392be4

• Adding headers

  msoos

  committed
  88c1e11

  Copy full SHA for 88c1e11

• Fixing return value here

  Show description for 6c972e3
  msoos

  committed
  6c972e3

  Copy full SHA for 6c972e3

• Adding missing files

  msoos

  committed
  86c007a

  Copy full SHA for 86c007a

Loading