Skip to content
This repository was archived by the owner on Nov 26, 2025. It is now read-only.

Commit 3e32401

Browse files
lucaferrantilucaferranti
authored
update package (#289)
* updated package * trigger workflow * updated julia version in compat * updated release version
1 parent 0a43934 commit 3e32401

File tree

10 files changed

+122
-85
lines changed

10 files changed

+122
-85
lines changed

‎.github/workflows/CI.yml‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
name: CI
2+
on:
3+
- push
4+
- pull_request
5+
jobs:
6+
test:
7+
name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
8+
runs-on: ${{ matrix.os }}
9+
continue-on-error: ${{ matrix.version == 'nightly' }}
10+
strategy:
11+
fail-fast: false
12+
matrix:
13+
version:
14+
- '1.5'
15+
- '1.6'
16+
- 'nightly'
17+
os:
18+
- ubuntu-latest
19+
- macOS-latest
20+
- windows-latest
21+
arch:
22+
- x64
23+
- x86
24+
exclude:
25+
- os: macOS-latest
26+
arch: x86
27+
steps:
28+
- uses: actions/checkout@v2
29+
- uses: julia-actions/setup-julia@v1
30+
with:
31+
version: ${{ matrix.version }}
32+
arch: ${{ matrix.arch }}
33+
- uses: actions/cache@v1
34+
env:
35+
cache-name: cache-artifacts
36+
with:
37+
path: ~/.julia/artifacts
38+
key: ${{ runner.os }}-test-${{ env.cache-name }}-${{ hashFiles('**/Project.toml') }}
39+
restore-keys: |
40+
${{ runner.os }}-test-${{ env.cache-name }}-
41+
${{ runner.os }}-test-
42+
${{ runner.os }}-
43+
- uses: julia-actions/julia-buildpkg@v1
44+
- uses: julia-actions/julia-runtest@v1
45+
- uses: julia-actions/julia-processcoverage@v1
46+
- uses: codecov/codecov-action@v1
47+
with:
48+
file: lcov.info

‎.github/workflows/CompactHelper.yml‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
name: CompatHelper
2+
on:
3+
schedule:
4+
- cron: 0 0 * * *
5+
workflow_dispatch:
6+
jobs:
7+
CompatHelper:
8+
runs-on: ubuntu-latest
9+
steps:
10+
- name: Pkg.add("CompatHelper")
11+
run: julia -e 'using Pkg; Pkg.add("CompatHelper")'
12+
- name: CompatHelper.main()
13+
env:
14+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
15+
run: julia -e 'using CompatHelper; CompatHelper.main()'

‎.github/workflows/TagBot.yml‎

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
name: TagBot
2+
on:
3+
issue_comment:
4+
types:
5+
- created
6+
workflow_dispatch:
7+
jobs:
8+
TagBot:
9+
if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
10+
runs-on: ubuntu-latest
11+
steps:
12+
- uses: JuliaRegistries/TagBot@v1
13+
with:
14+
token: ${{ secrets.GITHUB_TOKEN }}

‎.travis.yml‎

Lines changed: 0 additions & 27 deletions
This file was deleted.

‎Project.toml‎

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
name = "ValidatedNumerics"
2+
uuid = "d621b6e3-7715-5857-9c6f-c67000ef6083"
3+
repo = "https://github.com/JuliaIntervals/ValidatedNumerics.jl.git"
4+
version = "0.12.0"
5+
6+
[deps]
7+
IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
8+
IntervalConstraintProgramming = "138f1668-1576-5ad7-91b9-7425abbf3153"
9+
IntervalContractors = "15111844-de3b-5229-b4ba-526f2f385dc9"
10+
IntervalOptimisation = "c7c68f13-a4a2-5b9a-b424-07d005f8d9d2"
11+
IntervalRootFinding = "d2bf35a9-74e0-55ec-b149-d360ff49b807"
12+
Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
13+
TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a"
14+
15+
[compat]
16+
IntervalArithmetic = "0.16, 0.17, 0.18"
17+
IntervalRootFinding = "0.5"
18+
IntervalContractors = "0.4"
19+
IntervalConstraintProgramming = "0.12"
20+
IntervalOptimisation = "0.4"
21+
TaylorModels = "0.3"
22+
Reexport = "0.2, 1.0"
23+
julia = "1.3, 1.4, 1.5, 1.6"
24+
25+
[extras]
26+
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
27+
28+
[targets]
29+
test = ["Test"]

‎README.md‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
# ValidatedNumerics.jl #
22

3-
[![Build Status](https://travis-ci.org/JuliaIntervals/ValidatedNumerics.jl.svg?branch=master)](https://travis-ci.org/JuliaIntervals/ValidatedNumerics.jl)
4-
[![Coverage Status](https://coveralls.io/repos/dpsanders/ValidatedNumerics.jl/badge.svg?branch=master&service=github)](https://coveralls.io/github/dpsanders/ValidatedNumerics.jl?branch=master)
5-
[![codecov](https://codecov.io/gh/JuliaIntervals/ValidatedNumerics.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/JuliaIntervals/ValidatedNumerics.jl)
6-
[![Join the chat at https://gitter.im/dpsanders/ValidatedNumerics.jl](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/dpsanders/ValidatedNumerics.jl?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
3+
[![Build Status](https://github.com/JuliaIntervals/ValidatedNumerics.jl/workflows/CI/badge.svg)](https://github.com/JuliaIntervals/ValidatedNumerics.jl/actions/workflows/CI.yml)
4+
[![coverage](https://codecov.io/gh/JuliaIntervals/ValidatedNumerics.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/JuliaIntervals/ValidatedNumerics.jl)
5+
[![docs](https://img.shields.io/badge/docs-stable-blue.svg)](https://juliaintervals.github.io/pages/packages/)
6+
77

88
`ValidatedNumerics.jl` is a suite of Julia packages for performing *Validated Numerics* in Julia, i.e. *rigorous* computations with finite-precision floating-point arithmetic, using **interval arithmetic**: quantities are treated as intervals that are propagated throughout a calculation. The final result is an interval that is *guaranteed* to contain the correct result, starting from the given initial data.
99

@@ -29,9 +29,11 @@ Since version 0.9, `ValidatedNumerics.jl` is a meta-package that automatically i
2929

3030
- [`IntervalContractors.jl`](https://github.com/JuliaIntervals/IntervalContractors.jl): contractors and reverse (or inverse) functions
3131

32+
- [`TaylorModels.jl`](https://github.com/JuliaIntervals/TaylorModels.jl): rigorous function approximation
33+
3234

3335
## Documentation
34-
Documentation is available separately for each of the above packages.
36+
The documentation for each of the above packages can be found [here](https://juliaintervals.github.io/pages/packages/)
3537

3638
## IEEE Standard 1788-2015 - IEEE Standard for Interval Arithmetic
3739
The IEEE Std 1788-2015 - IEEE Standard for Interval Arithmetic was [published](https://standards.ieee.org/findstds/standard/1788-2015.html) in June 2015. We are working towards having `ValidatedNumerics` be conformant with this standard.

‎REQUIRE‎

Lines changed: 0 additions & 9 deletions
This file was deleted.

‎appveyor.yml‎

Lines changed: 0 additions & 43 deletions
This file was deleted.

‎src/ValidatedNumerics.jl‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,6 @@ using Reexport
99
@reexport using IntervalContractors
1010
@reexport using IntervalConstraintProgramming
1111
@reexport using IntervalOptimisation
12+
@reexport using TaylorModels
1213

1314
end # module ValidatedNumerics

‎test/runtests.jl‎

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,9 +39,16 @@ using Test
3939
@testset "IntervalOptimisation" begin
4040
f(x) = x^4 - 3x^3 + 2x
4141

42-
globalmin, minimisers = minimise(f, -1e10..1e10, 1e-7)
42+
globalmin, minimisers = minimise(f, -1e10..1e10, tol=1e-5)
4343

4444
@test globalmin ⊆ (-4.15.. -4.14)
4545
end
4646

47+
@testset "TaylorModels" begin
48+
x0 = Interval(0.0)
49+
ii0 = Interval(-0.5, 0.5)
50+
51+
tpol = exp( Taylor1(2) )
52+
@test TaylorModels.bound_taylor1( tpol, ii0) == tpol(ii0.lo) .. tpol(ii0.hi)
53+
end
4754
end

0 commit comments

Comments
 (0)