Commit Graph

  • 43e75e186b Merge branch 'new-menhir' into 'dev' Tom Jack 2019-09-26 16:38:33 +0000
  • be201a5109 Lose another opam battle Tom Jack 2019-09-26 10:59:18 -0500
  • 9a1fb0fb81 Merge branch 'site-redesign-init' into LIGO-94-feature-cards Sarah Fowler 2019-09-26 11:35:28 -0400
  • 6cd5f66148 [LIGO-94] minor css fix Sarah Fowler 2019-09-26 11:34:57 -0400
  • 560a93c657 Merge branch 'LIGO-95-layout' into 'LIGO-94-feature-cards' Sarah Fowler 2019-09-26 15:33:21 +0000
  • 581ebf2b7f Merge branch 'LIGO-92-buttons' into 'site-redesign-init' Sarah Fowler 2019-09-26 15:33:01 +0000
  • 68ff421b7d Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-09-26 17:11:08 +0200
  • ca1471612f Merge branch 'pascaligo-tests' into 'dev' Christian Rinderknecht 2019-09-26 15:09:37 +0000
  • 10469818c1 Removed entrypoint and storage as keywords. Christian Rinderknecht 2019-09-26 16:35:16 +0200
  • 63cc8847f8 Merge branch 'LIGO-94-feature-cards' into LIGO-95-layout Sarah Fowler 2019-09-26 10:26:41 -0400
  • 37c233e0cc Merge branch 'LIGO-92-buttons' into LIGO-94-feature-cards Sarah Fowler 2019-09-26 10:26:12 -0400
  • 9b6fd0bab6 Merge branch 'site-redesign-init' into LIGO-92-buttons Sarah Fowler 2019-09-26 10:25:01 -0400
  • a2701336e7 Merge branch 'dev' into site-redesign-init Sarah Fowler 2019-09-26 10:23:26 -0400
  • 5dc46ef392 Merge branch 'LIGO-93-profiles' into 'LIGO-92-buttons' Sarah Fowler 2019-09-26 14:19:47 +0000
  • 43d2b93b87 Merge branch 'LIGO-96-partners-redesign' into 'LIGO-94-feature-cards' Sarah Fowler 2019-09-26 14:18:02 +0000
  • 2cf6aafff2 [LIGO-95] minor css fixes Sarah Fowler 2019-09-26 09:56:45 -0400
  • 288b7e9149 Merge branch 'hotfix' into 'dev' Tom Jack 2019-09-26 11:41:53 +0000
  • 389cbdbded Hotfix: display errors, fix mystery fail Tom Jack 2019-09-26 06:01:09 -0500
  • 0c58b19978 Merge branch 'feature/peephole' into 'dev' Tom Jack 2019-09-26 01:52:55 +0000
  • 8a96e38f04 More failure tests, fix mligo assert Tom Jack 2019-09-21 18:39:06 -0700
  • a521c01115 some michelson optimizations Tom Jack 2019-09-21 18:38:45 -0700
  • a2240e0649 Merge branch 'feature/stderr' into 'dev' Tom Jack 2019-09-26 00:56:55 +0000
  • 6b9f5f3d39 [LIGO-95] fix profile hover rule Sarah Fowler 2019-09-25 17:58:03 -0400
  • f542cde283 [LIGO-95] I AM A CSS GENIUS\!\! Sarah Fowler 2019-09-25 17:36:43 -0400
  • f61a91f36f [LIGO-95] layout for top section Sarah Fowler 2019-09-25 16:59:07 -0400
  • dcafce59d0 Merge branch 'fix-cli-test' into 'dev' Gabriel Alfour 2019-09-25 19:20:28 +0000
  • 1f8a801ed9 Don't test exact compiler output Tom Jack 2019-09-25 13:29:50 -0500
  • 8a04ee8097 Fix bug for compile-parameter and compile-storage Tom Jack 2019-09-25 13:29:00 -0500
  • 9673475bfd [LIGO-96] Redesign partners section Sarah Fowler 2019-09-25 14:28:48 -0400
  • 54a13b8ec5 [LIGO-94] fix alignment of cards Sarah Fowler 2019-09-25 13:39:08 -0400
  • e77c811372 [LIGO-94] redesign Features section Sarah Fowler 2019-09-25 13:32:06 -0400
  • 28281e42d3 .gitignore Sarah Fowler 2019-09-25 11:52:02 -0400
  • 7e6651cf94 [LIGO-93] redesign profile pics Sarah Fowler 2019-09-25 11:45:37 -0400
  • be75fd4830 fixed minor bug galfour 2019-09-25 17:21:44 +0200
  • 5c24207c3b [LIGO-92] button styles Sarah Fowler 2019-09-25 11:13:28 -0400
  • 920f304824 Add landing class to index wrapper; fix pixel-limited title width Sarah Fowler 2019-09-25 10:20:34 -0400
  • d9afee0fad Attempt to fix docker_build CI config Matej Sima 2019-09-25 13:19:44 +0200
  • d1c1f0c08e Move docker_build to 'script' level in the CI Matej Sima 2019-09-25 13:14:41 +0200
  • af9e6a90b9 Move docker publishing and testing to script instead of after_script in the CI Matej Sima 2019-09-25 13:11:10 +0200
  • acc13ba817 Merge branch 'fix/various-gitlab-issues' into 'dev' Gabriel Alfour 2019-09-25 09:26:01 +0000
  • c60a02942b Update the CLI testing script CI pipeline Matej Sima 2019-09-25 10:52:26 +0200
  • 87bbdad553 fix stuff galfour 2019-09-25 10:49:14 +0200
  • 9bb0d3aa9f Disable tests for procedures and for loops, which are unsupported John David Pressman 2019-09-24 16:20:52 -0700
  • ada8a2b703 Add (commented out) for loop test & working procedure test John David Pressman 2019-09-24 15:47:04 -0700
  • d7c4afd39b Add redesign colors, typography, padding, fonts Sarah Fowler 2019-09-24 17:12:11 -0400
  • a8def8c269 Add test for boolean not John David Pressman 2019-09-24 12:18:07 -0700
  • 9053a74999 Merge branch 'fix/various-gitlab-issues' into 'dev' Gabriel Alfour 2019-09-24 16:25:40 +0000
  • e6ac10f0ce switch from tz to mtz galfour 2019-09-24 14:29:18 +0200
  • f72593ae85 add set literals galfour 2019-09-24 14:00:43 +0200
  • b6ee28d704 add map literals in cameligo galfour 2019-09-24 13:54:34 +0200
  • ac449d2cb3 test List.iter and List.map in cameligo galfour 2019-09-24 10:54:14 +0200
  • 9c3c40c9ef add set fold galfour 2019-09-24 00:26:39 +0200
  • c4752c5935 add map fold galfour 2019-09-23 23:46:47 +0200
  • b41b676eb8 add list fold galfour 2019-09-23 23:33:25 +0200
  • c07f0633cd Print errors to stderr, exit 1 Tom Jack 2019-09-04 09:41:14 -0700
  • f3c80908ee Merge branch 'refactor/everything' into 'dev' Gabriel Alfour 2019-09-23 15:19:50 +0000
  • fed4891840 Merge branch 'dev' into refactor/everything galfour 2019-09-23 16:40:51 +0200
  • 7ebb0e56e8 Merge branch 'feature/LIGO-72' into refactor/everything galfour 2019-09-23 12:18:53 +0200
  • 96fd0b4660 yay galfour 2019-09-22 23:39:15 +0200
  • 37836f9512 adding option galfour 2019-09-22 22:44:50 +0200
  • 720ef99c69 solve conflict galfour 2019-09-22 22:17:28 +0200
  • ad81ab464b Merge branch 'pascaligo-tests' into 'dev' John David Pressman 2019-09-22 15:56:23 +0000
  • a4c667c6cd Merge branch 'refactor/add-cli-tests' into 'refactor/everything' Matej Šima 2019-09-22 13:06:52 +0000
  • 5fcb426239 Refactor/add cli tests Matej Šima 2019-09-22 13:06:52 +0000
  • 0cfb40f54d Add purpose comments to some test contracts John David Pressman 2019-09-21 14:59:48 -0700
  • 33dbd11482 Delete broken local-repo-job Tom Jack 2019-09-21 13:50:01 -0700
  • 2909530b22 Ignore pp.ligos in root Tom Jack 2019-09-21 13:35:08 -0700
  • 2773a2e4cd Bring back local-repo-job for testing Matej Sima 2019-09-21 14:28:33 +0200
  • 9fb65e71e8 more lists galfour 2019-09-21 11:30:41 +0200
  • ad79188c4f add list pattern matching galfour 2019-09-21 09:12:00 +0200
  • 8978c5c4d7 Print expresion in error message to ease further debugging Lesenechal Remi 2019-09-20 21:26:34 +0200
  • ea6f51bd55 CLI checked, compile-storage and dry-run Lesenechal Remi 2019-09-17 18:17:12 +0200
  • b653996aae Big_map support Lesenechal Remi 2019-09-13 20:30:09 +0200
  • 304184bcd3 Bla Lesenechal Remi 2019-09-11 16:02:06 +0200
  • c7cfce2bf7 Remove merge comments Lesenechal Remi 2019-09-09 22:23:29 +0200
  • e5b4d37af8 add E_big_map case in Ast Lesenechal Remi 2019-09-06 15:43:11 +0200
  • a9f7bb39e4 add tests for big_map Lesenechal Remi 2019-09-05 17:23:51 +0200
  • 1c281ac079 merge operations syntax for map with big_map Lesenechal Remi 2019-09-05 13:06:48 +0200
  • e930dc00c4 some check on starage for big_map Lesenechal Remi 2019-09-04 19:05:45 +0200
  • 25e3ab8e5d big map can be looked up Lesenechal Remi 2019-09-03 18:33:30 +0200
  • 4fec6f1624 naively connects big_map to the transpiler Lesenechal Remi 2019-08-29 13:12:06 +0200
  • dc9294bbcc add options in cameligo galfour 2019-09-20 20:38:04 +0200
  • 66efff631d add micheline galfour 2019-09-20 18:56:55 +0200
  • 9a7c3ee54d Merge branch 'dev' into refactor/everything galfour 2019-09-20 17:51:43 +0200
  • 1b901b1c25 Merge branch 'dev' into refactor/everything galfour 2019-09-20 17:50:47 +0200
  • efc4cdb19a Merge branch 'next-page-fixes' into 'dev' Matej Šima 2019-09-20 14:05:46 +0000
  • cd645520f7 Fix outdated git repo link on versions page John David Pressman 2019-09-20 06:27:20 -0700
  • 2a90be292c more formats galfour 2019-09-20 11:59:44 +0200
  • e3179bd7c7 tests pass again galfour 2019-09-19 12:59:07 +0200
  • 6fe48ff6ad more working galfour 2019-09-19 08:29:31 +0200
  • 015e197183 back on track galfour 2019-09-19 01:34:37 +0200
  • b619fa1f17 further down the road galfour 2019-09-18 18:49:33 +0200
  • d8b7a12c69 more refactoring galfour 2019-09-15 13:12:19 +0200
  • 80aab99a97 Merge branch 'ligolang-tezos-repo' into 'dev' Pierre-Emmanuel Wulfman 2019-09-13 13:20:40 +0000
  • b0b7fb7ac6 Ligolang tezos repo Tom Jack 2019-09-13 13:20:40 +0000
  • 5566095e49 more stuff galfour 2019-09-11 13:56:39 +0200
  • 715812b2c3 more modifications galfour 2019-09-10 15:19:15 +0200
  • cdfffcf8ec more refactoring galfour 2019-09-10 12:42:49 +0200
  • 1cda8ca097 Merge branch 'fix-ci' into 'dev' John David Pressman 2019-09-10 02:38:18 +0000
  • e700c13897 Makefile cleanup Tom Jack 2019-09-09 14:34:54 -0700