Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 14, 2023

• Added Test Cases, changed Documentation and Naming

  Show description for d33cc6e
  alexl4123

  authored
  d33cc6e

  Copy full SHA for d33cc6e

Commits on Oct 22, 2023

• Code Linting (#10)

  Show description for 98a753f
  alexl4123

  authored
  98a753f

  Copy full SHA for 98a753f

Commits on Oct 17, 2023

• Added additional test cases

  alexl4123

  committed
  0945145

  Copy full SHA for 0945145

Commits on Oct 12, 2023

• Refactored regression tests

  alexl4123

  committed
  f0a3289

  Copy full SHA for f0a3289

Commits on Oct 11, 2023

• Small refactoring of regression tests

  alexl4123

  committed
  0645f50

  Copy full SHA for 0645f50

Commits on Oct 10, 2023

• Fix some fully grounded issues

  alexl4123

  committed
  bbaa2d2

  Copy full SHA for bbaa2d2

Commits on Sep 27, 2023

• Fixed a bug for SCC computation

  alexl4123

  committed
  2200fb9

  Copy full SHA for 2200fb9

Commits on Sep 21, 2023

• Added additional regression-test example

  alexl4123

  committed
  931fa14

  Copy full SHA for 931fa14

• Fix bug in HG

  alexl4123

  committed
  0b2a351

  Copy full SHA for 0b2a351

Commits on Sep 20, 2023

• Added test cases for justifying indices

  alexl4123

  committed
  bbf9119

  Copy full SHA for bbf9119

Commits on Sep 19, 2023

• Fixed bug in hybrid grounding, improved regression-test-strategy

  alexl4123

  committed
  37e4ca8

  Copy full SHA for 37e4ca8

• Renamed regression test files

  alexl4123

  committed
  24e55ad

  Copy full SHA for 24e55ad

• Added some regression-tests

  alexl4123

  committed
  125b1aa

  Copy full SHA for 125b1aa

Commits on Sep 18, 2023

• Added additional aggregate regression-tests, refactored rewriting-count

  alexl4123

  committed
  4cb6dda

  Copy full SHA for 4cb6dda

Commits on Jul 28, 2023

• [#4 REFACTOR] - As equiv checker add different aggregate modes

  alexl4123

  committed
  5f30736

  Copy full SHA for 5f30736

Commits on Mar 7, 2023

• [TESTS] - Added further regression tests (for variable dependencies)

  alexl4123

  committed
  92e785e

  Copy full SHA for 92e785e

Commits on Mar 6, 2023

• [AGGREGATES][NOT-WORKING] - Implemented basic variable dependence of count without body, save commit current version

  alexl4123

  committed
  9d81251

  Copy full SHA for 9d81251

• [AGGREGATES] - temporary save, partial implementation of aggregate variable dependencies

  alexl4123

  committed
  5c4847c

  Copy full SHA for 5c4847c

Commits on Mar 3, 2023

• [TESTS] - Added further tests for min and max

  alexl4123

  committed
  d0e6979

  Copy full SHA for d0e6979

Commits on Mar 2, 2023

• [TESTS] - Added one more count test, one more benchmark instance, ''harder'' (for newground) encoding

  alexl4123

  committed
  2359a0c

  Copy full SHA for 2359a0c

Commits on Feb 24, 2023

• [TESTS] - Added color checking regression test

  alexl4123

  committed
  32a36ea

  Copy full SHA for 32a36ea

• [TESTS] - Added #min/#max tests

  alexl4123

  committed
  6b4d153

  Copy full SHA for 6b4d153

Commits on Feb 21, 2023

• [REFACTOR] - Refactored program into /newground and /regression_test folders

  alexl4123

  committed
  5a6cd58

  Copy full SHA for 5a6cd58

• [REFACTOR] - Introduced subfolders

  alexl4123

  committed
  4e409f1

  Copy full SHA for 4e409f1

Loading