Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 24, 2020

• remove lp_solve testing (example) code

  lee30sonia

  committedNov 24, 2020
  1cf5e1c

• Add lp_solve library (EPFL-CS-472#3)

  

  lee30sonia

  and

  hriener

  committedNov 24, 2020
  3902601

Commits on Nov 23, 2020

• Update DTIS_project.yml

  lee30sonia

  committedNov 23, 2020
  5f9de0b

• update comments

  lee30sonia

  committedNov 23, 2020
  40be9cb

• Update DTIS_project.yml

  lee30sonia

  committedNov 23, 2020
  e6f46a8

• add CI for TFI project

  lee30sonia

  committedNov 23, 2020
  45d669c

• disable TFI_test

  lee30sonia

  committedNov 23, 2020
  ac703af

• disable TFI_test

  lee30sonia

  committedNov 23, 2020
  d46298e

• disable TFI_test

  lee30sonia

  committedNov 23, 2020
  212fabb

• TF identification interface & tests

  lee30sonia

  committedNov 23, 2020
  8a04144

• create_threshold from linear form

  lee30sonia

  committedNov 23, 2020
  32a339c

Commits on Sep 28, 2020

• Merge pull request msoeken#112 from lee30sonia/bugfix

  hriener

  committedSep 28, 2020
  0d74b94

Commits on Sep 27, 2020

• missing default argument

  lee30sonia

  committedSep 27, 2020
  c949202

Commits on May 6, 2020

• add sifting_p_canonization (msoeken#111)

  

  fmozafari

  and

  msoeken

  committedMay 6, 2020
  b0ddf06

Commits on Apr 22, 2020

• Bugfix (msoeken#110)

  

  lee30sonia

  and

  msoeken

  committedApr 22, 2020
  96fbd70

Commits on Apr 13, 2020

• Fix bug in partial_truth_table::add_bits (msoeken#109)

  

  lee30sonia

  and

  msoeken

  committedApr 13, 2020
  3af1732

Commits on Apr 12, 2020

• Fix warnings in Windows build. (msoeken#108)

  msoeken

  committedApr 12, 2020
  d1de428

Commits on Apr 10, 2020

• bugfix: print functions of partial_truth_table (msoeken#107)

  lee30sonia

  committedApr 10, 2020
  d3b029a

Commits on Apr 7, 2020

• bugfix: specialization of is_complete_truth_table for static_truth_table.

  hriener

  committedApr 7, 2020
  6fc68b5

Commits on Apr 6, 2020

• Partial truth table (msoeken#102)

  

  lee30sonia

  and

  msoeken

  committedApr 6, 2020
  d86e36f

• Merge pull request msoeken#106 from msoeken/hriener/distinguishing_bit_pairs

  hriener

  committedApr 6, 2020
  175a970

• docs.

  hriener

  committedApr 6, 2020
  97d66be

• docs.

  hriener

  committedApr 6, 2020
  3daf305

• is_covered_with_divisors.

  hriener

  committedApr 6, 2020
  b5e642e

Commits on Apr 5, 2020

• Change num_vars to uint. (msoeken#105)

  msoeken

  committedApr 5, 2020
  4f90ce7

• Update googletest. (msoeken#104)

  msoeken

  committedApr 5, 2020
  91aea44

Commits on Apr 4, 2020

• Update changelog.rst

  hriener

  committedApr 4, 2020
  5986496

Commits on Apr 3, 2020

• Update properties.hpp

  hriener

  committedApr 3, 2020
  d8120be

Commits on Mar 26, 2020

• Update version. (msoeken#101)

  msoeken

  committedMar 26, 2020
  ab13df6

Commits on Mar 17, 2020

• Negate cube (msoeken#100)

  msoeken

  committedMar 17, 2020
  835c05f

Commits on Mar 16, 2020

• Documentation for exact NPN canonisation (msoeken#99)

  msoeken

  committedMar 16, 2020
  cf8d4f2

Commits on Mar 13, 2020

• Version 0.7. (msoeken#98)

  msoeken

  committedMar 13, 2020
  d7610a7

• Spectral classes that match with hybrid classification algorithm. (msoeken#97)

  msoeken

  committedMar 13, 2020
  ee9d719

Commits on Mar 8, 2020

• Hybrid exact spectral classification. (msoeken#96)

  msoeken

  committedMar 8, 2020
  2ae304c

Commits on Mar 7, 2020

• Constructor: nth_var. (msoeken#95)

  msoeken

  committedMar 7, 2020
  90ac451

Pagination

PreviousNext