├── .gitignore ├── .travis.yml ├── CHANGELOG.md ├── Cargo.toml ├── LICENSE ├── README.md ├── misc ├── Dockerfile └── herbie-inout ├── src ├── conf.rs ├── lib.rs ├── lint.rs ├── lisp.rs └── utils.rs └── tests ├── compile-fail ├── conf-error │ ├── Herbie.toml │ └── test.rs ├── general │ ├── Herbie.db │ ├── README.md │ └── test.rs ├── herbie-inout │ ├── Herbie.dest.db │ ├── Herbie.orig.db │ ├── Herbie.toml │ ├── herbie-inout │ └── test.rs ├── no-db │ └── test.rs └── timeout │ ├── Herbie.db │ ├── Herbie.toml │ ├── herbie-inout │ └── test.rs ├── lisp.rs └── test.rs /.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/.travis.yml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/README.md -------------------------------------------------------------------------------- /misc/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/misc/Dockerfile -------------------------------------------------------------------------------- /misc/herbie-inout: -------------------------------------------------------------------------------- 1 | #!/bin/env sh 2 | docker run -i herbie 3 | -------------------------------------------------------------------------------- /src/conf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/src/conf.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/lint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/src/lint.rs -------------------------------------------------------------------------------- /src/lisp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/src/lisp.rs -------------------------------------------------------------------------------- /src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/src/utils.rs -------------------------------------------------------------------------------- /tests/compile-fail/conf-error/Herbie.toml: -------------------------------------------------------------------------------- 1 | foobar 2 | -------------------------------------------------------------------------------- /tests/compile-fail/conf-error/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/conf-error/test.rs -------------------------------------------------------------------------------- /tests/compile-fail/general/Herbie.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/general/Herbie.db -------------------------------------------------------------------------------- /tests/compile-fail/general/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/general/README.md -------------------------------------------------------------------------------- /tests/compile-fail/general/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/general/test.rs -------------------------------------------------------------------------------- /tests/compile-fail/herbie-inout/Herbie.dest.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/herbie-inout/Herbie.dest.db -------------------------------------------------------------------------------- /tests/compile-fail/herbie-inout/Herbie.orig.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/herbie-inout/Herbie.orig.db -------------------------------------------------------------------------------- /tests/compile-fail/herbie-inout/Herbie.toml: -------------------------------------------------------------------------------- 1 | use_herbie = true 2 | -------------------------------------------------------------------------------- /tests/compile-fail/herbie-inout/herbie-inout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/herbie-inout/herbie-inout -------------------------------------------------------------------------------- /tests/compile-fail/herbie-inout/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/herbie-inout/test.rs -------------------------------------------------------------------------------- /tests/compile-fail/no-db/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/no-db/test.rs -------------------------------------------------------------------------------- /tests/compile-fail/timeout/Herbie.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/timeout/Herbie.db -------------------------------------------------------------------------------- /tests/compile-fail/timeout/Herbie.toml: -------------------------------------------------------------------------------- 1 | timeout = 1 2 | use_herbie = true 3 | -------------------------------------------------------------------------------- /tests/compile-fail/timeout/herbie-inout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/timeout/herbie-inout -------------------------------------------------------------------------------- /tests/compile-fail/timeout/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/compile-fail/timeout/test.rs -------------------------------------------------------------------------------- /tests/lisp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/lisp.rs -------------------------------------------------------------------------------- /tests/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcarton/rust-herbie-lint/HEAD/tests/test.rs --------------------------------------------------------------------------------