Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / lip6/itstools issues and pull requests
#31 - Bump JamesIves/github-pages-deploy-action from 4.1.3 to 4.1.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#31 - Bump JamesIves/github-pages-deploy-action from 4.1.3 to 4.1.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#30 - Bump actions/cache from 2.1.5 to 2.1.6
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#30 - Bump actions/cache from 2.1.5 to 2.1.6
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#29 - Bump actions/checkout from 2 to 2.3.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#29 - Bump actions/checkout from 2 to 2.3.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#28 - Bump actions/cache from 2 to 2.1.5
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#27 - Bump JamesIves/github-pages-deploy-action from 4.1.1 to 4.1.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#27 - Bump JamesIves/github-pages-deploy-action from 4.1.1 to 4.1.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#26 - Bump JamesIves/github-pages-deploy-action from 4.1.1 to 4.1.2
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#26 - Bump JamesIves/github-pages-deploy-action from 4.1.1 to 4.1.2
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#25 - Bump JamesIves/github-pages-deploy-action from 3.7.1 to 4.1.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#25 - Bump JamesIves/github-pages-deploy-action from 3.7.1 to 4.1.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#24 - Bump actions/setup-java from v1 to v2
Pull Request -
State: closed - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#23 - Upgrade to GitHub-native Dependabot
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 4 years ago
Labels: dependencies
#22 - merge
Pull Request -
State: closed - Opened by yanntm almost 4 years ago
#21 - merge
Pull Request -
State: closed - Opened by yanntm almost 4 years ago
#21 - merge
Pull Request -
State: closed - Opened by yanntm almost 4 years ago
#20 - merge amine & sofiane work
Pull Request -
State: closed - Opened by yanntm almost 4 years ago
#20 - merge amine & sofiane work
Pull Request -
State: closed - Opened by yanntm almost 4 years ago
#19 - merge fork @benslmn
Pull Request -
State: closed - Opened by yanntm almost 4 years ago
#18 - Merge work on GlobalProperties by students.
Pull Request -
State: closed - Opened by yanntm almost 4 years ago
#17 - Unexpected error when asking for witness on its-ctl CTL
Issue -
State: closed - Opened by carlosengers about 5 years ago
- 3 comments
#17 - Unexpected error when asking for witness on its-ctl CTL
Issue -
State: closed - Opened by carlosengers about 5 years ago
- 3 comments
#16 - Derived state variables
Issue -
State: open - Opened by ltbinsbe over 5 years ago
- 11 comments
#16 - Derived state variables
Issue -
State: open - Opened by ltbinsbe over 5 years ago
- 11 comments
#15 - System invariants in GAL
Issue -
State: open - Opened by bohlender over 5 years ago
- 10 comments
Labels: enhancement
#15 - System invariants in GAL
Issue -
State: open - Opened by bohlender over 5 years ago
- 10 comments
Labels: enhancement
#14 - Minor typo in example description
Pull Request -
State: closed - Opened by bohlender over 5 years ago
#14 - Minor typo in example description
Pull Request -
State: closed - Opened by bohlender over 5 years ago
#13 - Promela to GAL transformation error
Issue -
State: closed - Opened by DavidFarago over 6 years ago
- 2 comments
#13 - Promela to GAL transformation error
Issue -
State: closed - Opened by DavidFarago over 6 years ago
- 2 comments
#12 - urgent channels in XTA
Issue -
State: open - Opened by pascalpoizat over 6 years ago
- 2 comments
Labels: enhancement
#12 - urgent channels in XTA
Issue -
State: open - Opened by pascalpoizat over 6 years ago
- 2 comments
Labels: enhancement
#11 - Sequential composition of assignments??
Issue -
State: closed - Opened by francomazzanti over 6 years ago
- 6 comments
Labels: bug
#11 - Sequential composition of assignments??
Issue -
State: closed - Opened by francomazzanti over 6 years ago
- 6 comments
Labels: bug
#10 - Archive versions of the update site / release
Issue -
State: closed - Opened by dvojtise almost 7 years ago
- 3 comments
Labels: enhancement
#10 - Archive versions of the update site / release
Issue -
State: closed - Opened by dvojtise almost 7 years ago
- 3 comments
Labels: enhancement
#9 - NPE whe trying to run its reach or flatten
Issue -
State: closed - Opened by dvojtise almost 7 years ago
- 4 comments
#9 - NPE whe trying to run its reach or flatten
Issue -
State: closed - Opened by dvojtise almost 7 years ago
- 4 comments
#8 - missing dynamic library when installing its-reach on a fresh linux
Issue -
State: closed - Opened by dvojtise about 7 years ago
- 5 comments
#7 - adapt current runner to the portfolio
Pull Request -
State: open - Opened by akheireddine over 7 years ago
#6 - Master2
Pull Request -
State: closed - Opened by tetras92 over 7 years ago
#5 - limited quantifiers in properties
Issue -
State: open - Opened by yanntm over 7 years ago
- 3 comments
#4 - specify target properties separately from model
Issue -
State: open - Opened by yanntm over 7 years ago
#3 - Chain transformations
Issue -
State: open - Opened by yanntm over 7 years ago
#2 - Run as its -model-check only runs one of ltl, reachability or CTL
Issue -
State: closed - Opened by yanntm over 7 years ago
- 1 comment
#1 - Extend flags that can be passed to ITS model check
Issue -
State: closed - Opened by yanntm over 7 years ago
- 2 comments
Labels: enhancement