Code

Initial development#1

Code

Open

virtualmachine44 wants to merge 8 commits intoFMFI-UK-1-AIN-412:mainFMFI-UK-1-AIN-412/propositional-explorer:mainfrom virtualmachine44:mainvirtualmachine44/propositional-explorer:mainCopy head branch name to clipboard

+25,320-1

Commits

Commits on Oct 10, 2024

• Initial commit

  virtualmachine44

  committed
  ee00dad

  Copy full SHA for ee00dad

• Deleting useless files.

  virtualmachine44

  committed
  d3e2726

  Copy full SHA for d3e2726

Commits on Oct 17, 2024

• Removed useles file.

  virtualmachine44

  committed
  738dae4

  Copy full SHA for 738dae4

• Minor changes.

  virtualmachine44

  committed
  2b816b6

  Copy full SHA for 2b816b6

Commits on Dec 16, 2024

• Adding Factories.ts and SyntErr.tsx

  virtualmachine44

  committed
  72d77b7

  Copy full SHA for 72d77b7

Commits on Dec 17, 2024

• Minor changes

  virtualmachine44

  committed
  6b8c787

  Copy full SHA for 6b8c787

• selectParsedFormula selector works

  virtualmachine44

  committed
  4284e11

  Copy full SHA for 4284e11

Commits on Dec 19, 2024

• Valuation component

  virtualmachine44

  committed
  e4713c3

  Copy full SHA for e4713c3