Gábor Lipták
|
caaa47aff1
|
Add GHA build
Signed-off-by: Gábor Lipták <gliptak@gmail.com>
|
2022-11-19 15:58:12 -05:00 |
|
Edward Kmett
|
6de416c68d
|
Merge pull request #8 from gwils/relax-interval-upper-bound
Relax upper bound on intervals
|
2019-11-19 21:55:13 +08:00 |
|
Edward Kmett
|
478657b54a
|
Merge pull request #10 from MarisaKirisame/master
bump version
|
2019-11-19 21:55:02 +08:00 |
|
Edward Kmett
|
76f7132ee7
|
Merge pull request #11 from bshlgrs/patch-1
Fix broken link to Radul's thesis
|
2019-11-19 21:54:35 +08:00 |
|
Buck Shlegeris
|
3063f8628e
|
Fix broken link to Radul's thesis
The old link is broken; perhaps [the new one](http://groups.csail.mit.edu/genesis/papers/radul%202009.pdf) is to the right thing.
|
2019-10-31 08:11:40 -07:00 |
|
Marisa Kirisame
|
947f54af4b
|
make it work
|
2018-09-06 01:21:50 -07:00 |
|
Marisa Kirisame
|
a8ed914dc6
|
it build!
|
2018-09-06 01:08:15 -07:00 |
|
雾雨魔理沙
|
798c8be061
|
Update propagators.cabal
|
2018-09-06 00:41:58 -07:00 |
|
George Wilson
|
8485c1e0f4
|
Relax upper bound on intervals
|
2017-11-02 15:35:14 +10:00 |
|
Edward Kmett
|
c6dcc3ca11
|
Merge pull request #6 from michael-okeefe/patch-1
Correct documentation bug
|
2015-11-13 15:09:17 -05:00 |
|
Michael O'Keefe
|
994c7058b2
|
Correct documentation bug
I believe this is what you meant, isn't it?
|
2015-11-13 13:08:24 -07:00 |
|
Edward Kmett
|
52150aed65
|
Merge branch 'master' of github.com:ekmett/propagators into old
|
2015-10-27 22:59:32 -04:00 |
|
Edward Kmett
|
c34ec4a663
|
Fix the PropagatedNum for Integer and Natural to fix issue #4
|
2015-10-27 22:55:51 -04:00 |
|
Edward Kmett
|
c7cd606574
|
Merge pull request #5 from Gabriel439/patch-1
Add `unique-0` to `stack.yaml`
|
2015-10-27 21:43:30 -04:00 |
|
Gabriel Gonzalez
|
66196c3c45
|
Add unique-0 to stack.yaml
I was unable to build the project with the resolver alone. I had to add `unique-0` as an `extra-dep` to complete the build.
|
2015-10-15 07:26:35 -07:00 |
|
Edward Kmett
|
68ed001648
|
allow the creation of stable names (and use unique for the global unique supply)
|
2015-09-27 23:17:22 -04:00 |
|
Edward Kmett
|
266efaadcb
|
faster children
|
2015-09-25 00:46:45 -04:00 |
|
Edward Kmett
|
8c0ae06f9c
|
merge Path and Name to permit more early 'side-exit' comparisons
|
2015-09-25 00:37:59 -04:00 |
|
Edward Kmett
|
4f0092ad71
|
faster, more evil, fresh name supply
|
2015-09-25 00:19:14 -04:00 |
|
Edward Kmett
|
62e3633552
|
start work on provenance tracking but use nominal adapton style names
|
2015-09-24 21:17:20 -04:00 |
|
Edward Kmett
|
a84c0a5f99
|
added (dubious) support for "Supported" propagation
|
2015-09-22 07:17:07 -04:00 |
|
Edward Kmett
|
9790a44805
|
avoid choosing between positive/negative, etc. let multivalued functions express their ranges (conservatively)
|
2015-09-21 17:41:49 -04:00 |
|
Edward Kmett
|
d117a3dae2
|
add CHANGELOG and README
|
2015-09-21 05:08:40 -04:00 |
|
Edward Kmett
|
2a4617e33b
|
mixed cabal/stack build on travis. add osx testing
|
2015-09-21 05:01:36 -04:00 |
|
Edward Kmett
|
f8bdaf4488
|
proper version bounds
|
2015-09-21 04:59:34 -04:00 |
|
Edward Kmett
|
eb6d1882ad
|
better csqrt for propagated intervals
|
2015-09-20 16:18:08 -04:00 |
|
Edward Kmett
|
82b4c53e2a
|
link to the original propagator publication
|
2015-09-20 15:52:42 -04:00 |
|
Edward Kmett
|
cf61ebac29
|
document merge, cleanup whitespace
|
2015-09-20 15:52:02 -04:00 |
|
Edward Kmett
|
f16260a437
|
rename plus and times to cplus and ctimes for consistency
|
2015-09-20 15:47:32 -04:00 |
|
Edward Kmett
|
7f6a954e1f
|
export PropagatedInterval
|
2015-09-20 15:46:18 -04:00 |
|
Edward Kmett
|
59e5d57df6
|
Simplified PropagatorFloating by symmetry. Moved exp/sqrt into the class. More interval arithmetic
|
2015-09-20 15:45:04 -04:00 |
|
Edward Kmett
|
46046cef85
|
start propagating interval arithmetic
|
2015-09-20 15:31:01 -04:00 |
|
Edward Kmett
|
26ebebf8fb
|
fix tests
|
2015-09-20 15:02:52 -04:00 |
|
Edward Kmett
|
02075e0bed
|
expose the class for PropagatedFloating, avoid exposing the details of PropagatedNum in the top level module
|
2015-09-20 15:00:43 -04:00 |
|
Edward Kmett
|
827f8004f1
|
Added PropagatedFloating so we can potentially deal with Complex correctly some day
|
2015-09-20 14:59:07 -04:00 |
|
Edward Kmett
|
cb3e8e480f
|
remove the exported scary bits of Unsafe, re-export it now as Prop
|
2015-09-20 14:31:58 -04:00 |
|
Edward Kmett
|
0c3fd66a63
|
move Prop.Internal to Unsafe
|
2015-09-20 14:02:58 -04:00 |
|
Edward Kmett
|
76652e9f8e
|
add Floating support
|
2015-09-20 14:00:38 -04:00 |
|
Edward Kmett
|
6d517dd79c
|
renamed forwards and backwards
|
2015-09-20 00:46:43 -04:00 |
|
Edward Kmett
|
3fbe265327
|
fix plus
|
2015-09-20 00:45:22 -04:00 |
|
Edward Kmett
|
56d9ef591d
|
mv Prop to Prop.Internal
|
2015-09-20 00:44:25 -04:00 |
|
Edward Kmett
|
37f08551c0
|
use times to perform recip
|
2015-09-20 00:42:27 -04:00 |
|
Edward Kmett
|
f04a6f57de
|
timesFractional, add Double/Floating PropagatedNum instances
|
2015-09-20 00:34:12 -04:00 |
|
Edward Kmett
|
d05c8cb304
|
PropagatedNum rational
|
2015-09-20 00:28:13 -04:00 |
|
Edward Kmett
|
0e0aa5859b
|
start factoring out numeric type support into its own class so we can get propagation of division when using (*).
|
2015-09-20 00:16:30 -04:00 |
|
Edward Kmett
|
571bde445d
|
splinter Data.Propagator.Internal into smaller, safer modules
|
2015-09-19 23:58:48 -04:00 |
|
Edward Kmett
|
ec70be8939
|
grow this thing up into a real project
|
2015-09-19 23:49:40 -04:00 |
|
Edward Kmett
|
12763654c9
|
propagators work properly for running functions backwards now
|
2015-09-19 23:29:38 -04:00 |
|
Edward Kmett
|
f6e813f1ab
|
data-reify code compiles
|
2015-09-19 22:12:50 -04:00 |
|
Edward Kmett
|
8fffb106a8
|
add some initial propagator code
|
2015-09-19 22:09:02 -04:00 |
|