Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 5, 2024

• Fix nuxmv templates

  lou1306

  committed
  482cf8f

  Copy full SHA for 482cf8f

• Refactor Encode.fs/TranslationKit.fs

  lou1306

  committed
  fdc82a9

  Copy full SHA for fdc82a9

• fix

  lou1306

  committed
  d7eff24

  Copy full SHA for d7eff24

• Fix style in Stigmergies.fs

  lou1306

  committed
  88ce8e3

  Copy full SHA for 88ce8e3

• Cleanup LabsParser/Processes.fs

  Show description for 79fb87c
  lou1306

  committed
  79fb87c

  Copy full SHA for 79fb87c

• Update Sublime Text highlighting

  lou1306

  committed
  ffad992

  Copy full SHA for ffad992

Commits on Jun 12, 2024

• Improve syntax of link/pick expressions

  Show description for 2e42156
  lou1306

  committed
  2e42156

  Copy full SHA for 2e42156

Commits on May 31, 2024

• Fix trimming of .NET assemblies

  lou1306

  committed
  ebf62e8

  Copy full SHA for ebf62e8

Commits on Apr 4, 2024

• NuXmv output: first commit

  lou1306

  committed
  37409b8

  Copy full SHA for 37409b8

• Nuxmv templates: first commit

  lou1306

  committed
  c55deee

  Copy full SHA for c55deee

• Fix .NET 8 warnings

  lou1306

  committed
  f29dd8c

  Copy full SHA for f29dd8c

• Fix Makefile

  lou1306

  committed
  f57e40b

  Copy full SHA for f57e40b

• Update dependencies

  lou1306

  committed
  e1dbd55

  Copy full SHA for e1dbd55

Commits on Mar 18, 2024

• Target DotNet 8 (LabsTranslate)

  lou1306

  committed
  0a323b7

  Copy full SHA for 0a323b7

Commits on May 19, 2023

• Report information about PCs

  lou1306

  committed
  2243eeb

  Copy full SHA for 2243eeb

• Fix full interleaving in C programs

  lou1306

  committed
  c29c8c9

  Copy full SHA for c29c8c9

Commits on May 3, 2023

• Some refactoring of property/bexpr encoding

  Show description for 399f734
  lou1306

  committed
  399f734

  Copy full SHA for 399f734

Commits on Apr 17, 2023

• Cleanup

  lou1306

  committed
  b56c6bb

  Copy full SHA for b56c6bb

• Fix bug in conditional processes

  Show description for 5fe04bb
  lou1306

  committed
  5fe04bb

  Copy full SHA for 5fe04bb

• Merge branch 'fluid'

  lou1306

  committed
  1b796fe

  Copy full SHA for 1b796fe

• C: Rename loopAssumptions() to __invariants()

  lou1306

  committed
  0c6b858

  Copy full SHA for 0c6b858

• Cleanup after a bad merge

  lou1306

  committed
  de49998

  Copy full SHA for de49998

• Merge remote-tracking branch 'origin/fluid' into fluid

  lou1306

  committed
  5df57a5

  Copy full SHA for 5df57a5

• Remove assignments to 0 in init

  lou1306

  committed
  71aa41d

  Copy full SHA for 71aa41d

• C: Remove explicit call to __CPROVER_nondet()

  lou1306

  committed
  04bb5b9

  Copy full SHA for 04bb5b9

• Fix tagging of nodes for expansion

  lou1306

  committed
  22a142f

  Copy full SHA for 22a142f

• Fix Sublime syntax highlighting

  lou1306

  committed
  84c747d

  Copy full SHA for 84c747d

• Fix translatio of "pick"

  lou1306

  committed
  64c6172

  Copy full SHA for 64c6172

• Add conditional processes

  Show description for 2924aa6
  lou1306

  committed
  2924aa6

  Copy full SHA for 2924aa6

• Reformat

  lou1306

  committed
  1937b61

  Copy full SHA for 1937b61

• Fix Makefile

  lou1306

  committed
  565274b

  Copy full SHA for 565274b

• Fix C template

  Show description for 5513cc9
  lou1306

  committed
  5513cc9

  Copy full SHA for 5513cc9

• Fix linearization of >1D arrays

  Show description for 28f581b
  lou1306

  committed
  28f581b

  Copy full SHA for 28f581b

• Update sliver

  lou1306

  committed
  a9adac3

  Copy full SHA for a9adac3

• Make nondet. value an expression term

  lou1306

  committed
  4c72566

  Copy full SHA for 4c72566

Pagination

Previous

Next