GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

"invalid datatype declaration, unknown sort" when using testers

#73

· coord-e opened

on Oct 14, 2024

hoice crush with "-v -v -v"

#69

· naokikob opened

on Jan 28, 2024

Release-built hoice sometimes crashes while learning on macOS Monterey

#57

· khei4 opened

on Apr 12, 2022

Fix/Enhance Error-Handling

#49

· AdrienChampion opened

on Apr 21, 2021

Parsing or

#40

· naokikob opened

on Sep 12, 2020

Hoice fails to generate unsat proof when the backend z3 version is 4.8.8

#37

· moratorium08 opened

on Dec 26, 2019

Mysterious bug on lists and pairs

#36

· shiatsumat opened

on Oct 17, 2019

0