maciej-bendkowski/generic-boltzmann-brain
1
1
Fork 0
mirror of https://github.com/maciej-bendkowski/generic-boltzmann-brain.git synced 2024-08-17 08:30:30 +03:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 1c926cd2e8 Fix broken paper link main Maciej Bendkowski 2023-05-12 18:36:35 +0200
  • 23f9f07c3a Bump version to 0.2.0.0 v0.2.0.0 Maciej Bendkowski 2023-02-13 18:54:46 +0100
  • 986eb9766b Nix flake devShell and build system Maciej Bendkowski 2023-02-13 18:53:06 +0100
  • 135133db2c Upgrade to GHC 9.2.5 Maciej Bendkowski 2023-02-13 17:36:23 +0100
  • dcaed6a163 Use UpperBound in sample instead of Int Maciej Bendkowski 2022-07-25 20:45:56 +0200
  • f8672b62e5 MotzkinTree sampler tests Maciej Bendkowski 2022-07-16 11:44:57 +0200
  • e152eb2b73 Fix hie.yaml Maciej Bendkowski 2022-07-10 15:35:10 +0200
  • dee080e37b Fix common about boltzmann-brain Maciej Bendkowski 2022-07-10 14:12:40 +0200
  • 25b5fe9455 Update paganini-hs dependency Maciej Bendkowski 2022-07-10 13:43:08 +0200
  • b41de9b851 Bump GHC version to 9.0.2 Maciej Bendkowski 2022-07-08 16:34:57 +0200
  • 629e74dde4 Link paper to generic-boltzmann-brain Maciej Bendkowski 2022-05-29 17:57:36 +0200
  • 81b67f4575
         Include a license badge in README.md Maciej Bendkowski 2022-04-08 19:57:30 +0200
  • a720b25b6c Remove testing-feat from package.yaml Maciej Bendkowski 2022-04-05 19:10:45 +0200
  • 0f1766980d Rename hoist samplers to quickCheck samplers Maciej Bendkowski 2022-04-05 19:05:16 +0200
  • d6413ceebb Remove explicit package versions in .cabal Maciej Bendkowski 2022-04-02 15:33:13 +0200
  • dc21fa524c Benchmark for random lambda terms. Maciej Bendkowski 2022-04-02 15:17:00 +0200
  • 3ba303ad86 Remove Generic from the README Maciej Bendkowski 2022-04-01 18:58:07 +0200
  • 17d19f6b21 Add import to the README example Maciej Bendkowski 2022-04-01 09:36:06 +0200
  • e5c44c1848 Better wording. Maciej Bendkowski 2022-03-31 22:04:22 +0200
  • 370cfd5317 Fix another typo Maciej Bendkowski 2022-03-31 22:03:31 +0200
  • c8803c35cb Fix typo. Maciej Bendkowski 2022-03-31 21:51:00 +0200
  • 15ba2fd199 Initial README Maciej Bendkowski 2022-03-31 21:42:15 +0200
  • 6c908da3f9 Check for negative entries in system specification Maciej Bendkowski 2022-03-31 19:35:11 +0200
  • e7fa5dccb8 Rename src to api Maciej Bendkowski 2022-03-31 19:35:01 +0200
  • 43b53e6990 Test synonym sampler outcome distribution Maciej Bendkowski 2022-03-30 18:43:51 +0200
  • 50cd6352d6 Test that list synonym samplers respect size constraints Maciej Bendkowski 2022-03-30 18:36:16 +0200
  • 2572c62fca Test sampler outcome distribution Maciej Bendkowski 2022-03-29 18:22:12 +0200
  • 1ea9de8136 Move tests outside of the unit test folder Maciej Bendkowski 2022-03-27 21:18:04 +0200
  • 3931b6cdcc Introduce a Size type class. Maciej Bendkowski 2022-03-27 21:14:38 +0200
  • c647de735f Sampler size tests. Maciej Bendkowski 2022-03-27 21:01:33 +0200
  • 66feb60074 Numeric underscores in tests Maciej Bendkowski 2022-03-27 12:58:31 +0200
  • 79216f69b5 Haddock stub Maciej Bendkowski 2022-03-27 12:50:39 +0200
  • b6e082401a Haddock for Sampler. Maciej Bendkowski 2022-03-27 12:27:00 +0200
  • 3af587bcfd Haddock for BuffonMachine Maciej Bendkowski 2022-03-27 12:11:48 +0200
  • 7f110aebf4 Fix typo Maciej Bendkowski 2022-03-27 11:45:59 +0200
  • 0dd5f40452 Rename Distribution to MkDistribution Maciej Bendkowski 2022-03-27 11:45:18 +0200
  • be03ce0fb3 Rename BitOracle to BuffonMachine. Maciej Bendkowski 2022-03-27 11:28:57 +0200
  • 64cc3147e0 Include Distribution in the BitOracle module Maciej Bendkowski 2022-03-26 19:11:25 +0100
  • 882b55f40b Rename rejectionSampler' to toleranceRejectionSampler Maciej Bendkowski 2022-03-26 16:15:11 +0100
  • febfcce6c3 Separate internal library and public single module API Maciej Bendkowski 2022-03-26 16:06:50 +0100
  • b0c2e4a7af Use Template Haskell to define default weights. Maciej Bendkowski 2022-03-25 19:36:39 +0100
  • df72dc4525 Default Boltzmann sampler construction Maciej Bendkowski 2022-03-24 20:17:25 +0100
  • 024f008c2e Use template Haskell to create default weights Maciej Bendkowski 2022-03-23 19:50:02 +0100
  • 11dcdc4920 Default instance for constructor frequencies Maciej Bendkowski 2022-03-22 21:45:25 +0100
  • 72c8ec1508 Constructor weights and frequencies Maciej Bendkowski 2022-03-22 21:29:12 +0100
  • 901693b740 Check that systems have proper weights and frequencies Maciej Bendkowski 2022-03-22 21:09:09 +0100
  • 7adf382942 Rename BuffonMachine to BitOracle and move it into Data.Boltzmann Maciej Bendkowski 2022-03-20 19:32:00 +0100
  • e85e894f41 Get rid of redundant parentheses Maciej Bendkowski 2022-03-20 19:15:16 +0100
  • b74fb6e5fe Get rid of Samplable Maciej Bendkowski 2022-03-20 19:12:53 +0100
  • 20607c1167 Explicit export list for Sampler.TH Maciej Bendkowski 2022-03-20 18:59:44 +0100
  • 92c605cefd Rename Utils to TH Maciej Bendkowski 2022-03-20 18:53:25 +0100
  • c0403d41bb Remove obsolete TemplateHaskell modules. Maciej Bendkowski 2022-03-20 18:46:43 +0100
  • f609f76503 New sampler generator Maciej Bendkowski 2022-03-20 18:34:49 +0100
  • 9f2bc8d7ed Prototype support for newtype samplers. Maciej Bendkowski 2022-03-13 13:10:35 +0100
  • 950713ce3b Restore weight in the Samplable type class Maciej Bendkowski 2022-03-05 21:09:58 +0100
  • 9e17fb9024 Inlinable sample instances Maciej Bendkowski 2022-02-25 19:52:01 +0100
  • 5eb9efea3e Support lists in specifications. Maciej Bendkowski 2022-02-24 19:47:40 +0100
  • a66aa915cd Add bang pattern to generated samplers Maciej Bendkowski 2022-02-20 19:07:14 +0100
  • 9f769340c4 Get rid of weight type class Maciej Bendkowski 2022-02-20 19:02:47 +0100
  • 07d6bc6301 Move hasAdmissibleFrequencies to the Samplable TH module. Maciej Bendkowski 2022-02-20 18:00:58 +0100
  • a7a5edaf21 Inline's and rejection sampler with tolerance Maciej Bendkowski 2022-02-20 17:49:53 +0100
  • 6e6f89b5d9 Profile executable for lambda terms Maciej Bendkowski 2022-02-20 15:03:49 +0100
  • 1e2938c13d Convenience mkSystemBoltzmannSampler Maciej Bendkowski 2022-02-20 14:26:41 +0100
  • 60da3d5bb4 Minor naming changes ub public API Maciej Bendkowski 2022-02-20 13:36:41 +0100
  • 69ad5570a5 Refine BuffonMachine and Sampler interfaces Maciej Bendkowski 2022-02-20 13:20:09 +0100
  • 0a8d042eb3 Revert the idea of specifiable types Maciej Bendkowski 2022-02-18 19:26:20 +0100
  • f9507a181b Move distribution into Samplable Maciej Bendkowski 2022-02-15 16:24:24 +0100
  • e67ebd6c3a Remove specifiable and the related oracle. Maciej Bendkowski 2022-02-14 21:09:05 +0100
  • 8324963ba7 Draft: Template Haskell sampler generation. Maciej Bendkowski 2022-02-14 20:22:05 +0100
  • 3e34051a6f Profile executable. Maciej Bendkowski 2022-02-07 21:33:32 +0100
  • e186b51c0b Evaluate to normal form in benchmarks. Maciej Bendkowski 2022-01-29 19:53:55 +0100
  • 6ed4956c34 Better benchmark for bin trees. Maciej Bendkowski 2022-01-29 19:25:19 +0100
  • 66c047e070 Benchmark bulk generation of binTrees. Maciej Bendkowski 2022-01-25 21:22:12 +0100
  • 52a2e5a9ba Move binTree benchmark. Maciej Bendkowski 2022-01-23 20:03:52 +0100
  • 58f8ab83ba Rename Sampler.Utils to Sampler.TH Maciej Bendkowski 2022-01-23 19:55:17 +0100
  • 90727a1474 Use WHNF in benchmarks. Maciej Bendkowski 2022-01-23 19:40:26 +0100
  • 2924341479 Enable fourmolu code formatter Maciej Bendkowski 2022-01-23 14:13:59 +0100
  • 04bfff59c9 Minimal Haddock documentation. Maciej Bendkowski 2022-01-14 21:39:04 +0100
  • 35cf7afd05 Haddock documentation for Specifiable. Maciej Bendkowski 2022-01-14 20:37:27 +0100
  • 6407706157 Haddock documentation for Data.BuffonMachine Maciej Bendkowski 2022-01-14 20:00:30 +0100
  • 54bb7e40bc Update synopsis and category. Maciej Bendkowski 2022-01-14 16:59:13 +0100
  • 6554f2640e Use benchmarks instead of executables. Maciej Bendkowski 2022-01-14 16:55:15 +0100
  • 3e0408ce47 Initial benchmark for BinTree. Maciej Bendkowski 2022-01-14 16:10:03 +0100
  • 797fcd458c Constructor frequency tests. Maciej Bendkowski 2022-01-13 21:48:35 +0100
  • 1d867aa76e TypeSpec unit tests. Maciej Bendkowski 2022-01-13 21:34:06 +0100
  • 31483a57f2 Test trivial distribution. Maciej Bendkowski 2022-01-13 21:12:11 +0100
  • 78b0b88ae7 Unit tests for BuffonMachine's choice. Maciej Bendkowski 2022-01-13 21:03:06 +0100
  • 1a43ed39d1 Remove weight and frequency from Specification's export list. Maciej Bendkowski 2022-01-13 20:02:02 +0100
  • 696249432e Unit tests for computing frequencies. Maciej Bendkowski 2022-01-13 19:54:19 +0100
  • 76dbcd9e38 Specification unit tests: collectTypes and getWeight Maciej Bendkowski 2022-01-12 21:27:17 +0100
  • 105d03bace Lambda list sampler tests. Maciej Bendkowski 2022-01-12 20:22:11 +0100
  • ac4a340d47 Rename Variables to Params. Maciej Bendkowski 2022-01-12 18:40:11 +0100
  • f709e3bfe4 Introduce mkSpecSampler. Maciej Bendkowski 2022-01-12 18:31:13 +0100
  • 8b7d88eb79 Minimal, initial README. Maciej Bendkowski 2022-01-12 16:57:38 +0100
  • 83f4479808 Initial commit Maciej Bendkowski 2022-01-12 16:47:07 +0100