Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

New executable gasmodel2 to price randomly generated, nested expressions #1099

Open
wants to merge 37 commits into
base: master
Choose a base branch
from
Open

New executable gasmodel2 to price randomly generated, nested expressions #1099

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
73cb44b
Begin work in executables/GasModel2.hs
jwiegley Sep 21, 2022
be06fb2
Add more functions in executables/GasModel2.hs
jwiegley Sep 22, 2022
d0f74e6
Create PactGen in executables/GasModel2.hs
jwiegley Sep 24, 2022
5d7e88a
Add several stubs
jwiegley Sep 26, 2022
4492dfe
Add defaultEnv
jwiegley Sep 26, 2022
fec178b
Incorporate code from the previous gas model calculation work
jwiegley Sep 26, 2022
89c361c
Implement most of the operators
jwiegley Sep 26, 2022
168e377
More work defining generators for operators
jwiegley Sep 26, 2022
74d280a
Use Gen.recursive
jwiegley Sep 28, 2022
ba1f675
Drop TAny
jwiegley Oct 1, 2022
09471ea
wip commit
emilypi Oct 26, 2022
6f73dbc
merge edmund's object gen code
emilypi Oct 26, 2022
5187081
Add the rest of what we can
emilypi Oct 26, 2022
1d208ba
list-modules
emilypi Oct 26, 2022
8988025
add rest of coverable natives
emilypi Oct 26, 2022
b12d5ec
correction to drop
emilypi Oct 31, 2022
84da1e4
WIP: Add native coverage to expression generator (#1068)
emilypi Oct 31, 2022
40d2d09
fix bad merge
emilypi Oct 31, 2022
a7bd99e
Merge remote-tracking branch 'origin/mlep/gas' into johnw/gas
jwiegley Oct 31, 2022
7e615aa
Fix the definition of several builtin generators
jwiegley Dec 7, 2022
d59c8a5
Finish most of genBuiltin
jwiegley Dec 8, 2022
056521a
Recursive expression generation is now working
jwiegley Dec 9, 2022
84d8276
More work on running the gas model tests
jwiegley Dec 10, 2022
4cb8d23
Further fixes
jwiegley Dec 10, 2022
5a88865
More fixes
jwiegley Dec 14, 2022
696dc7f
Now able to generate 1,000,000 valid Pact expressions
jwiegley Dec 15, 2022
49ce832
Add several more TODO comments
jwiegley Dec 15, 2022
ec838bb
Report gas results in CSV
jwiegley Dec 16, 2022
c435b86
More work, add gen_let
jwiegley Dec 16, 2022
2de927e
Update CSV output
jwiegley Dec 16, 2022
a91fab3
Merge remote-tracking branch 'origin/master' into johnw/gas
jwiegley Dec 16, 2022
08574e5
Fixes needed due to the latest merge
jwiegley Dec 16, 2022
5e7b36d
Only run 5,000 tests at a time; this should be a CLI argument
jwiegley Dec 16, 2022
2d16fad
Rename some functions and create more REPL helpers
jwiegley Dec 22, 2022
c21a431
Merge remote-tracking branch 'origin/master' into johnw/gas
jwiegley Jan 13, 2023
4c638fa
Merge remote-tracking branch 'origin/master' into johnw/gas
jwiegley Mar 2, 2023
e82e0be
Merge remote-tracking branch 'origin/master' into johnw/gas
jwiegley May 3, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading