Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 4, 2024

• Add bat file to easily run Apalache on Windows

  bugarela

  committedSep 4, 2024
  db26c3b

Commits on Aug 14, 2024

• Introduce the Repeat Apalache operator (#2927)

  

  Kukovec

  and

  konnov

  committedAug 14, 2024
  b54d097

Commits on Mar 4, 2023

• Fix type signatures of Print and PrintT.

  BGR360

  committedMar 4, 2023
  b200e55

Commits on Oct 24, 2022

• Fix untyped implementation for VariantFilter

  bugarela

  committedOct 24, 2022
  26ad88b

Commits on Sep 23, 2022

• Add Option.tla module (#2116)

  

  Shon Feder

  and

  thpani

  committedSep 23, 2022
  c4a2e0d

Commits on Aug 30, 2022

• Report an error when a type annotation is too general (#2109)

  konnov

  committedAug 30, 2022
  3399b83

Commits on Aug 26, 2022

• Deduplicate assembly of custom TLA modules (#2110)

  

  Shon Feder

  committedAug 26, 2022
  6f4ace4

Commits on Aug 9, 2022

• Avoid setting -Xmx if -XX:MaxRAMPercentage is given (#2049)

  thpani

  committedAug 9, 2022
  e15a836

Commits on Jul 21, 2022

• Rename dev branch from "unstable" to "main"

  

  Shon Feder

  committedJul 21, 2022
  fd194e6

Commits on Jul 7, 2022

• refactor VariantUnwrap into VariantTag

  konnov

  committedJul 7, 2022
  6797f51

Commits on Jul 4, 2022

• remove VariantMatch

  konnov

  committedJul 4, 2022
  6584f80

Commits on Jun 21, 2022

• rename VariantGetOnly to VariantUnwrap

  konnov

  committedJun 21, 2022
  b06617c

• fix the types of VariantGetUnsafe and VariantGetOrElse

  konnov

  committedJun 21, 2022
  03cbc78

Commits on Jun 20, 2022

• implement VariantGetUnsafe

  konnov

  committedJun 20, 2022
  b0c78f6

Commits on Jun 10, 2022

• extend Variants.tla with VariantGetUnsafe and VariantGetOrElse

  konnov

  committedJun 10, 2022
  ff6798d

Commits on Jun 9, 2022

• s/tag/tagName/g

  konnov

  committedJun 9, 2022
  6dbb1d0

• fix more things

  konnov

  committedJun 9, 2022
  9d23ab5

• fix the comments in Variants.tla

  konnov

  committedJun 9, 2022
  661d5af

Commits on Jun 1, 2022

• complete rewrite of the variant types

  konnov

  committedJun 1, 2022
  f0c9fc9

• add type translation for MatchOnly

  konnov

  committedJun 1, 2022
  cbd3b2a

Commits on May 19, 2022

• add operators over variants and parse them

  konnov

  committedMay 19, 2022
  c392d69

Commits on May 4, 2022

• Prefix all names in internal modules with __ (#1715)

  Kukovec

  committedMay 4, 2022
  120195a

• Fix outdated URLs

  thpani

  committedMay 4, 2022
  8ed89bd

Commits on Apr 11, 2022

• s/FoldSet/ApaFoldSet/ and s/FoldSeq/ApaFoldSeqLeft/

  konnov

  committedApr 11, 2022
  53c3dd3

• updating the unit tests and docs

  konnov

  committedApr 11, 2022
  9a1d423

• Merge branch 'unstable' into ik/guess888

  konnov

  committedApr 11, 2022
  bd0330c

• update the comment

  konnov

  committedApr 11, 2022
  5353370

• Apply suggestions from code review

  

  konnov

  and

  thpani

  committedApr 11, 2022
  b0dabc0

Commits on Apr 7, 2022

• fix the comment in Variants.tla

  konnov

  committedApr 7, 2022
  ee50334

• fix the parser and add more tests for variants and records

  konnov

  committedApr 7, 2022
  093e3d4

Commits on Apr 4, 2022

• introduce the operator Apalache!Guess

  konnov

  committedApr 4, 2022
  eb41e58

Commits on Mar 25, 2022

• Merge branch 'unstable' into ik/sequences1486-2

  konnov

  committedMar 25, 2022
  5c02e06

• fixed the broken formatting

  konnov

  committedMar 25, 2022
  8e147b5

• rewire Folds.tla

  konnov

  committedMar 25, 2022
  6c3b221

• Merge branch 'unstable' into ik/sequences1486-2

  konnov

  committedMar 25, 2022
  b5c3a7f

Pagination

PreviousNext