Ecosyste.ms: Issues

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

GitHub / tlaplus/tlapm issues and pull requests

#101 - Give Karolis write access to the repo

Issue - State: closed - Opened by ahelwer 7 months ago - 5 comments

#100 - LSP server fails with empty document.

Issue - State: closed - Opened by kape1395 8 months ago - 1 comment

#99 - fix install location for ptl_to_trp

Pull Request - State: closed - Opened by damiendoligez 8 months ago

#98 - fixed bogus proof in setEuclid_test.tla

Pull Request - State: closed - Opened by muenchnerkindl 8 months ago - 2 comments

#97 - Unable to compile on M1 Mac

Issue - State: open - Opened by uguryavuz 8 months ago - 2 comments

#96 - Upload nightly build and use examples for tests

Pull Request - State: open - Opened by ahelwer 8 months ago - 25 comments

#95 - Branch `updated_enabled_cdot` on top of dune, ocaml-5 and lsp.

Pull Request - State: open - Opened by kape1395 8 months ago

#94 - QED step has no locus assigned.

Issue - State: closed - Opened by kape1395 9 months ago - 2 comments

#93 - Language Server Protocol for TLAPM

Pull Request - State: open - Opened by kape1395 9 months ago - 12 comments

#92 - Introduce a `develop` branch?

Issue - State: open - Opened by kape1395 10 months ago - 5 comments

#91 - OCaml 5.1

Pull Request - State: closed - Opened by kape1395 10 months ago

#90 - LSP support

Issue - State: open - Opened by kape1395 10 months ago - 4 comments

#89 - Inconsistent verification of TLAPS proofs

Issue - State: open - Opened by uguryavuz 11 months ago

#88 - Nondeterministic tlapm install failure on ubuntu (building Pure failed)

Issue - State: closed - Opened by ahelwer 12 months ago - 4 comments

#87 - Support dune build deps macos (vipo)

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

#85 - Fingerprints seemingly ignored for some proofs

Issue - State: open - Opened by ahelwer about 1 year ago - 3 comments

#84 - fix disappearing fingerprints

Pull Request - State: open - Opened by damiendoligez about 1 year ago

#83 - Dune based build

Pull Request - State: closed - Opened by kape1395 about 1 year ago - 21 comments

#82 - Simplify the build process.

Issue - State: closed - Opened by kape1395 about 1 year ago

#81 - Basic support for build with dune.

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

#80 - Use Dune for build?

Issue - State: closed - Opened by kape1395 about 1 year ago

#79 - fix wrong expansion of @ in nested EXCEPT

Pull Request - State: open - Opened by damiendoligez about 1 year ago

#78 - TLAPS in WSL2 - Prover Launch problem

Issue - State: closed - Opened by hejersbo about 1 year ago - 3 comments

#77 - wrong expansion of @ in record updates

Issue - State: open - Opened by muenchnerkindl about 1 year ago - 2 comments
Labels: bug

#76 - Incorrect output of obligation that includes `\lnot` on an unbound variable

Issue - State: closed - Opened by ahelwer over 1 year ago - 1 comment

#75 - ENABLED is not coalesced

Issue - State: open - Opened by muenchnerkindl over 1 year ago
Labels: enhancement

#74 - Is there a way to designate the output directory for the fingerprint files?

Issue - State: closed - Opened by ahelwer over 1 year ago - 1 comment

#73 - Install error messages on macOS: unable to locate a Java runtime

Issue - State: closed - Opened by ahelwer over 1 year ago - 5 comments

#72 - Easy way to set up portable TLAPS?

Issue - State: closed - Opened by ahelwer over 1 year ago - 1 comment

#71 - Primed variables in quantifier bounds are ignored

Issue - State: open - Opened by adef-inr over 1 year ago

#70 - Smt changes

Pull Request - State: closed - Opened by adef-inr over 1 year ago - 12 comments

#67 - CI: run `pr.yml` when changed

Pull Request - State: closed - Opened by johnyf about 2 years ago - 1 comment

#66 - CI: move release-making actions to file `release.yml`

Pull Request - State: closed - Opened by johnyf about 2 years ago - 3 comments

