balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,530 Commits 2 Branches 0 Tags 65 MiB
18bf6f92e4
Commit Graph

256 Commits

Author SHA1 Message Date
Pierre-Emmanuel Wulfman
cc615f1c9f Change type_operator 2020-06-03 14:29:46 +02:00
Suzanne Dupéron
81358db582 Cleanup of solver.ml, separated the heuristic's definition from its state in the solver (propagator_heuristic vs. propagator_state) 2020-06-03 13:07:48 +01:00
Suzanne Dupéron
7257aaaff4 Solver: use a list of heuristics instead of hardcoding them. 2020-06-03 13:07:48 +01:00
Suzanne Dupéron
861ab57a43 move solver_types to typesystem/ (because of dependencies. It should be merged with the AST really) 2020-06-03 13:07:41 +01:00
Suzanne Dupéron
e2bf0f6466 Split the solver into separate files, no meaningful changes to the code. 2020-05-29 21:23:11 +02:00
Suzanne Dupéron
4a860830b9 bugfix: replace very bogus implementation of add_list with a clean one 2020-05-29 21:23:11 +02:00
Suzanne Dupéron
69a007cca9 Describe the reason why a constraint or type was produced for more typer internals 2020-05-29 21:18:57 +02:00
Pierre-Emmanuel Wulfman
b7da8e3fd4 remove unecessary files 2020-05-29 15:30:03 +02:00
Pierre-Emmanuel Wulfman
e661416056 review 1 2020-05-28 10:53:54 +02:00
Gabriel ALFOUR
294e048aff remove environments from the ast 2020-05-27 23:01:07 +02:00
Lesenechal Remi
705c29aeed remove old cases in transpiler 2020-05-26 15:39:06 +02:00
Suzanne Dupéron
851132528d auto-generated folds: have a distinct input and output type for the state 2020-05-25 21:49:00 +01:00
Suzanne Dupéron
ee5e484bf4 Use the auto-generated comparators as the implementations for the typeclass-like requirements for comparison functions 2020-05-25 20:42:16 +01:00
Suzanne Dupéron
008f228ed7 Hide the intermediate functions from PP_generic's signature 2020-05-25 20:42:16 +01:00
Suzanne Dupéron
92069077df Auto-generated comparator for AST_typed 2020-05-25 20:42:16 +01:00
Suzanne Dupéron
9a017e5f63 ADT generator: Fixes LIGO-656 Generated fold_maps are unusable because some collection types need extra info (e.g. sets need a comparison operator for their elements) 2020-05-25 20:42:16 +01:00
Suzanne Dupéron
b2d80e0154 Rename src/stages/4-ast_typed/types.ml (part 1: does not build) 2020-05-25 20:42:16 +01:00
Pierre-Emmanuel Wulfman
e04918047c Merge branch 'fix/srloc_in_mini-c' into 'dev' 
fix/Add srcloc in mini-c

See merge request ligolang/ligo!582
 2020-05-19 21:37:40 +00:00
Jev Björsell
e6e1bc5876 Merge branch 'contract/F1.2_example' into 'dev' 
TZIP-12: FA1.2 example contract

See merge request ligolang/ligo!600
 2020-05-19 15:28:02 +00:00
Pierre-Emmanuel Wulfman
551bf176fe add srcloc in mini-c 2020-05-18 15:47:59 +02:00
Pierre-Emmanuel Wulfman
6c8b76b3de add verbatim in lexer and parser 2020-05-18 13:28:31 +02:00
Pierre-Emmanuel Wulfman
7bcf46d3bc Merge branch 'refactoring_mini-c_type' into 'dev' 
Refactor Mini-c types for conformity with the other stage

See merge request ligolang/ligo!598
 2020-05-13 11:01:20 +00:00
galfour
98d49959b7
add a pass to recompute environments 2020-05-09 13:21:19 +02:00
Lesenechal Remi
9eeac11628 some environment cleanup 2020-05-07 16:30:06 +02:00
Rémi Lesenechal
77b5e15088 Merge branch 'feature/fix-michelson-pair-detection' into 'dev' 
now check the label to detect michelson pairs

Closes #183

See merge request ligolang/ligo!602
 2020-05-05 14:47:09 +00:00
Lesenechal Remi
c54d650a2a now check the label to detect michelson pairs 2020-05-05 15:21:28 +02:00
Rémi Lesenechal
cadd0d66a9 Merge branch 'feature/quickfix-uncapitalize-michelson-or' into 'dev' 
uncapitalize micheslon_or's %-annotations

See merge request ligolang/ligo!601
 2020-05-05 12:40:00 +00:00
Lesenechal Remi
7bbfa9ff97 uncapitalize micheslon_or's %-annotations 2020-05-04 18:22:39 +02:00
Suzanne Dupéron
38af497cc3 Merge branch 'feature/adt-generator-promote-until-clean' into 'dev' 
Adt generator : promote until-clean

See merge request ligolang/ligo!597
 2020-05-04 15:19:05 +00:00
Rémi Lesenechal
29de1278b4 Merge branch 'feature/converter-generation' into 'dev' 
michelson layout converters

Closes #74

See merge request ligolang/ligo!585
 2020-05-04 13:45:26 +00:00
Pierre-Emmanuel Wulfman
ddb2eac6ca add test 2020-05-04 15:14:56 +02:00
Rémi Lesenechal
51c043b7cb Merge branch 'feature/new-typer-3' into 'dev' 
Add a reason string explaining why constraints are added by the typer

See merge request ligolang/ligo!596
 2020-05-04 13:08:00 +00:00
Lesenechal Remi
5891a6f4cc 'convert_from_left_comb' and 'convert_from_right_comb' for sum types 2020-05-04 14:19:04 +02:00
Lesenechal Remi
0a44a22cac 'michelson_or_right_comb' and 'michelson_or_left_comb' type operators 2020-05-02 15:41:02 +02:00
Lesenechal Remi
8e3230bf29 'Layout.convert_to_right_comb' and 'Layout.convert_to_left_comb' for sum types 2020-05-02 15:38:58 +02:00
Lesenechal Remi
b54bcb8db7 rename 'michelson_right/left_comb' to 'michelson_pair_right/left_comb' 2020-05-02 15:38:58 +02:00
Lesenechal Remi
fb2f3e89e7 replace field name 'decl_position' by 'field_decl_pos' 2020-05-02 15:35:50 +02:00
Lesenechal Remi
1f6bc4fc6b convert_from for pairs/record 2020-05-02 15:35:50 +02:00
Lesenechal Remi
9d200a1b56 michelson_right_comb and michelson_left_comb type operators 2020-05-02 15:35:50 +02:00
Lesenechal Remi
3333742037 Converters for michelson types 2020-05-02 15:30:10 +02:00
Pierre-Emmanuel Wulfman
62f97e2f7f replace type_value by type_expresion end expression' by 
expression_content for conformity
 2020-04-30 11:22:56 +02:00
Pierre-Emmanuel Wulfman
2c62f9d32e remove match_bool from the ast 2020-04-30 09:39:49 +02:00
Suzanne Dupéron
2372f30ed3 ADT generator: promote until-clean 2020-04-29 21:36:55 +01:00
Suzanne Dupéron
057bd19ca7 Add a reason string explaining why constraints are added by the typer 2020-04-29 21:36:50 +01:00
Suzanne Dupéron
cf492f03cb Solve T_arrow vs. TC_arrow bug by removing TC_arrow 2020-04-29 21:33:07 +01:00
Suzanne Dupéron
9b1e66622a Functor for applying a fold over any ADT node (e.g. generate all print 
functions in one go)
 2020-04-29 21:33:07 +01:00
Suzanne Dupéron
94b9404d1b Union-Find: function to extract the list of partitions 2020-04-29 21:33:07 +01:00
Suzanne Dupéron
dfb82aa479 improve printer: constructors with no arguments 2020-04-29 21:33:07 +01:00
Suzanne Dupéron
40474dcc68 printer: use boxes 2020-04-29 21:33:07 +01:00
Suzanne Dupéron
c8f3bb4f04 improve printer: Var name 2020-04-29 21:33:07 +01:00