balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,793 Commits 2 Branches 0 Tags 65 MiB
1536590edb
Commit Graph

295 Commits

Author SHA1 Message Date
Rémi Lesenechal
567515a5ce Merge branch 'feature/initial_req_serokell' into 'dev' 
get-scope command

See merge request ligolang/ligo!690
 2020-07-03 11:57:53 +00:00
Rémi Lesenechal
43b70361bc Merge branch 'gardening/improve_on_error_formatting' into 'dev' 
bunch of fixes to the PPs

See merge request ligolang/ligo!705
 2020-07-02 18:10:56 +00:00
Rémi
d0071ca0e8 bunch of fixes to the PPs: 
* Now uses the expression variable location in constant declaration tracer
* switched to horizontal boxes for record/sum types PP's
* removed weird indentation
 2020-07-02 18:17:11 +02:00
Christian Rinderknecht
6c50ec0ed1 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint_comments 2020-07-01 20:49:05 +02:00
Lesenechal Remi
2659570b8a get-scope command. New module Ligo.scopes 2020-07-01 01:22:10 +02:00
Lesenechal Remi
2a9ef440db to_json for locations 2020-07-01 01:22:10 +02:00
Lesenechal Remi
ca2ec3d795 use Yojson.t isntead of Yojson.Basic.t 2020-07-01 01:22:10 +02:00
Tom Jack
ead7832c50 Fix some polymorphic comparison bugs 2020-06-30 14:31:04 -05:00
Lesenechal Remi
e9db0afffa WIIP 2020-06-30 19:15:04 +02:00
Christian Rinderknecht
b304b82e11 Merge branch 'dev' into rinderknecht@pprint_comments 2020-06-30 17:10:48 +02:00
Christian Rinderknecht
d1b7388550 Refactoring of the dune files, minimised dependencies. 2020-06-30 14:34:15 +02:00
Pierre-Emmanuel Wulfman
bc259fcde7 Feature/transpiler 2020-06-29 13:05:34 +00:00
Christian Rinderknecht
2eb16c2c56 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint_comments 2020-06-24 11:20:13 +02:00
Suzanne Dupéron
942000065b Weakly-typed creation of ADT elements 2020-06-24 02:07:02 +01:00
Suzanne Dupéron
c1d211d98c Debug prints for the new typer: output JSON 2020-06-24 02:07:02 +01:00
Suzanne Dupéron
283dcf418a Debug prints for the new typer 2020-06-24 02:07:02 +01:00
Suzanne Dupéron
bd8a57df44 Add a pretty-printer to the heuristics 2020-06-24 02:07:02 +01:00
Suzanne Dupéron
018e269b2e Have separate ppf and Yojson modules for PP_json 2020-06-24 02:07:02 +01:00
Rémi Lesenechal
2351dda44e Apply 1 suggestion(s) to 1 file(s) 2020-06-23 23:19:24 +01:00
Rémi Lesenechal
362e33c7f9 Apply 1 suggestion(s) to 1 file(s) 2020-06-23 23:19:24 +01:00
Rémi Lesenechal
27d7856e52 Apply 1 suggestion(s) to 1 file(s) 2020-06-23 23:19:24 +01:00
Rémi Lesenechal
d743605aee Apply 1 suggestion(s) to 1 file(s) 2020-06-23 23:19:24 +01:00
Lesenechal Remi
b4bf0ae159 using yojson to print typed AST program 2020-06-23 23:19:24 +01:00
Suzanne Dupéron
db051e7d3b Generic JSON pretty-printer for the typer's AST 2020-06-23 23:19:24 +01:00
Suzanne Dupéron
64c6b8896d comment 2020-06-23 18:38:22 +02:00
Suzanne Dupéron
424a0b0ba7 Bugfix: equality 2020-06-23 18:38:22 +02:00
Suzanne Dupéron
2c5f1f0e2b Bugfix in printer 2020-06-23 18:38:22 +02:00
Pierre-Emmanuel Wulfman
aa849f6dcb renaming of passes 2020-06-23 16:35:28 +02:00
Pierre-Emmanuel Wulfman
46bd0315e2 Merge branch 'contract/basic_multisig' into 'dev' 
Add a basic multisig contrat

See merge request ligolang/ligo!643
 2020-06-19 11:24:28 +00:00
Pierre-Emmanuel Wulfman
c2e4f2f36d Add pp can assert_value_eq for Literal_op 2020-06-18 18:23:16 +02:00
Pierre-Emmanuel Wulfman
c8b8492ed9 remaking PacscaLIGO simplifier 2020-06-18 17:53:00 +02:00
Lesenechal Remi
c6b95bf07a result monad refactoring: 
- do not use plain JSON rep for errors and use polymorphic variants instead
- split formatting for human readable and JSON output
- no more simple_errors simple_fails
- much less result bindings used in stages
 2020-06-15 14:45:28 +02:00
Pierre-Emmanuel Wulfman
195175287a review 2 2020-06-11 11:40:45 +02:00
Pierre-Emmanuel Wulfman
dfcccff748 generating good code 2020-06-11 09:14:45 +02:00
Pierre-Emmanuel Wulfman
b044a4fbc5 wip: compiling code that doesn't typecheck 2020-06-11 09:13:29 +02:00
Pierre-Emmanuel Wulfman
fa7cc825eb parser and test 2020-06-11 09:13:21 +02:00
Pierre-Emmanuel Wulfman
7872a1d4bc first attempt 2020-06-11 09:10:44 +02:00
Pierre-Emmanuel Wulfman
be9478bec1 Refactor updates and accessors 2020-06-05 18:17:17 +02:00
Pierre-Emmanuel Wulfman
5896b2a63a Add new matching cases and fix compilation of match_tuples 2020-06-04 16:37:18 +02:00
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