maciej-bendkowski/generic-boltzmann-brain
1
1
Fork 0
mirror of https://github.com/maciej-bendkowski/generic-boltzmann-brain.git synced 2024-11-22 01:53:37 +03:00
Code Issues Projects Releases Wiki Activity
95 Commits 1 Branch 1 Tag 230 KiB
main
Commit Graph

95 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Maciej Bendkowski
1c926cd2e8 Fix broken paper link 2023-05-12 18:36:35 +02:00
Maciej Bendkowski
23f9f07c3a Bump version to 0.2.0.0 2023-02-13 18:54:46 +01:00
Maciej Bendkowski
986eb9766b Nix flake devShell and build system 2023-02-13 18:53:06 +01:00
Maciej Bendkowski
135133db2c Upgrade to GHC 9.2.5 2023-02-13 17:36:23 +01:00
Maciej Bendkowski
dcaed6a163 Use UpperBound in sample instead of Int 2022-07-25 20:45:56 +02:00
Maciej Bendkowski
f8672b62e5 MotzkinTree sampler tests 2022-07-16 11:44:57 +02:00
Maciej Bendkowski
e152eb2b73 Fix hie.yaml 2022-07-10 15:35:10 +02:00
Maciej Bendkowski
dee080e37b Fix common about boltzmann-brain 2022-07-10 14:12:40 +02:00
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