Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 29, 2023

• Merge pull request #20 from VladSaiocUber/remove-parse-error

  Show description for 7d8b638
  nicolasdilley

  authored
  7d8b638

  Copy full SHA for 7d8b638

• Merge pull request #18 from VladSaiocUber/flag-std-lib-refactor

  Show description for 5245b36
  nicolasdilley

  authored
  5245b36

  Copy full SHA for 5245b36

• Merge pull request #17 from VladSaiocUber/recover-ast-fix

  Show description for b44dba0
  nicolasdilley

  authored
  b44dba0

  Copy full SHA for b44dba0

• Merge pull request #16 from nicolasdilley/dependabot/go_modules/github.com/microcosm-cc/bluemonday-1.0.20

  Show description for 2965fa4
  nicolasdilley

  authored
  2965fa4

  Copy full SHA for 2965fa4

• resolving problem wrg to go.sum

  nicolasdilley

  committed
  999d4ce

  Copy full SHA for 999d4ce

• resolving conflict

  nicolasdilley

  committed
  8ce4925

  Copy full SHA for 8ce4925

• Merge pull request #15 from nicolasdilley/dependabot/go_modules/golang.org/x/net-0.7.0

  Show description for 47705b6
  nicolasdilley

  authored
  47705b6

  Copy full SHA for 47705b6

• Merge pull request #19 from VladSaiocUber/flag-refactors

  Show description for 71bda6d
  nicolasdilley

  authored
  71bda6d

  Copy full SHA for 71bda6d

Commits on May 26, 2023

• Removed redundant ParseError structure.

  VladSaiocUber

  committed
  90470cc

  Copy full SHA for 90470cc

• Refactored how flags are structured.

  VladSaiocUber

  committed
  3521125

  Copy full SHA for 3521125

• Streamlined usage of flag library.

  VladSaiocUber

  committed
  1c52204

  Copy full SHA for 1c52204

• Fixed AST walk panic on nil if initialization.

  VladSaiocUber

  committed
  d212f9b

  Copy full SHA for d212f9b

Commits on May 23, 2023

• Adding the no-close update

  nicolasdilley

  committed
  87f0f58

  Copy full SHA for 87f0f58

Commits on Mar 7, 2023

• Bump github.com/microcosm-cc/bluemonday from 1.0.15 to 1.0.20

  Show description for 14873d2
  dependabot[bot]

  authored
  14873d2

  Copy full SHA for 14873d2

Commits on Feb 25, 2023

• Bump golang.org/x/net from 0.0.0-20210813160813-60bc85c4be6d to 0.7.0

  Show description for 09ad182
  dependabot[bot]

  authored
  09ad182

  Copy full SHA for 09ad182

Commits on Feb 24, 2023

• The receiver for main is just a receive now instead of another process

  nicolasdilley

  committed
  b115cd2

  Copy full SHA for b115cd2

• Added support for am flag which turns all optionnal param into mandatory

  nicolasdilley

  committed
  f92ad58

  Copy full SHA for f92ad58

• applying patch to change : in promela models into ->

  nicolasdilley

  committed
  9907882

  Copy full SHA for 9907882

Commits on Dec 8, 2022

• Do not print result for model containing optional parameters set to wildcard

  nicolasdilley

  committed
  cc95182

  Copy full SHA for cc95182

• Adding support for skipping if statements that are used as recover mechanism

  nicolasdilley

  committed
  5b91577

  Copy full SHA for 5b91577

Commits on Dec 7, 2022

• Adding support for uint

  nicolasdilley

  committed
  c9c8ca3

  Copy full SHA for c9c8ca3

• added support for uint

  nicolasdilley

  committed
  65c6dc2

  Copy full SHA for 65c6dc2

Commits on Dec 1, 2022

• Merge branch 'master' of https://github.com/nicolasdilley/gomela

  Show description for 25aff68
  nicolasdilley

  committed
  25aff68

  Copy full SHA for 25aff68

• Adding option to give a timeout via flag -timeout

  nicolasdilley

  committed
  f11d90a

  Copy full SHA for f11d90a

• Merge pull request #14 from nicolasdilley/add_aliasing

  Show description for 67855b8
  nicolasdilley

  authored
  67855b8

  Copy full SHA for 67855b8

• Added aliasing of comm param

  nicolasdilley

  committed
  06c27ee

  Copy full SHA for 06c27ee

Commits on Nov 30, 2022

• Adding aliasing

  nicolasdilley

  committed
  816d1a0

  Copy full SHA for 816d1a0

Commits on Nov 29, 2022

• added aliased comm param (not finished yet)

  nicolasdilley

  committed
  3062572

  Copy full SHA for 3062572

• Added the optional flag where the spin output is printed to a given file using flag pt (print trace)

  nicolasdilley

  committed
  3a9e10b

  Copy full SHA for 3a9e10b

• Switched to flag.Args() instead of os.Args

  nicolasdilley

  committed
  c406e65

  Copy full SHA for c406e65

• Added blocked states when safety or panic reached

  nicolasdilley

  committed
  cb45065

  Copy full SHA for cb45065

Commits on Nov 16, 2022

• Adding support for condition of if statement

  nicolasdilley

  committed
  b65687d

  Copy full SHA for b65687d

• Adding traceback for panic reached

  nicolasdilley

  committed
  e0a4b9c

  Copy full SHA for e0a4b9c

• Safety errors and global deadlock traceback implemented

  nicolasdilley

  committed
  273ee8f

  Copy full SHA for 273ee8f

Commits on Nov 10, 2022

• Switching safety errors from processors to monitors

  nicolasdilley

  committed
  09243ef

  Copy full SHA for 09243ef

Pagination

Previous

Next