Commits · master · CoqInterval / interval

15 Jun, 2021 2 commits
- New release. · 2465765b
  Guillaume Melquiond authored Jun 15, 2021
  
  2465765b
- Ensure compatibility with Coq 8.14 (fix #6 ). · ce9c93c2
  Guillaume Melquiond authored Jun 15, 2021
  
  ce9c93c2
27 May, 2021 1 commit
- Compatibility with https://github.com/coq/coq/pull/13895 · e5047abc
  Guillaume Melquiond authored May 27, 2021
  
  e5047abc
24 May, 2021 1 commit
- Automatically unfold transparent constants. · af78e1cd
  Guillaume Melquiond authored May 24, 2021
  
  af78e1cd
02 May, 2021 1 commit
- Fix incorrect use of i_degree by plot. · f314e026
  Guillaume Melquiond authored May 02, 2021
  
  f314e026
30 Apr, 2021 2 commits
- Merge branch 'rational-constants' into 'master' · 6d2b8ec4
  Guillaume Melquiond authored Apr 30, 2021
```
Handle new representation of rational constants in Coq 8.13

See merge request !5
```
  6d2b8ec4
- Handle new representation of rational constants in Coq 8.13 · 0b2ea861
  Pierre Roux authored Apr 22, 2021
  
  0b2ea861
06 Apr, 2021 3 commits
- Do not rely on implicit exports. · 8803797b
  Guillaume Melquiond authored Apr 06, 2021
  
  8803797b
- Fix webpage address. · 87b6f521
  Guillaume Melquiond authored Apr 06, 2021
  
  87b6f521
- Be cleaner. · 0c5afefc
  Guillaume Melquiond authored Apr 06, 2021
  
  0c5afefc
26 Mar, 2021 6 commits
- New release. · a15468fe
  Guillaume Melquiond authored Mar 26, 2021
  
  a15468fe
- Silence warning. · d0fe1126
  Guillaume Melquiond authored Mar 26, 2021
  
  d0fe1126
- Add a test for the "Plot" command. · 4c9882e5
  Guillaume Melquiond authored Mar 26, 2021
  
  4c9882e5
- Update examples. · 7510ae0b
  Guillaume Melquiond authored Mar 26, 2021
  
  7510ae0b
- Update documentation. · 8e4506e7
  Guillaume Melquiond authored Mar 26, 2021
  
  8e4506e7
- Fix the trivial case. · d105d2d0
  Guillaume Melquiond authored Mar 26, 2021
  
  d105d2d0
18 Feb, 2021 9 commits
- Provide 'Plot foo as "bar"' as a way to save to a given file. · 5bbe731c
  Guillaume Melquiond authored Feb 18, 2021
  
  5bbe731c
- Enable native_compute in plot1. · ad9949c6
  Guillaume Melquiond authored Feb 18, 2021
  
  ad9949c6
- Remove temporary file. · 16793454
  Guillaume Melquiond authored Feb 18, 2021
  
  16793454
- Add some plot tests. · 6d40a350
  Guillaume Melquiond authored Feb 18, 2021
  
  6d40a350
- Use the naive evaluator to clamp the polynomial approximation, in case the latter is overestimated. · 0c0109c2
  Guillaume Melquiond authored Feb 18, 2021
  
  0c0109c2
- Make threshold dependent on the ordinate range. · 63cdf07d
  Guillaume Melquiond authored Feb 18, 2021
  
  63cdf07d
- Add some customization to plot. · 3d40acf8
  Guillaume Melquiond authored Feb 18, 2021
  
  3d40acf8
- Rename tactics. · fdf0c7b6
  Guillaume Melquiond authored Feb 18, 2021
  
  fdf0c7b6
- Allow for arbitrary ordinates. · ad579db5
  Guillaume Melquiond authored Feb 18, 2021
  
  ad579db5
17 Feb, 2021 4 commits
- Make Plot_helper independent of Float_full. · dac4d3fa
  Guillaume Melquiond authored Feb 17, 2021
  
  dac4d3fa
- Disable support for primitive floating-point numbers with Coq 8.13.0. · 6e48af17
  Guillaume Melquiond authored Feb 17, 2021
  
  6e48af17
- Remove use of BigZ in Primitive_ops. · a3a1a0a9
  Guillaume Melquiond authored Feb 17, 2021
  
  a3a1a0a9
- Fix compatibility with Coq master (to be 8.14). · c0aae09f
  Guillaume Melquiond authored Feb 17, 2021
  
  c0aae09f
16 Feb, 2021 7 commits
- Remove dependency of Primitive_ops on Specific_bigint. · f6b18c00
  Guillaume Melquiond authored Feb 16, 2021
  
  f6b18c00
- Make IntegralTacticAux independent from FloatIntervalFull. · 4d1c2a8e
  Guillaume Melquiond authored Feb 16, 2021
  
  4d1c2a8e
- Factor out the parameters specific to bounds from the interval signature. · 683b6d40
  Guillaume Melquiond authored Feb 16, 2021
  
  683b6d40
- Disentangle some files. · 3040fb55
  Guillaume Melquiond authored Feb 16, 2021
  
  3040fb55
- Move files around. · f1567b0b
  Guillaume Melquiond authored Feb 16, 2021
  
  f1567b0b
- Split files a bit. · b5c59ca7
  Guillaume Melquiond authored Feb 16, 2021
  
  b5c59ca7
- Improve compatibility a bit. · 1e925f5f
  Guillaume Melquiond authored Feb 16, 2021
  
  1e925f5f
15 Feb, 2021 1 commit
- Support local terms. · ed390fbb
  Guillaume Melquiond authored Feb 15, 2021
  
  ed390fbb
11 Feb, 2021 1 commit
- Try a tactic-in-term approach. · 65faa6f5
  Guillaume Melquiond authored Feb 11, 2021
  
  65faa6f5
07 Feb, 2021 1 commit
- Perform a 50-point sampling to estimate the threshold. · ccfc54a2
  Guillaume Melquiond authored Feb 07, 2021
  
  ccfc54a2
02 Feb, 2021 1 commit
- Add a plugin to call Gnuplot from Coq. · f77b6e0f
  Guillaume Melquiond authored Feb 01, 2021
  
  f77b6e0f