Commits
- Commit:
88e772fc5b79cb5f1d6ea762d7808becd3711751
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Via:
- Sergey Bronnikov <sergeyb@tarantool.org>
- Date:
Add Lua rockspec
We use elle-cli together with Molly [1] and it would be convenient
having elle-cli packaged using Luarocks. This allows to setup all
required dependencies using Luarocks.
i1. https://github.com/ligurio/molly
- Commit:
0ff6aa810c8c58f5684a702d7f468008e91090b7
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Via:
- Sergey Bronnikov <sergeyb@tarantool.org>
- Date:
Update .gitignore
- Commit:
7ba8ab69555b01a8fd60b087277613f93cc267e8
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Add a shell script that runs JAR file
```
$ ./elle-cli
Usage: elle-cli --help
$ ./elle-cli --help
elle-cli - command-line transactional safety checker.
Usage: elle-cli -m model [options] files
Supported models:
...
```
- Commit:
cbecaf441b3faef4cb1d14bf165216bd64680b1d
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Via:
- Sergey Bronnikov <sergeyb@tarantool.org>
- Date:
Bump copyright year
- Commit:
b8fe1d3fb6956c80a9254d639b6596f33f62e661
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Release 0.1.6
- Commit:
aed6040b38070a0ef57e7334c500501856946d92
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Bump Elle and Jepsen
Update Jepsen [1] and Elle [2] libraries to the latest versions.
History paper-example.{edn,json} has been updated and field `:process`
been added, see [3].
1. https://github.com/jepsen-io/jepsen/releases/tag/v0.3.0
2. https://github.com/jepsen-io/elle/releases/tag/v0.1.6
3. https://github.com/jepsen-io/elle/issues/20
- Commit:
c1cf3d6509003d227dc3528a0de45385577c58f7
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Release 0.1.5
- Commit:
d706138a91aa6aaabdb5195e79498448044fc567
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Update .gitignore
- Commit:
db25a4280eba2a870848f49eb3a601bd7153095d
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Fix project description
- Commit:
6b24d33e39f59b95a912c809251b5f58db6c2c26
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Knossos register is gone
Commit 4e55c2e ("Remove model register in documentation") removed knossos
register model in documentation. This commit finally removes model itself.
Use elle's register instead.
Closes #42
- Commit:
c660bce8c10041aa3353f4fb8269eca7f3ffb228
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Add a checker for sequential test
Closes #33
- Commit:
935da4cf63a9fdc003fd51b77be4fea1c33f68e0
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Add a checker for comments test
Closes #32
- Commit:
d9145d2205e8e2ad30b16fed056ac6ec2fef975f
- From:
- Sergey Bronnikov <sergeyb@tarantool.org>
- Via:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Bump Jepsen version
Version of Jepsen has been updated to 0.2.7,
see changes in [1] and [2].
1. https://github.com/jepsen-io/jepsen/compare/v0.2.6...v0.2.7
2. https://github.com/jepsen-io/jepsen/releases/tag/v0.2.7
- Commit:
1e67bcd463f88b07b6385ed01767ebc3fb55a2de
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Release 0.1.4
- Commit:
f6eb16f86fc465785243eaf1d33bfa3266c977c2
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Bump Elle version
Version of Elle has been updated to 0.1.5 [1]. Transactional models and
anomalies synced with Elle.
1. https://github.com/jepsen-io/elle/compare/v0.1.4...v0.1.5
- Commit:
631b9683de1baabb6f4b61516c6ac3a926a0cde8
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Fix exit code when history is not valid
Patch changes exit code to 1 when at least one file with history is not
valid.
Fixes #53
- Commit:
620f3fe5910b9d893eab6c9f36426ce118cdde69
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Disable trace mode on running tests
Test script now reports status for each testcase, trace mode looks
unnecessary.
Needed for #53
- Commit:
39150df4b478838790663610fe3e1980f2261a42
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Update tests
Wrap each testcase by a small function which checks that history
checking status corresponds to expected result.
Needed for #53
- Commit:
c462a7fa8ba982bedf061e72e097513f2deb035a
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Fix indentation
- Commit:
ce0858cacfc3a3b9e65b63a3730c0d60f649bc73
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Print file path when file not found
- Commit:
6b71c436f9b454946bdec4e55b8b6820ed9abe89
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Via:
- Sergey Bronnikov <sergeyb@tarantool.org>
- Date:
Fix placement for changelog entry
Changelog entry for commit "Update test descriptions"
was accidentally added to a section for released version.
- Commit:
aaaf0f4d5b68bdaf3d89c54a2f10856e7dca973d
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Update test descriptions
Closes #37
- Commit:
60ad123f1c6a7476dc784bc476f90aae309def13
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Fix running testing twice
Now testing in pull request is started twice: on push event and
pull_request synchronize event. Patch enables testing on push event only
with push to a master branch and on push tag only.
By default, only the opened, synchronize, and reopened activity
types trigger workflows that run on the pull_request event, see [1].
1. https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request
- Commit:
acfe431c6d9fbd9b19b3b49a67c79cc7b3711d75
- From:
- Sergey Bronnikov <estetus@gmail.com>
- Date:
Fix setting of headless mode
Fixes #50
Reported-by: Marco Primi <marco@mpri.me>
- Commit:
7970c5938baefa2669f1dc98bb2a497f008e950b
- From:
- Marco Primi <marco@mpri.me>
- Via:
- Sergey Bronnikov <sergeyb@tarantool.org>
- Date:
Fix typo in a README