An open API service for providing issue and pull request metadata for open source projects.

GitHub / imandra-ai/imandra-docs issues and pull requests

#218 - More on CodeLogician tutorial

Pull Request - State: open - Opened by hon-gyu 4 months ago

#217 - CodeLogician tutorial first draft

Pull Request - State: open - Opened by sam-tombury 4 months ago - 1 comment

#216 - Add universe docs to sidebar

Pull Request - State: closed - Opened by sam-tombury 4 months ago

#215 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci 5 months ago

#214 - Update Python API docs

Pull Request - State: closed - Opened by mattjbray 7 months ago - 1 comment

#210 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 1 year ago

#100 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#99 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#98 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#97 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#96 - adding duplicate of region probabilities

Pull Request - State: closed - Opened by ewenmaclean almost 5 years ago

#95 - moving region probabilities to example section

Pull Request - State: closed - Opened by ewenmaclean almost 5 years ago

#94 - menu offsets + program mode fix in Swiss

Pull Request - State: closed - Opened by ewenmaclean almost 5 years ago

#93 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#92 - restoring flat menu structure for examples

Pull Request - State: closed - Opened by ewenmaclean almost 5 years ago

#91 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#90 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#89 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#88 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#87 - Release

Pull Request - State: closed - Opened by actionshrimp almost 5 years ago

#86 - updating jr to fix single element menus

Pull Request - State: closed - Opened by ewenmaclean almost 5 years ago

#85 - updating capitalisation

Pull Request - State: closed - Opened by ewenmaclean almost 5 years ago

#84 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#83 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#82 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#81 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#80 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 5 years ago

#79 - Release

Pull Request - State: closed - Opened by actionshrimp almost 5 years ago

#78 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#77 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#76 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#75 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#74 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#73 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#72 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#71 - updating to single@@program annotation

Pull Request - State: closed - Opened by ewenmaclean about 5 years ago

#70 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#69 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#68 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#67 - update master

Pull Request - State: closed - Opened by ewenmaclean about 5 years ago

#65 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#64 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#63 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#62 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#61 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#60 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci about 5 years ago

#59 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#58 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#57 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#56 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#55 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#54 - update docs for new modular-decomp based imandra-tools

Pull Request - State: closed - Opened by Bronsa over 5 years ago

#53 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#52 - Release

Pull Request - State: closed - Opened by actionshrimp over 5 years ago

#51 - Release

Pull Request - State: closed - Opened by imandraci over 5 years ago

#50 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#49 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#48 - fix typos

Pull Request - State: closed - Opened by Bronsa over 5 years ago

#47 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#46 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#45 - Release

Pull Request - State: closed - Opened by ewenmaclean over 5 years ago

#44 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#43 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci over 5 years ago

#42 - Release

Pull Request - State: closed - Opened by Bronsa almost 6 years ago

#41 - feat: add doc for reflection

Pull Request - State: closed - Opened by c-cube almost 6 years ago - 2 comments

#40 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#39 - Release for @elijah

Pull Request - State: closed - Opened by actionshrimp almost 6 years ago

#38 - Release

Pull Request - State: closed - Opened by actionshrimp almost 6 years ago

#37 - Release

Pull Request - State: closed - Opened by actionshrimp almost 6 years ago

#36 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#35 - use System.eval

Pull Request - State: closed - Opened by Bronsa almost 6 years ago

#34 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#33 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#32 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#31 - feat: add notebook about plugins

Pull Request - State: closed - Opened by c-cube almost 6 years ago

#30 - Document plugin architecture

Issue - State: closed - Opened by Bronsa almost 6 years ago
Labels: doc topic

#29 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#28 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#27 - Opam installer instructions

Pull Request - State: closed - Opened by Bronsa almost 6 years ago

#26 - Add title in keypairsecurity notebook

Pull Request - State: closed - Opened by Bronsa almost 6 years ago

#25 - feat: add ML notebooks to examples page

Pull Request - State: closed - Opened by Bronsa almost 6 years ago

#24 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#23 - Region_probs additions + minor edits

Pull Request - State: closed - Opened by lrhammond almost 6 years ago - 1 comment

#22 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#21 - extend imandra-tools notebook with region_probs

Issue - State: closed - Opened by Bronsa almost 6 years ago
Labels: doc topic

#20 - Release from imandra-docs-builder

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#19 - Release from imandra-dist

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#18 - Release from imandra-dist

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#17 - extend imandra-tools notebook with region_idx

Issue - State: closed - Opened by Bronsa almost 6 years ago
Labels: doc topic

#16 - feat: document require_use/require_mod_use

Pull Request - State: closed - Opened by imandraci almost 6 years ago

#15 - update to latest imandra-tools

Pull Request - State: closed - Opened by Bronsa almost 6 years ago

#14 - Interaction between clausal simplifier and spurious hypothesis

Issue - State: open - Opened by Bronsa almost 6 years ago
Labels: doc topic

#13 - What is/how powerful is the logic used by Imandra

Issue - State: open - Opened by Bronsa almost 6 years ago
Labels: doc topic

#12 - More in-depth [@@blast] documentation

Issue - State: open - Opened by Bronsa almost 6 years ago
Labels: doc topic

#11 - How to express forall_exists in Imandra

Issue - State: open - Opened by Bronsa almost 6 years ago
Labels: doc topic

#10 - backchain_limit config and its interaction in induction

Issue - State: open - Opened by Bronsa almost 6 years ago
Labels: doc topic

#9 - [@@otf] induction hint

Issue - State: open - Opened by Bronsa almost 6 years ago - 1 comment
Labels: doc topic

#8 - [@@opaque] validation hint

Issue - State: open - Opened by Bronsa almost 6 years ago
Labels: doc topic

#7 - [@@nonlin] verification hint

Issue - State: open - Opened by Bronsa almost 6 years ago
Labels: doc topic