Issues
- 0
- 0
Support for custom gadgets
#84 opened - 4
What do we want the Core language to be?
#83 opened - 0
Derive instances for Existentials
#80 opened - 2
- 0
How to handle unpackings?
#73 opened - 1
Benchmark field operations
#71 opened - 1
- 7
What fields do we need?
#67 opened - 1
Do we need `F4913`?
#65 opened - 0
Retire the old parser
#59 opened - 1
Add Type Ascriptions
#58 opened - 0
- 1
- 16
Loops
#54 opened - 1
Fix Statement vs Expr
#51 opened - 0
Add CI Pipeline
#50 opened - 0
Typechecker for the Raw AST
#49 opened - 0
Untyped AST
#47 opened - 0
Add the power operator to the language
#46 opened - 1
Add the unit type
#44 opened - 0
Add comments
#43 opened - 2
- 2
Add constants
#41 opened - 4
Drop the boolean language
#40 opened - 1
- 3
Generating integers
#35 opened - 6
Add proper declarations
#33 opened - 7
Add functions
#32 opened - 0
Generators of arbitrary values
#31 opened - 4
Pretty-printing
#30 opened - 3
Add arrays
#29 opened - 1
Parsing of untyped syntax
#20 opened - 0
Use an actual data type for names
#16 opened - 5
Add internal variables
#14 opened - 3
Add constraints
#13 opened - 5
Add a high-level language
#12 opened - 2
Add range checks
#11 opened - 2
Add bitwise operations
#10 opened - 0
- 2
Test and possibly improve shrinking
#8 opened - 1
Parser duplication
#7 opened