Commits · master · Tezos / Michelson Reference

Jan 29, 2025
- update timestamp with negative numbers · 098640f6
  Luciano Freitas authored 2 months ago
  098640f6
Dec 12, 2024
- Luciano@str=int timestamp · 417d7142
  Luciano Freitas authored 4 months ago
  
  417d7142
- CI: fix publish pipeline issues · 4e0b98d0
  Luciano Freitas authored 4 months ago
  
  4e0b98d0
Dec 04, 2024
- CI: fix gcp pipeline issues · a82b319a
  Luciano Freitas authored 4 months ago
  
  a82b319a
Apr 22, 2024
- manual fixes · 8cbe7a19
  Nic Volanschi authored 1 year ago
  
  8cbe7a19
- various fixes · a5427bb6
  Nic Volanschi authored 1 year ago
  
  a5427bb6
Apr 11, 2024
- doc: apply suggestions · aeb259cc
  Nic Volanschi authored 1 year ago
  
  aeb259cc
- still more fixes · a5ce3988
  Nic Volanschi authored 1 year ago
  
  a5ce3988
- more fixes · 54f4db38
  Nic Volanschi authored 1 year ago
  
  54f4db38
Apr 08, 2024
- replace originated acc/contr by smart contract · 39f0ed3e
  Nic Volanschi authored 1 year ago
  
  39f0ed3e
Apr 04, 2024
- contracts are triggerred by internal/external transactions · 6f748f2d
  Nic Volanschi authored 1 year ago
  
  6f748f2d
- generalized addresses · e1153c36
  Nic Volanschi authored 1 year ago
  
  e1153c36
Mar 29, 2024
- add tz4 adresses · 05975f03
  Nic Volanschi authored 1 year ago
  
  05975f03
Feb 05, 2024
- Homogenize documentation of type attributes · 916756bd
  Raphaël Cauderlier authored 1 year ago
  
  916756bd
- Fix documentation of pushable and packable attributes regarding EMIT · 1df0b092
  Raphaël Cauderlier authored 1 year ago
  
  1df0b092
- Test pushability using EMIT, FAILWITH, and UNPACK · 7e5f44a7
  Raphaël Cauderlier authored 1 year ago
  
  7e5f44a7
- EMIT, FAILWITH, and UNPACK require a pushable type · dee27d7e
  Raphaël Cauderlier authored 1 year ago
  dee27d7e
- CI: don't use Pylint · 9ccbe3e7
  Raphaël Cauderlier authored 1 year ago
  9ccbe3e7
Nov 08, 2023
- Mention the order by which set elements and map keys are ordered · 8e0943ec
  Raphaël Cauderlier authored 1 year ago
  
  8e0943ec
- Clarify that ITER and MAP don't have access to the data structure · d49a0dfb
  Raphaël Cauderlier authored 1 year ago
  
  d49a0dfb
Nov 03, 2023
- Specify the iteration order for ITER and MAP · f42bc629
  Raphaël Cauderlier authored 1 year ago
  
  f42bc629
Oct 02, 2023
- Simplify VIEW doc. · 3859c2b5
  Raphaël Cauderlier authored 1 year ago and Nicolas Ayache committed 1 year ago
  
  3859c2b5
- Remove duplication of forbidden types in views input/output. · cc7e9e69
  Nic Volanschi authored 1 year ago and Nicolas Ayache committed 1 year ago
  
  cc7e9e69
- Update generated files. · a99691f2
  Nicolas Ayache authored 1 year ago
  
  a99691f2
- Format. · 8278f284
  Nicolas Ayache authored 1 year ago
  
  8278f284
- Document view related predicates. · ae11f666
  Nicolas Ayache authored 1 year ago
  ae11f666
- Doc for views. · a8f4bd73
  Nicolas Ayache authored 1 year ago
  a8f4bd73
- Rules for views. · c4206aa5
  Nicolas Ayache authored 1 year ago
  
  c4206aa5
- Consistency in Coq comments. · 4a3b162d
  Nicolas Ayache authored 1 year ago
  
  4a3b162d
Sep 26, 2023
- Fix a typo in the docstring of `VOTING_POWER` · 17fa9a14
  Raphaël Cauderlier authored 1 year ago
  
  17fa9a14
Sep 08, 2023
- Type attributes: fix big_map values description. · 76324d2c
  Nicolas Ayache authored 1 year ago
  
  76324d2c
- Type attributes: consistency and grammar. · aee5b61a
  Nicolas Ayache authored 1 year ago
  
  aee5b61a
Sep 05, 2023
- Add a word about deprecated instructions. · 8d3abee4
  Nicolas Ayache authored 1 year ago
  
  8d3abee4
- Remove deprecated instructions from the output. · 239b8650
  Nicolas Ayache authored 1 year ago
  
  239b8650
Sep 04, 2023
- Use proto Alpha. · 364f0bd2
  Nicolas Ayache authored 1 year ago
  364f0bd2
- Update generated files. · aa792721
  Nicolas Ayache authored 1 year ago
  
  aa792721
- Doc for OPEN_CHEST. · 2b14e44c
  Nicolas Ayache authored 1 year ago
  
  2b14e44c
- Add Nairobi and Oxford. · 44b88a76
  Nicolas Ayache authored 1 year ago
  
  44b88a76
- Add rules for OPEN_CHEST. · 7cd01078
  Nicolas Ayache authored 1 year ago
  
  7cd01078
- Typo. · a7cb85fa
  Nicolas Ayache authored 1 year ago
  
  a7cb85fa