Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 19, 2022

• Refactored problemType

  schulzs

  committed
  3ab7476
  More actions

Commits on Aug 5, 2019

• - Made CreateScanner() optionally return without error if file not found

  schulzs

  committed
  5432906
  More actions

Commits on Mar 6, 2019

• - Simplified (hopefully) build system and made it slower (to avoid

  schulzs

  committed
  1401e24
  More actions

Commits on Jul 9, 2018

• finally got it to compile with picosat

  petarvukmirovic

  committed
  a58478e
  More actions

Commits on Apr 30, 2018

• merged

  petarvukmirovic

  committed
  6157bd0
  More actions

Commits on Apr 23, 2018

• Support for FO applicative encoding

  petarvukmirovic

  committed
  2b2b856
  More actions

Commits on Mar 5, 2018

• In the end, I have to implement external binding cache.

  petarvukmirovic

  committed
  475fe44
  More actions

Commits on Oct 23, 2017

• Updated PDTs for new type system and applied variable scheme. Still not tested.

  petarvukmirovic

  committed
  8a65bf3
  More actions

Commits on Oct 21, 2017

• Added code to parse HO terms. Still to test. Preparation for changing PDTs.

  petarvukmirovic

  committed
  06c275c
  More actions

Commits on Oct 20, 2017

• Compiles and links -- has bugs

  petarvukmirovic

  committed
  2963e0c
  More actions

Commits on Oct 19, 2017

• Compiles, does not link

  petarvukmirovic

  committed
  af57306
  More actions

Commits on Oct 18, 2017

• Initial commit

  petarvukmirovic

  committed
  2dccd19
  More actions

Loading