Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 3, 2024

• docs: fix references to lustre_main in docs

  Show description for 03bd512
  erooke

  committed
  03bd512

Commits on Sep 30, 2024

• docs: add missing fi in frame code block

  erooke

  committed
  32caef0

Commits on Jul 31, 2024

• Merge branch 'develop' into abstract-type-cleanup

  lorchrob

  committed
  6d06071

• Update index.rst

  lorchrob

  committed
  b8df92a

• Clean up user doc abstract types

  lorchrob

  committed
  adaf8df

Commits on Jul 23, 2024

• Add abstract type user doc; abstract types have infinite domains

  lorchrob

  committed
  5e23cb7

Commits on Jul 5, 2024

• Clean up comment and user doc

  lorchrob

  committed
  91dffb2

Commits on Jun 25, 2024

• Polymorphism user doc

  lorchrob

  committed
  5607ee0

• Another pass over polymorphism user doc

  lorchrob

  committed
  a1f247f

• First draft of user doc for polymorphic nodes

  lorchrob

  committed
  c04b047

Commits on May 23, 2024

• Add link to Lustre primer in user doc

  daniel-larraz

  committed
  64dd5c6

Commits on May 22, 2024

• Bump version numbers to v2.2.0

  daniel-larraz

  committed
  dd5c930

Commits on May 16, 2024

• Add history types user doc

  daniel-larraz

  committed
  88e52b0

Commits on May 15, 2024

• Update 'assuming' syntax in user doc

  daniel-larraz

  committed
  be1d05e

• Add assumption generation user documentation

  daniel-larraz

  committed
  78a1b0b

Commits on May 9, 2024

• Update user doc references to fix build error

  lorchrob

  committed
  5560c97

Commits on May 2, 2024

• Minor updates to ref types doc

  lorchrob

  committed
  14f1ffb

• Factor out enum type doc to separate file, and take another pass over ref type doc

  lorchrob

  committed
  85f1a67

Commits on Apr 24, 2024

• Minor doc updates

  lorchrob

  committed
  9b35303

• More formatting

  lorchrob

  committed
  b022d4c

• More formatting

  lorchrob

  committed
  c350586

• Doc formatting

  lorchrob

  committed
  e7051bd

• Add first rough draft of ref types user documentation

  lorchrob

  committed
  1c951aa

Commits on Feb 15, 2024

• Make circularity check more conservative

  Show description for 9dc6299
  daniel-larraz

  committed
  9dc6299

Commits on Dec 27, 2023

• Disable custom CSS in HTML user doc

  Show description for d0307bc
  daniel-larraz

  committed
  d0307bc

• Reintroduce 'any' operator

  Show description for 16d922c
  daniel-larraz

  committed
  16d922c

Commits on Dec 26, 2023

• Bump version numbers to v2.1.1

  daniel-larraz

  committed
  78a693d

• Temporarily deactivate 'any' operator before release

  daniel-larraz

  committed
  c854bb9

Commits on Dec 6, 2023

• Reintroduce 'any' operator

  Show description for d17314a
  daniel-larraz

  committed
  d17314a

• Bump version numbers to v2.1.0

  daniel-larraz

  committed
  6f08def

• Temporarily deactivate 'any' operator before release

  daniel-larraz

  committed
  f2756f2

Commits on Nov 3, 2023

• Rename the 'choose' operator to the 'any' operator

  daniel-larraz

  committed
  6b9baae

Commits on Sep 28, 2023

• Update user doc on choose op

  daniel-larraz

  committed
  a064efe

Commits on Sep 13, 2023

• Update user doc for choose op

  daniel-larraz

  committed
  52cc786

Commits on Jun 22, 2023

• Merge remote-tracking branch 'upstream/develop' into nondeterministic-choice

  daniel-larraz

  committed
  d68e43a

Pagination

Previous

Next