doc · dolmen · Tangled

Sign in Join now

dolmen stepbrobd.com /

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

forked from gbury/dolmen

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

1 folder · 10 files

filipeom.tngl.sh

· Fix some small typos in the documentation · 8mo ago

prepare for doc update

Support for SMT-LIB 2.7 (#235)

Add some doc (plus some small refactorings)

feat: Add support for user-defined builtins with Dune plugins (#214)

Update README and doc (+ use mdx to ensure the doc builds)

Add VS Code config for the LSP (#173)

Fix some small typos in the documentation

Add full mode stdin parsing (#201)

Fix some small typos in the documentation

typing_error.smt2

Add example with typing error