#65 - REF: configuration files for GitHub Actions

Pull Request - State: closed - Opened by johnyf about 2 years ago

#64 - Fix spurious warning from ps

Pull Request - State: closed - Opened by damiendoligez over 2 years ago - 2 comments

#63 - HIDE X HIDE Y works but HIDE X, Y doesn't

Issue - State: open - Opened by cpacejo over 2 years ago

#62 - Examples involving use of WF.

Pull Request - State: open - Opened by kape1395 over 2 years ago

#61 - formatting of modules related to indexing and subexpression references

Pull Request - State: open - Opened by johnyf over 2 years ago

#59 - API: represent tuply declarations in the syntax tree

Pull Request - State: open - Opened by johnyf over 2 years ago - 1 comment

#58 - REF: add functions for creating syntax-tree nodes, revise internal interfaces

Pull Request - State: closed - Opened by johnyf over 2 years ago - 1 comment

#57 - _API: mainly related to expressions

Pull Request - State: closed - Opened by johnyf over 2 years ago - 2 comments

#56 - fixes mainly related to operator indexing

Pull Request - State: closed - Opened by johnyf over 2 years ago - 1 comment

#55 - Smt fix

Pull Request - State: closed - Opened by adef-inr over 2 years ago - 3 comments

#54 - Problem instantiating a module with a RECURSIVE operator

Issue - State: open - Opened by josedusol over 2 years ago

#53 - Solver timeout isn't respected properly

Issue - State: open - Opened by will62794 over 2 years ago - 1 comment

#51 - Existence of non-existing recursive functions

Issue - State: open - Opened by zwergziege over 2 years ago - 3 comments

#50 - SMT backend encounters 'Queue.nth: internal error'

Issue - State: open - Opened by will62794 over 2 years ago - 4 comments

#49 - ENH: convert syntax tree to JSON

Pull Request - State: open - Opened by johnyf almost 3 years ago

#48 - Formatting, documentation, local refactoring

Pull Request - State: closed - Opened by johnyf almost 3 years ago - 3 comments

#47 - API: read (env) variable `TLAPM_CACHE_DIR`, add command-line parameter `--cache-dir`

Pull Request - State: closed - Opened by johnyf almost 3 years ago - 1 comment
Labels: enhancement, api, ui

#46 - Sign TLAPS release to be accepted by macOS gatekeeper

Issue - State: open - Opened by lemmy almost 3 years ago - 6 comments
Labels: enhancement

#45 - Under specific circumstances SMT can't handle strings

Issue - State: open - Opened by zwergziege almost 3 years ago

#44 - TLAPM Pb

Issue - State: closed - Opened by FilaliM almost 3 years ago - 1 comment

#43 - convert website source to Markdown, print message from installer about Cygwin paths

Pull Request - State: open - Opened by johnyf about 3 years ago - 2 comments

#42 - Fingerprint loaded with `--nofp`

Issue - State: closed - Opened by lemmy about 3 years ago - 2 comments
Labels: documentation, ui

#41 - Silent failure when input file doesn't exist -- output suggests file exists

Issue - State: closed - Opened by lemmy about 3 years ago - 2 comments
Labels: bug

#40 - Contradictory warning with ExpandENABLED

Issue - State: open - Opened by lemmy about 3 years ago - 1 comment
Labels: documentation

#39 - CHOOSE

Issue - State: closed - Opened by lemmy about 3 years ago - 3 comments

#38 - interfacing to `cvc5`

Issue - State: open - Opened by johnyf about 3 years ago
Labels: enhancement, documentation, api

#37 - CodeOfConduct

Issue - State: closed - Opened by lemmy about 3 years ago - 2 comments
Labels: enhancement, documentation

#36 - TLAPM fails to run with error code -1073741515

Issue - State: open - Opened by ahelwer about 3 years ago - 4 comments
Labels: documentation

#35 - Spec => <>[]TRUE

Issue - State: open - Opened by lemmy about 3 years ago - 1 comment
Labels: enhancement

#34 - parse tuple syntax in function constructors and comma-separated arguments in `EXCEPT` assignments

Pull Request - State: closed - Opened by johnyf over 3 years ago - 3 comments
Labels: bug

