Commits · master · Jun Furuse / tezos

Browse files

Apr 29, 2019
- extend camligo and ligo · 6cb341b1
  Gabriel Alfour authored Apr 29, 2019
  
  6cb341b1
Apr 27, 2019
- Merge branch 'master' of gitlab.com:gabriel.alfour/tezos · c5f6fe67
  Gabriel Alfour authored Apr 27, 2019
  
  c5f6fe67
- complete camligo simplify · a18dba20
  Gabriel Alfour authored Apr 27, 2019
  
  a18dba20
Apr 26, 2019
- Dependency on ppx_deriving · 840e8d8c
  Georges Dupéron authored Apr 26, 2019
  
  840e8d8c
- more camligo · d19c0058
  Gabriel Alfour authored Apr 26, 2019
  
  d19c0058
- minor fix · 6603b259
  Gabriel Alfour authored Apr 26, 2019
  
  6603b259
- more camligo · 912fe211
  Gabriel Alfour authored Apr 26, 2019
  
  912fe211
Apr 24, 2019
- add leading VBAR to sum types in pascaligo · fdc62b5e
  Gabriel Alfour authored Apr 24, 2019
  
  fdc62b5e
- Fixed lexer rule for literal naturals. Fixed reset_buffer (offset). · 669945d4
  Christian Rinderknecht authored Apr 24, 2019
  
  669945d4
- Generated files which are promote-until-clean have now their basenames · b361f718
  Christian Rinderknecht authored Apr 24, 2019
  b361f718
- Merge branch 'master' of gitlab.com:gabriel.alfour/tezos · cae81730
  Christian Rinderknecht authored Apr 24, 2019
  
  cae81730
- Merge branch 'master' of gitlab.com:gabriel.alfour/tezos · 340d32ec
  Christian Rinderknecht authored Apr 24, 2019
  
  340d32ec
- extend camligo simplifier · 0f7f726d
  Gabriel Alfour authored Apr 24, 2019
  
  0f7f726d
- Minor refactoring of the parser. · 561073ca
  Christian Rinderknecht authored Apr 24, 2019
  561073ca
Apr 23, 2019
- extend variant cases · 212ccd56
  Gabriel Alfour authored Apr 23, 2019
  
  212ccd56
- Merge branch 'master' of gitlab.com:gabriel.alfour/tezos · f68d5926
  Gabriel Alfour authored Apr 23, 2019
  
  f68d5926
- make better cli · ba9b8c4a
  Gabriel Alfour authored Apr 23, 2019
  
  ba9b8c4a
- Conditional for tests is 'with-test', not 'test'. · eb201917
  Georges Dupéron authored Apr 23, 2019
  
  eb201917
- opam install --build-test to install the test-only dependencies · 6d9334a6
  Georges Dupéron authored Apr 23, 2019
  
  6d9334a6
- Removed dependency on getopt. Explicitly list modules in pascaligo, excluded the Mains and LexerLog · b57a06de
  Georges Dupéron authored Apr 23, 2019
  
  b57a06de
- Missing dependency: alcotest · ff480426
  Georges Dupéron authored Apr 23, 2019
  
  ff480426
- Missing build-time dependency: rsync · 4dc23195
  Georges Dupéron authored Apr 23, 2019
  
  4dc23195
- change bin display · 097c5ca0
  Gabriel Alfour authored Apr 23, 2019
  
  097c5ca0
- add super-counter · 1814d8cb
  Gabriel Alfour authored Apr 23, 2019
  
  1814d8cb
Apr 22, 2019
- add variant expression pattern-matching · 0aa01ddc
  Gabriel Alfour authored Apr 22, 2019
  
  0aa01ddc
- add variants · 72f5698c
  Gabriel Alfour authored Apr 22, 2019
  
  72f5698c
- dune-capsulate · 0a83ea52
  Gabriel Alfour authored Apr 22, 2019
  
  0a83ea52
- lift tests to ast_simplify · 55bff7b5
  Gabriel Alfour authored Apr 22, 2019
  
  55bff7b5
Apr 21, 2019
- refactor more · de6a3bbf
  Gabriel Alfour authored Apr 21, 2019
  
  de6a3bbf
- refactor ast_simplified · 0e04a152
  Gabriel Alfour authored Apr 21, 2019
  
  0e04a152
- prepare lifting transpilation environments · 7a2bd3d7
  Gabriel Alfour authored Apr 21, 2019
  
  7a2bd3d7
- rewrite type environments · c2ac9ab3
  Gabriel Alfour authored Apr 21, 2019
  
  c2ac9ab3
Apr 20, 2019
- add environment to typed expression · af6da6bf
  Gabriel Alfour authored Apr 20, 2019
  
  af6da6bf
- refactor more · b61869cb
  Gabriel Alfour authored Apr 20, 2019
  
  b61869cb
- refactor ast_typed · 369e73a1
  Gabriel Alfour authored Apr 20, 2019
  
  369e73a1
- update lib_utils · 50926c20
  Gabriel Alfour authored Apr 20, 2019
  
  50926c20
- Merge branch 'master' of gitlab.com:gabriel.alfour/tezos · ecc509ad
  Gabriel Alfour authored Apr 20, 2019
  
  ecc509ad
- replace tuples by records · d7426504
  Gabriel Alfour authored Apr 20, 2019
  
  d7426504
- Debug for CI · 741742e4
  Georges Dupéron authored Apr 20, 2019
  
  741742e4
- Debug info for CI, added synopsis for ligo.opam · a3b5a82d
  Georges Dupéron authored Apr 20, 2019
  
  a3b5a82d