Maniphest Open Tasks

Open Tasks
Use Results
Edit Query
Hide Query

Normal (6)

T31 Improve robustness of multithreaded Kodkod in Isabelle/Scala
isabelle-release
Nov 27 2021, 3:30 PM
T29 Update component for Z3
provers
Nov 27 2021, 3:32 PM
T16 Clarify indentation after 'oops'
No Projects
Feb 25 2020, 11:52 AM
T15 Localized record package
No Projects
Feb 19 2020, 8:48 PM
T13 Isabelle/jEdit indenting
No Projects
Jan 9 2021, 1:18 AM
Assigned: makarius
T4 Explore Java Chromium Embedded for HTML/CSS/JS within Swing
No Projects
Sep 30 2019, 4:46 PM

Low (5)

T21 Unexpected failure of method "algebra"
No Projects
May 12 2020, 4:56 PM
T11 HOL-Quickcheck_Examples fails on Windows
No Projects
Jan 16 2020, 4:07 PM
T10 Font rendering quality in OpenJDK 11 vs. 17
No Projects
Oct 19 2021, 10:31 PM
T9 Evaluate https://discourse.org as replacement for mailman, stackoverflow
No Projects
Nov 30 2021, 5:03 PM
Assigned: makarius
T5 Syntax highlighting via pygments (for Isabelle/ML, Isabelle/Isar etc.)
phabricator-setup
Sep 27 2019, 7:12 PM
Assigned: makarius

Wishlist (4)

T23 More compact representation of type instances of term constants
No Projects
Sep 11 2020, 12:34 PM
T20 Sledgehammer/z3: "bad SMT term: _"
provers
Oct 29 2020, 5:20 PM
T14 Fully localized type abbreviations
No Projects
Feb 19 2020, 8:43 PM
T7 Setup Notification server
phabricator-setup
Dec 20 2019, 4:19 PM
Assigned: makarius