Maciej Bendkowski
|
25b5fe9455
|
Update paganini-hs dependency
|
2022-07-10 13:43:08 +02:00 |
|
Maciej Bendkowski
|
b41de9b851
|
Bump GHC version to 9.0.2
|
2022-07-08 16:34:57 +02:00 |
|
Maciej Bendkowski
|
629e74dde4
|
Link paper to generic-boltzmann-brain
|
2022-05-29 17:57:36 +02:00 |
|
Maciej Bendkowski
|
81b67f4575
|
Include a license badge in README.md
|
2022-04-08 19:57:30 +02:00 |
|
Maciej Bendkowski
|
a720b25b6c
|
Remove testing-feat from package.yaml
|
2022-04-05 19:10:45 +02:00 |
|
Maciej Bendkowski
|
0f1766980d
|
Rename hoist samplers to quickCheck samplers
|
2022-04-05 19:05:16 +02:00 |
|
Maciej Bendkowski
|
d6413ceebb
|
Remove explicit package versions in .cabal
|
2022-04-02 15:33:13 +02:00 |
|
Maciej Bendkowski
|
dc21fa524c
|
Benchmark for random lambda terms.
|
2022-04-02 15:17:00 +02:00 |
|
Maciej Bendkowski
|
3ba303ad86
|
Remove Generic from the README
|
2022-04-01 18:58:07 +02:00 |
|
Maciej Bendkowski
|
17d19f6b21
|
Add import to the README example
|
2022-04-01 09:36:06 +02:00 |
|
Maciej Bendkowski
|
e5c44c1848
|
Better wording.
|
2022-03-31 22:04:22 +02:00 |
|
Maciej Bendkowski
|
370cfd5317
|
Fix another typo
|
2022-03-31 22:03:31 +02:00 |
|
Maciej Bendkowski
|
c8803c35cb
|
Fix typo.
|
2022-03-31 21:51:00 +02:00 |
|
Maciej Bendkowski
|
15ba2fd199
|
Initial README
|
2022-03-31 21:42:15 +02:00 |
|
Maciej Bendkowski
|
6c908da3f9
|
Check for negative entries in system specification
|
2022-03-31 19:35:11 +02:00 |
|
Maciej Bendkowski
|
e7fa5dccb8
|
Rename src to api
|
2022-03-31 19:35:01 +02:00 |
|
Maciej Bendkowski
|
43b53e6990
|
Test synonym sampler outcome distribution
|
2022-03-30 18:43:51 +02:00 |
|
Maciej Bendkowski
|
50cd6352d6
|
Test that list synonym samplers respect size constraints
|
2022-03-30 18:36:16 +02:00 |
|
Maciej Bendkowski
|
2572c62fca
|
Test sampler outcome distribution
|
2022-03-29 18:22:12 +02:00 |
|
Maciej Bendkowski
|
1ea9de8136
|
Move tests outside of the unit test folder
|
2022-03-27 21:18:04 +02:00 |
|
Maciej Bendkowski
|
3931b6cdcc
|
Introduce a Size type class.
|
2022-03-27 21:14:38 +02:00 |
|
Maciej Bendkowski
|
c647de735f
|
Sampler size tests.
|
2022-03-27 21:01:33 +02:00 |
|
Maciej Bendkowski
|
66feb60074
|
Numeric underscores in tests
|
2022-03-27 12:58:31 +02:00 |
|
Maciej Bendkowski
|
79216f69b5
|
Haddock stub
|
2022-03-27 12:53:38 +02:00 |
|
Maciej Bendkowski
|
b6e082401a
|
Haddock for Sampler .
|
2022-03-27 12:28:37 +02:00 |
|
Maciej Bendkowski
|
3af587bcfd
|
Haddock for BuffonMachine
|
2022-03-27 12:11:48 +02:00 |
|
Maciej Bendkowski
|
7f110aebf4
|
Fix typo
|
2022-03-27 11:45:59 +02:00 |
|
Maciej Bendkowski
|
0dd5f40452
|
Rename Distribution to MkDistribution
|
2022-03-27 11:45:18 +02:00 |
|
Maciej Bendkowski
|
be03ce0fb3
|
Rename BitOracle to BuffonMachine .
|
2022-03-27 11:28:57 +02:00 |
|
Maciej Bendkowski
|
64cc3147e0
|
Include Distribution in the BitOracle module
|
2022-03-26 19:11:25 +01:00 |
|
Maciej Bendkowski
|
882b55f40b
|
Rename rejectionSampler' to toleranceRejectionSampler
|
2022-03-26 16:15:11 +01:00 |
|
Maciej Bendkowski
|
febfcce6c3
|
Separate internal library and public single module API
|
2022-03-26 16:06:50 +01:00 |
|
Maciej Bendkowski
|
b0c2e4a7af
|
Use Template Haskell to define default weights.
|
2022-03-25 19:36:39 +01:00 |
|
Maciej Bendkowski
|
df72dc4525
|
Default Boltzmann sampler construction
|
2022-03-24 20:17:25 +01:00 |
|
Maciej Bendkowski
|
024f008c2e
|
Use template Haskell to create default weights
|
2022-03-24 20:03:09 +01:00 |
|
Maciej Bendkowski
|
11dcdc4920
|
Default instance for constructor frequencies
|
2022-03-22 21:45:25 +01:00 |
|
Maciej Bendkowski
|
72c8ec1508
|
Constructor weights and frequencies
|
2022-03-22 21:29:12 +01:00 |
|
Maciej Bendkowski
|
901693b740
|
Check that systems have proper weights and frequencies
|
2022-03-22 21:09:09 +01:00 |
|
Maciej Bendkowski
|
7adf382942
|
Rename BuffonMachine to BitOracle and move it into Data.Boltzmann
|
2022-03-20 19:32:00 +01:00 |
|
Maciej Bendkowski
|
e85e894f41
|
Get rid of redundant parentheses
|
2022-03-20 19:15:16 +01:00 |
|
Maciej Bendkowski
|
b74fb6e5fe
|
Get rid of Samplable
|
2022-03-20 19:12:53 +01:00 |
|
Maciej Bendkowski
|
20607c1167
|
Explicit export list for Sampler.TH
|
2022-03-20 18:59:44 +01:00 |
|
Maciej Bendkowski
|
92c605cefd
|
Rename Utils to TH
|
2022-03-20 18:53:25 +01:00 |
|
Maciej Bendkowski
|
c0403d41bb
|
Remove obsolete TemplateHaskell modules.
|
2022-03-20 18:46:43 +01:00 |
|
Maciej Bendkowski
|
f609f76503
|
New sampler generator
|
2022-03-20 18:35:07 +01:00 |
|
Maciej Bendkowski
|
9f2bc8d7ed
|
Prototype support for newtype samplers.
|
2022-03-13 13:30:18 +01:00 |
|
Maciej Bendkowski
|
950713ce3b
|
Restore weight in the Samplable type class
|
2022-03-05 21:09:58 +01:00 |
|
Maciej Bendkowski
|
9e17fb9024
|
Inlinable sample instances
|
2022-02-25 19:52:01 +01:00 |
|
Maciej Bendkowski
|
5eb9efea3e
|
Support lists in specifications.
|
2022-02-24 19:47:40 +01:00 |
|
Maciej Bendkowski
|
a66aa915cd
|
Add bang pattern to generated samplers
|
2022-02-20 19:07:14 +01:00 |
|