8000 Tags · jan-dolejsi/vscode-pddl · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: jan-dolejsi/vscode-pddl

Tags

v2.22.0

Toggle v2.22.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #97 from jan-dolejsi/planner_troubleshooting

Planner troubleshooting

v2.21.0

Toggle v2.21.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #94 from jan-dolejsi/formatter

PDDL formatter; v2.21.0

v2.20.0

Toggle v2.20.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #89 from jan-dolejsi/ext_planview

Ext planview

v2.19.0

Toggle v2.19.0's commit message 
doc

v2.18.0

Toggle v2.18.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #65 from jan-dolejsi/dev_2.17.4

v2.18.0 - multiple plan metric line plots

v2.17.1

Toggle v2.17.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Planner switch (#61)

* - vscode-uri used outside of vscode-dependent code instead of String form
- configuration folder refactoring
- multi-planner configuration
- planner base classes moved to pddl-workspace
- multi-planner configuration on Overview Page
- overview page face-lift
- overview page update event batching

* - fix for canceled planner addition

* changelong

* - planners from all scopes are supported
- setting to hide planner selector in status bar

* - configuration scope displayed for planner

* planner configuration includes its index and origin workspace folder

* - planner output target, parser and validator configuration on Overview Page now sensitive to workspace folder selection
- workspace folder selector

* v2.17.1, doc

v2.15.4

Toggle v2.15.4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Bump npm from 5.5.1 to 6.13.4 in /client (#45)

Bumps [npm](https://github.com/npm/cli) from 5.5.1 to 6.13.4.
- [Release notes](https://github.com/npm/cli/releases)
- [Changelog](https://github.com/npm/cli/blob/latest/CHANGELOG.md)
- [Commits](npm/cli@v5.5.1...v6.13.4)

Signed-off-by: dependabot[bot] <support@github.com>

Co-authored-by: Jan Dolejší <honza.dolejsi@gmail.com>

v2.15.3

Toggle v2.15.3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #52 from jan-dolejsi/fix-2-15-3

Fix 2 15 3

v2.15.2

Toggle v2.15.2's commit message 
- predicate/function references in hover and decorations

- effect and condition local parsing extracted to ModelHierarchy
- v2.15.2

v2.15.1

Toggle v2.15.1's commit message 
step up to v1.15.1
0