issues
search
levjj
/
esverify
ECMAScript verification with SMT solvers
https://esverify.org/
MIT License
124
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
build(deps-dev): bump braces from 3.0.2 to 3.0.3
#54
dependabot[bot]
opened
4 months ago
0
build(deps): bump minimatch from 3.0.4 to 3.1.2
#53
dependabot[bot]
closed
1 year ago
0
build(deps): bump yaml, @commitlint/cli, @commitlint/prompt, @commitlint/prompt-cli, @commitlint/travis-cli and husky
#52
dependabot[bot]
closed
1 year ago
1
build(deps): bump lodash, @commitlint/prompt and @commitlint/prompt-cli
#51
dependabot[bot]
closed
1 year ago
0
build(deps): bump ansi-regex
#50
dependabot[bot]
closed
1 year ago
1
build(deps): bump minimatch and mocha
#49
dependabot[bot]
closed
1 year ago
1
build(deps): bump nanoid and mocha
#48
dependabot[bot]
closed
1 year ago
0
build(deps): bump semver-regex from 3.1.3 to 3.1.4
#47
dependabot[bot]
closed
2 years ago
0
build(deps): bump trim-off-newlines from 1.0.1 to 1.0.3
#46
dependabot[bot]
closed
2 years ago
0
build(deps): bump minimist from 1.2.5 to 1.2.6
#45
dependabot[bot]
closed
2 years ago
0
build(deps): bump semver-regex from 3.1.2 to 3.1.3
#44
dependabot[bot]
closed
3 years ago
0
build(deps): bump trim-newlines from 3.0.0 to 3.0.1
#43
dependabot[bot]
closed
3 years ago
1
build(deps): bump glob-parent from 5.1.1 to 5.1.2
#42
dependabot[bot]
closed
3 years ago
1
build(deps): bump hosted-git-info from 2.8.8 to 2.8.9
#41
dependabot[bot]
closed
3 years ago
1
build(deps): bump y18n from 4.0.0 to 4.0.1
#40
dependabot[bot]
closed
3 years ago
1
build(deps): bump ini from 1.3.5 to 1.3.7
#39
dependabot[bot]
closed
3 years ago
1
Greenkeeper/@types/estree 0.0.44
#38
levjj
closed
4 years ago
1
Update @types/estree to the latest version 🚀
#37
greenkeeper[bot]
closed
4 years ago
3
Update mocha to the latest version 🚀
#36
greenkeeper[bot]
closed
4 years ago
1
Update @types/mocha to the latest version 🚀
#35
greenkeeper[bot]
closed
4 years ago
2
Update mocha to the latest version 🚀
#34
greenkeeper[bot]
closed
4 years ago
1
Update husky to the latest version 🚀
#33
greenkeeper[bot]
closed
4 years ago
1
Update @types/estree to the latest version 🚀
#32
greenkeeper[bot]
closed
4 years ago
2
Update @types/estree to the latest version 🚀
#31
greenkeeper[bot]
closed
4 years ago
1
Update tslint-config-standard to the latest version 🚀
#30
greenkeeper[bot]
closed
4 years ago
1
docs(readme): update badge to travis-cli.com and other minor edits
#29
levjj
closed
5 years ago
1
Parallel verification
#28
levjj
opened
5 years ago
0
Predicates/ghost functions for higher-order annotations
#27
levjj
opened
5 years ago
0
Mutually recursive functions
#26
levjj
opened
5 years ago
0
Support for subclasses and inheritance
#25
levjj
opened
5 years ago
0
Support for mutable objects and array
#24
levjj
opened
5 years ago
0
Termination checking
#23
levjj
opened
5 years ago
0
ES Module Support with import/export
#22
levjj
opened
5 years ago
0
Update husky to the latest version 🚀
#21
greenkeeper[bot]
closed
5 years ago
2
Update @commitlint/travis-cli to the latest version 🚀
#20
greenkeeper[bot]
closed
5 years ago
1
Update @commitlint/prompt to the latest version 🚀
#19
greenkeeper[bot]
closed
5 years ago
1
Update @commitlint/prompt-cli to the latest version 🚀
#18
greenkeeper[bot]
closed
5 years ago
0
Update @commitlint/config-conventional to the latest version 🚀
#17
greenkeeper[bot]
closed
5 years ago
1
Update @commitlint/cli to the latest version 🚀
#16
greenkeeper[bot]
closed
5 years ago
1
Update husky to the latest version 🚀
#15
greenkeeper[bot]
closed
5 years ago
2
Support Flow type annotations
#14
indolering
opened
5 years ago
0
Update ts-node to the latest version 🚀
#13
greenkeeper[bot]
closed
5 years ago
1
API for transforming source code to testcode
#12
levjj
closed
5 years ago
1
Update mocha to the latest version 🚀
#11
greenkeeper[bot]
closed
5 years ago
1
Upgrade husky hooks and bump license year
#10
levjj
closed
5 years ago
1
Comment annotations
#9
nono
opened
5 years ago
1
Upgraded husky hooks for commit messages
#8
levjj
closed
5 years ago
1
Update dependencies to enable Greenkeeper 🌴
#7
greenkeeper[bot]
closed
5 years ago
1
readme example typo
#6
rdesfo
closed
5 years ago
1
Use npx for semantic release
#5
levjj
closed
5 years ago
1
Next