Search results

[FEATURE] Warn people about supported browsers and devices

EnhancementNew featureNew feature

good first issueGood for newcomersGood for newcomers

No API-BreakWill not break test results or backwards compatibility. Middle number in semantic versioningWill not break test results or backwards compatibility. Middle number in semantic versioning

Status: Open.

#394 In RAIRLab/Peirce-My-Heart;

· James-Oswald opened on May 6, 2024

 ·  

PMH 2.0.0

[BUG] Atom Letters Cannot Be Changed on the Fly for Firefox

BugSomething isn't working. Rightmost number in semantic versioningSomething isn't working. Rightmost number in semantic versioning

User InterfaceWhat the user seesWhat the user sees

Status: Open.

#393 In RAIRLab/Peirce-My-Heart;

· RyanR712 opened on May 6, 2024

[BUG] Firefox wrongly caches Proof/Draw Mode Toggle State

BugSomething isn't working. Rightmost number in semantic versioningSomething isn't working. Rightmost number in semantic versioning

good first issueGood for newcomersGood for newcomers

No API-BreakWill not break test results or backwards compatibility. Middle number in semantic versioningWill not break test results or backwards compatibility. Middle number in semantic versioning

Status: Open.

#391 In RAIRLab/Peirce-My-Heart;

· James-Oswald opened on May 5, 2024

The PMH Book and User Manual

documentationImprovements or additions to documentationImprovements or additions to documentation

Major FeatureTakes a lot of work to implementTakes a lot of work to implement

No API-BreakWill not break test results or backwards compatibility. Middle number in semantic versioningWill not break test results or backwards compatibility. Middle number in semantic versioning

Status: Open.

#329 In RAIRLab/Peirce-My-Heart;

· James-Oswald opened on Dec 16, 2023

AEG construction from propositional formulae

EnhancementNew featureNew feature

Major FeatureTakes a lot of work to implementTakes a lot of work to implement

No API-BreakWill not break test results or backwards compatibility. Middle number in semantic versioningWill not break test results or backwards compatibility. Middle number in semantic versioning

Status: Open.

#327 In RAIRLab/Peirce-My-Heart;

· James-Oswald opened on Dec 16, 2023

 ·  

PMH 2.0.0

Automated truth-table based AEG theorem checking.

EnhancementNew featureNew feature

No API-BreakWill not break test results or backwards compatibility. Middle number in semantic versioningWill not break test results or backwards compatibility. Middle number in semantic versioning

Status: Open.

#324 In RAIRLab/Peirce-My-Heart;

· James-Oswald opened on Dec 16, 2023

 ·  

PMH 2.0.0

Add JSON Schema validation for AEG and Proof JSON

API-BreakWill break test results or backwards compatibility. Leftmost number in semantic versioningWill break test results or backwards compatibility. Leftmost number in semantic versioning

EnhancementNew featureNew feature

good first issueGood for newcomersGood for newcomers

Status: Open.

#323 In RAIRLab/Peirce-My-Heart;

· James-Oswald opened on Dec 16, 2023

 ·  

PMH 2.0.0

Gamma Existential Graph Support

API-BreakWill break test results or backwards compatibility. Leftmost number in semantic versioningWill break test results or backwards compatibility. Leftmost number in semantic versioning

EnhancementNew featureNew feature

Major FeatureTakes a lot of work to implementTakes a lot of work to implement

Status: Open.

#320 In RAIRLab/Peirce-My-Heart;

· James-Oswald opened on Dec 16, 2023

 ·  

PMH 2.0.0

UI and Branding Overhaul

API-BreakWill break test results or backwards compatibility. Leftmost number in semantic versioningWill break test results or backwards compatibility. Leftmost number in semantic versioning

Major FeatureTakes a lot of work to implementTakes a lot of work to implement

OverhaulA major rework of a section of the applicationA major rework of a section of the application

User InterfaceWhat the user seesWhat the user sees

Status: Open.

#318 In RAIRLab/Peirce-My-Heart;

· James-Oswald opened on Dec 16, 2023

 ·  

PMH 2.0.0

Improve proof compression via diffs rather than snapshots

API-BreakWill break test results or backwards compatibility. Leftmost number in semantic versioningWill break test results or backwards compatibility. Leftmost number in semantic versioning

EnhancementNew featureNew feature

Status: Open.

#317 In RAIRLab/Peirce-My-Heart;

· James-Oswald opened on Dec 16, 2023

 ·  

PMH 2.0.0

Move Current README to Wiki tab! Write End User README!

documentationImprovements or additions to documentationImprovements or additions to documentation

No API-BreakWill not break test results or backwards compatibility. Middle number in semantic versioningWill not break test results or backwards compatibility. Middle number in semantic versioning

Status: Open.

#313 In RAIRLab/Peirce-My-Heart;

· RyanR712 opened on Dec 14, 2023

Add Compression for proof output files via gz compression stream api

API-BreakWill break test results or backwards compatibility. Leftmost number in semantic versioningWill break test results or backwards compatibility. Leftmost number in semantic versioning

EnhancementNew featureNew feature

good first issueGood for newcomersGood for newcomers

Status: Open.

#268 In RAIRLab/Peirce-My-Heart;

· James-Oswald opened on Nov 28, 2023

 ·  

PMH 2.0.0