balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • c0397f68a0 Wrap type names with a constructor Type_name, so that merlin does not think that all strings are type names Suzanne Dupéron 2019-10-30 12:50:19 -0400
  • e34af5bd7b Merge branch 'test/cameligo-test-parity' into 'dev' John David Pressman 2019-10-30 15:24:14 +0000
  • 750605cee4 Merge branch 'dev' of gitlab.com:ligolang/ligo into test/cameligo-test-parity John David Pressman 2019-10-29 22:06:42 -0700
  • 27b7527f18 Add test for CameLIGO set fold John David Pressman 2019-10-29 21:33:48 -0700
  • 85345387d0 Add tuple tests to CameLIGO John David Pressman 2019-10-29 20:55:36 -0700
  • 2ff178543f Add more operations to CameLIGO set tests John David Pressman 2019-10-29 20:33:18 -0700
  • 3f0b9346a5 More but not enough of the fold. Filled in holes with failwith, need to implement enough that it passes a test. Suzanne Dupéron 2019-10-29 20:14:42 -0400
  • c09116211f Merge branch 'feature/cameligo-negative-op' into 'dev' John David Pressman 2019-10-29 18:12:17 +0000
  • b382626145 Merge branch 'feature/unsupported-for-loops' into 'dev' Christian Rinderknecht 2019-10-29 17:48:21 +0000
  • f0f4c683f2 Add more complex negative operator test John David Pressman 2019-10-29 10:07:07 -0700
  • dce98c06ec Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/cameligo-negative-op John David Pressman 2019-10-29 09:59:37 -0700
  • 102ffda7c3 Make negative operator test pass John David Pressman 2019-10-29 09:28:20 -0700
  • a140e12394 add test for nested for collection loops (not supported yet) Lesenechal Remi 2019-10-29 16:32:28 +0100
  • 402d849cec use intermediary tuple access to get key and value for maps. add tests. Lesenechal Remi 2019-10-29 15:43:00 +0100
  • fd901548af add more tests Lesenechal Remi 2019-10-29 11:57:15 +0100
  • c288f3c81e simplify the simplifier and now find the free variables with a expression_fold Lesenechal Remi 2019-10-29 11:56:21 +0100
  • e86c92bc3b improving simplifier Lesenechal Remi 2019-10-29 11:41:59 +0100
  • ba00db2b4c add self_ast_simplified fold_expression Lesenechal Remi 2019-10-29 10:43:38 +0100
  • 735bd8e668 Implementing subst over the AST Suzanne Dupéron 2019-10-29 01:55:53 -0400
  • ec3f836605 Add test for several function parameters in CameLIGO John David Pressman 2019-10-28 22:07:00 -0700
  • c004fd24cd Add option and boolean match tests to CameLIGO John David Pressman 2019-10-28 22:01:31 -0700
  • f62481fb0a Add list match test to CameLIGO John David Pressman 2019-10-28 21:38:29 -0700
  • e77f3e4903 empty for collection loop Lesenechal Remi 2019-10-28 18:53:40 +0100
  • 37570c6a40 clean test Lesenechal Remi 2019-10-28 18:43:55 +0100
  • 2ced2e784e add doc Lesenechal Remi 2019-10-28 18:40:53 +0100
  • e16eac77a6 fixes for loop on map. Lesenechal Remi 2019-10-27 16:42:11 +0100
  • 1a035f9713 tests for sets Lesenechal Remi 2019-10-27 14:12:42 +0100
  • b71309bfa2 proper error message for deep accesses in loops of collection body Lesenechal Remi 2019-10-27 14:09:04 +0100
  • c7056d200d merging with dev Lesenechal Remi 2019-10-27 13:57:26 +0100
  • 5a77b08aa7 cleaning & documenting Lesenechal Remi 2019-10-27 13:03:08 +0100
  • 7eed9b1856 test passing ! Lesenechal Remi 2019-10-27 11:47:17 +0100
  • a3deccf352 changing the name of the lambda to 'arguments' make its arguments available Lesenechal Remi 2019-10-27 11:43:51 +0100
  • 164e88e818 remove shadowing of lambda name over the constant name Lesenechal Remi 2019-10-27 11:34:26 +0100
  • d651bfb3a3 remove misplaced 'skip' Lesenechal Remi 2019-10-27 11:32:03 +0100
  • 0cf7471441 prepend the body of the lambda with let_in's Lesenechal Remi 2019-10-26 22:59:17 +0200
  • 7f7f19854a WIP : make test a bit easier Lesenechal Remi 2019-10-26 22:16:17 +0200
  • 91d92e048d special case for pascaligo generated LIST/SET/MAP_FOLD Lesenechal Remi 2019-10-26 22:15:28 +0200
  • 70502f62cb fix the way lambda arguments are accessed Lesenechal Remi 2019-10-26 22:07:42 +0200
  • db79b6b9da select op_name from collection key word Lesenechal Remi 2019-10-26 14:27:29 +0200
  • 79de96136d Collection for translation without type annotation on record Lesenechal Remi 2019-10-26 14:18:06 +0200
  • 730c130fb3 merge step and down reemoval Lesenechal Remi 2019-10-22 12:12:19 +0200
  • 536b5648c8 some cleaning Lesenechal Remi 2019-10-15 13:56:21 +0200
  • 1d3d57c7c5 not complete for collect tryout Lesenechal Remi 2019-10-15 13:14:00 +0200
  • 3058a57c62 cleaning and better tests Lesenechal Remi 2019-10-11 18:31:04 +0200
  • b7961fc8ec cleaning Lesenechal Remi 2019-10-11 17:47:04 +0200
  • d8e44476ba First version for ForInt loops Lesenechal Remi 2019-10-11 17:41:26 +0200
  • 2c4183f008 Merge branch 'feature/cameligo-bitwise-operators' into 'dev' Christian Rinderknecht 2019-10-28 18:13:54 +0000
  • c7e4f3f651 Remove lxor, land, and lor from reserved words John David Pressman 2019-10-28 09:18:16 -0700
  • dcf5a975d4 More of subst Suzanne Dupéron 2019-10-28 01:10:26 -0400
  • 174c028406 Fixing issues in the new typer Suzanne Dupéron 2019-10-27 23:24:21 -0400
  • cae0dfb1aa Change names to the standard library names for the functions in OCaml John David Pressman 2019-10-27 12:05:34 -0700
  • 148d4dabfc Merge branch 'feature/mutez' into 'dev' Christian Rinderknecht 2019-10-27 17:35:29 +0000
  • 0191d8b0ed Replace "mtz" with "mutez" Tom Jack 2019-10-27 11:50:24 -0500
  • 6956e8751d Add hex michelson output, use enums for format options Tom Jack 2019-10-26 12:57:22 -0500
  • 076c245724 Merge branch 'get-contract-address' into 'dev' Tom Jack 2019-10-26 13:33:23 +0000
  • 1dc690bbba Bugfix: only one propagator was called. Now they are all (both of them so far) called in turn. Suzanne Dupéron 2019-10-25 22:30:20 -0400
  • b3993d0db9 Add failing negative operator John David Pressman 2019-10-25 17:24:12 -0700
  • 8cfa583d55 Add more string tests to CameLIGO John David Pressman 2019-10-25 16:33:31 -0700
  • ea661247b6 Add bitwise operators to CameLIGO John David Pressman 2019-10-25 16:12:54 -0700
  • 5a5c3a8dd4 Merge branch 'feature/clean-big-map' into 'dev' Rémi Lesenechal 2019-10-25 21:30:09 +0000
  • ef05b47dc6 Typecheck address argument to get_contract Tom Jack 2019-10-25 11:27:55 -0500
  • d015f60d66 Merge branch 'fix/update-ide-url' into 'dev' Gabriel Alfour 2019-10-25 13:39:32 +0000
  • afbf2ba2db Less stupid way to combine adjacent drops Tom Jack 2019-10-25 00:42:31 -0500
  • 7c99affd4b Organize prims by their strangeness Tom Jack 2019-10-24 23:56:34 -0500
  • dae4f58297 Combine adjacent DROP Tom Jack 2019-10-24 23:56:26 -0500
  • 9ae39bab97 Fix (latent?) Babylon bug in self_michelson pass Tom Jack 2019-10-24 23:23:29 -0500
  • 0eb2b73afa Add CameLIGO test function utilizing multiple subroutines John David Pressman 2019-10-24 15:27:26 -0700
  • 99dfd18dea Add explanatory comment to annotation.ligo John David Pressman 2019-10-24 14:44:07 -0700
  • 34ac419b82
         Update website url to point to new ligo web ide Jev Björsell 2019-10-24 14:30:10 -0700
  • 790dc6c370 Merge branch 'test/cameligo-boolean-and' into test/cameligo-test-parity John David Pressman 2019-10-24 09:14:12 -0700
  • 0bf37a2e21 Fix boolean tests for CameLIGO John David Pressman 2019-10-24 09:13:31 -0700
  • 09bb74ed51 Merge branch 'archlinux_setup' into 'dev' Tom Jack 2019-10-24 13:04:16 +0000
  • f68e91466e Make install script works on archlinux Pierre-Emmanuel Wulfman 2019-10-24 13:04:16 +0000
  • 7958508e14 Merge branch 'feature/some-tests' into 'dev' Tom Jack 2019-10-24 13:03:39 +0000
  • 150ad6bc38 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-10-24 09:15:27 +0000
  • c0f4aaf0c7 Fixed the regression on case clauses (blocks were removed). Christian Rinderknecht 2019-10-24 10:29:41 +0200
  • 4a9150f560 WIP: Fixing a regression (blocks in case clauses as intructions). Christian Rinderknecht 2019-10-24 09:58:33 +0200
  • 2aa201553c Add test for the if conditional in CameLIGO John David Pressman 2019-10-23 20:29:32 -0700
  • ddc5b8e36d Add failing boolean operator test John David Pressman 2019-10-23 18:29:49 -0700
  • 2566ebc7d0 Add arithmetic tests for CameLIGO John David Pressman 2019-10-23 17:53:26 -0700
  • c4e996d5aa Fixed module issue, thanks Christian Suzanne Dupéron 2019-10-23 12:17:18 -0400
  • 535c291b3f blabla Suzanne Dupéron 2019-10-23 10:45:48 -0400
  • 10362426aa blabla Suzanne Dupéron 2019-10-23 10:41:36 -0400
  • e2ea89cf87 Move tests, remove operators Tom Jack 2019-10-23 09:37:51 -0500
  • 4730df6ea1 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-10-23 10:06:26 +0000
  • d0553ffee4 Merge branch 'feature/set-size-operator' into 'dev' Christian Rinderknecht 2019-10-23 10:05:30 +0000
  • 1f50cc8f57 Remove PascaLIGO set_size John David Pressman 2019-10-22 20:24:05 -0700
  • c4cc4fcba9 Add set size op for CameLIGO and PascaLIGO John David Pressman 2019-10-22 19:28:13 -0700
  • eae3348d51 I forbade empty patches (parser). Fixed AST pretty-printer (PascaLIGO). Christian Rinderknecht 2019-10-23 00:35:29 +0200
  • 79967e9067 Hit a module problem in OCaml. Suzanne Dupéron 2019-10-22 08:50:21 -0400
  • e6ee915f1e updating tests (we don't need the big_map to be in a pair anymore) Lesenechal Remi 2019-10-22 11:55:36 +0200
  • 2a2c708b54 adding Big_map.* operators for cameligo Lesenechal Remi 2019-10-22 11:55:03 +0200
  • cefac0d8e7 add big_map injection Lesenechal Remi 2019-10-21 13:04:28 +0200
  • 5d040220c0 WIP: add test Lesenechal Remi 2019-10-18 17:52:26 +0200
  • 23993a4488 clean big_map tests Lesenechal Remi 2019-10-18 17:36:33 +0200
  • 0467868bb2 Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-10-22 10:43:13 +0200
  • 9ad0859a4c Merge branch 'feature/pascaligo-remove-case-as-expression' into 'dev' Christian Rinderknecht 2019-10-22 08:42:59 +0000
  • fa30b7d87d Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-10-22 10:38:32 +0200
  • e47f486349 Merge branch 'feature/cameligo-str-concat' into 'dev' John David Pressman 2019-10-22 05:56:04 +0000
  • 48515b9f3b Add explanatory comment to string concatenation test John David Pressman 2019-10-21 16:40:40 -0700