Code

Feature/fixes for 6.2#301

Code

Merged

pkriens merged 8 commits intoAlloyTools:masterAlloyTools/org.alloytools.alloy:masterfrom pkriens:feature/fixes-for-6.2pkriens/org.alloytools.alloy:feature/fixes-for-6.2Copy head branch name to clipboardJan 7, 2025

+581-508

Commits

Commits on Oct 7, 2024

• Moved macos version to 13.7

  pkriens

  committed
  694e3b8

  Copy full SHA for 694e3b8

Commits on Nov 25, 2024

• should not have been committed

  pkriens

  committed
  a9bce16

  Copy full SHA for a9bce16

• Centralized the -Ddebug=yes flag into AlloyCore and decoupled it from logging

  pkriens

  committed
  2b8b1b8

  Copy full SHA for 2b8b1b8

• Improved logging and WorkerEngine inheritance of main program.

  pkriens

  committed
  0608e51

  Copy full SHA for 0608e51

Commits on Dec 13, 2024

• Native code cleanup ...

  Show description for 79aa5bb
  pkriens

  committed
  79aa5bb

  Copy full SHA for 79aa5bb

Commits on Jan 7, 2025

• Fixes 255: line endings in visualizer

  pkriens

  committed
  5b61910

  Copy full SHA for 5b61910

• Fixes IndexOutOfBoundsException when skolems was > items, mixed vars

  pkriens

  committed
  816ee21

  Copy full SHA for 816ee21

• Sets exception printing in debug mode

  pkriens

  committed
  41e995d

  Copy full SHA for 41e995d