#33 - correctly interpret multiple `EXCEPT` assignments

Pull Request - State: closed - Opened by johnyf over 3 years ago - 1 comment
Labels: bug

#30 - Unsupported syntax causes TLAPM to crash

Issue - State: closed - Opened by cipher1024 over 3 years ago - 4 comments

#29 - Dekker's algorithm for mutual exclusion

Pull Request - State: closed - Opened by johnyf over 3 years ago - 1 comment

#28 - Running TLAPM in a specification which extends Randomization results in a crash

Issue - State: closed - Opened by uguryavuz over 3 years ago - 5 comments

#27 - modifications to standard TLAPS library

Pull Request - State: closed - Opened by muenchnerkindl over 3 years ago

#26 - tlapm problems

Issue - State: closed - Opened by FilaliM over 3 years ago - 3 comments

#25 - update to OCaml v4.11.0

Pull Request - State: closed - Opened by johnyf over 3 years ago - 5 comments

#23 - Fingerprinting variables and bound identifiers

Pull Request - State: closed - Opened by johnyf over 3 years ago - 15 comments
Labels: bug

#22 - BUG: lex keywords in WF_, SF_ subscripts

Pull Request - State: closed - Opened by johnyf over 3 years ago - 1 comment
Labels: bug

#21 - Syntax error in spec causes bogus warning about a TLAPM bug to be raised

Issue - State: open - Opened by lemmy over 3 years ago - 2 comments
Labels: bug

#20 - API: change default aux dir to `.tlacache`

Pull Request - State: closed - Opened by johnyf over 3 years ago - 1 comment

#19 - classify tests into fast/medium/slow

Pull Request - State: closed - Opened by damiendoligez over 3 years ago - 2 comments

#18 - update version number and remove old svn-based commit numbers

Pull Request - State: closed - Opened by damiendoligez over 3 years ago - 1 comment

#17 - Bogus warning when running TLAPS in Windows Subsystem for Linux (WSL)

Issue - State: closed - Opened by lemmy over 3 years ago - 1 comment

#16 - How to change `__tlacache__` to e.g. `.tlacache`?

Issue - State: closed - Opened by lemmy over 3 years ago - 11 comments
Labels: enhancement, question, api

#15 - Bogus error about ENABLED with 1.4.5 TLAPS.tla

Issue - State: closed - Opened by lemmy over 3 years ago - 2 comments

#14 - ./regression_tests/consensus/consensus_test.tla FAILED

Issue - State: closed - Opened by lemmy over 3 years ago - 2 comments

#13 - Crash on set instantiation

Issue - State: closed - Opened by leandernikolaus over 3 years ago - 2 comments

#11 - Add support for quantification over tuples

Issue - State: open - Opened by lemmy over 3 years ago - 4 comments
Labels: enhancement

#10 - Byzpaxos

Pull Request - State: closed - Opened by muenchnerkindl over 3 years ago - 4 comments

#9 - add `ENABLED` and `\cdot` front-end

Pull Request - State: closed - Opened by johnyf almost 4 years ago - 5 comments

#8 - TLAPM Crash

Issue - State: closed - Opened by kape1395 almost 4 years ago - 3 comments
Labels: bug

#7 - Installation on macOS needs better instructions

Issue - State: open - Opened by ghost about 4 years ago - 4 comments
Labels: documentation

#6 - TLAPS regression from 1.4.3 to 1.4.5

Issue - State: closed - Opened by andylokandy over 4 years ago - 4 comments

#5 - Build and test tlapm on every pull request

Pull Request - State: closed - Opened by lemmy over 4 years ago

#4 - Fix test suite

Pull Request - State: closed - Opened by damiendoligez over 4 years ago - 2 comments

#3 - Accept archives (zip) in search path

Issue - State: open - Opened by lemmy over 4 years ago
Labels: enhancement

#2 - Add instructions to debug tlapm

Issue - State: open - Opened by lemmy over 4 years ago
Labels: enhancement

#1 - Fix types in \subseteq rule and fix rule for \E x \in {}: P

Pull Request - State: closed - Opened by hvanz over 4 years ago
Labels: bug