Jaden Tian

Tree Tent Test Suite

2

## Description Updates the Tree Tent Test suite - Improved FillInRow Case Rule generation - Test cases for TentForTree Direct Rule (incomplete) - Test cases for FillInRow Case Rule -...

### Description When opening a puzzle with more rows than columns, the UI does not update to show the board. The view works fine for puzzles with more columns than...

Remerge updated binary puzzle, proof editor, puzzle editor, home panel, bug fixes

2

## Description Merge updated binary puzzle, including new rules, images, functionality. New look and functionality for proof editor. New look and functionality for puzzle editor. Revised home panel. Many bug...

### Describe the current behavior of what you're trying to improve. If your enhancement request related to a problem, please also describe the problem. A folder symlink should work like...

[BUG] Deleting Node from Merged Tree

2

### Description When deleting a node from a branch from the tree that has been merged farther ahead, the program does not know what to do. ### Steps to Reproduce...

## Description Created a VersionInfo class that is the centralized authority for the version of LEGUP. The version is stored within version.properties file. Closes #70, #626 ## Type of change...

[ENHANCEMENT] Engine Tests and Rewrite

1

### Describe the current behavior of what you're trying to improve. If your enhancement request related to a problem, please also describe the problem. Currently, a large number of bugs...

### Describe the current behavior of what you're trying to improve. If your enhancement request related to a problem, please also describe the problem. When learning proofs for the first...