Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add the option --features #1648

Merged
merged 20 commits into from
Apr 26, 2022
Merged

Add the option --features #1648

Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
b8cb240
add support for parsing features
konnov Apr 20, 2022
3702588
add a simple test to make sure that the rows feature can be passed
konnov Apr 20, 2022
e517b63
add tests for feature support
konnov Apr 20, 2022
a9e0b7a
add release note
konnov Apr 20, 2022
e2d6a75
Merge branch 'unstable' into ik/features1647
konnov Apr 20, 2022
fac1ac9
remove unused imports
konnov Apr 20, 2022
b6102a7
Fix integration test expected output
Apr 21, 2022
44ad5e4
Centralize feature string conversion and docs
Apr 21, 2022
7c7a7a5
Simplify dataflow of outputAndLogConfig
Apr 22, 2022
d35b78a
Clean up ordering and comments of cli execution
Apr 22, 2022
cbe4f9a
Add features flag to ConfigManager
Apr 22, 2022
3e11086
Handle configuration file errors
Apr 22, 2022
5f5d407
Add integration test for invalid features configs
Apr 22, 2022
e4d06ba
Add wildcard to integration test output
Apr 22, 2022
87a41b7
Update mod-tool/src/main/scala/at/forsyte/apalache/tla/tooling/opt/Ge…
Apr 22, 2022
aea03e8
Document where to find documentation
Apr 26, 2022
cc7de3e
Merge branch 'unstable' into ik/features1647
konnov Apr 26, 2022
0a0b0f8
Merge pull request #1652 from informalsystems/shon/features1647-sugge…
Apr 26, 2022
0527d08
Merge branch 'unstable' into ik/features1647
Apr 26, 2022
20c8b55
Merge branch 'unstable' into ik/features1647
apalache-bot Apr 26, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge branch 'unstable' into ik/features1647
  • Loading branch information
@apalache-bot
apalache-bot committed Apr 26, 2022
commit 20c8b55737a78c5b70376b55001c1a438fd900fc

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.