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
#66 - prose: add contact info on top and bottom and minimize a bit of the p…
Pull Request -
State: closed - Opened by grantpassmore 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