Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 6, 2024

• Merge pull request #2 from ista-vamos/exper

  egesarac

  authored
  30a1290
  More actions

Commits on Jul 30, 2024

• experiments: update scripts

  mchalupa

  committed
  c4649f5
  More actions

• experiments: update the running scripts

  mchalupa

  committed
  d9136c1
  More actions

• updated universality and constant check

  egesarac

  committed
  59919d0
  More actions

• removed old sample

  egesarac

  committed
  6e9b14b
  More actions

• readme

  egesarac

  committed
  c846de0
  More actions

• readme

  egesarac

  committed
  0152af9
  More actions

• readme, sample programs

  egesarac

  committed
  59891b3
  More actions

• readme

  egesarac

  committed
  c681aa9
  More actions

• readme

  egesarac

  committed
  f82533d
  More actions

Commits on Jul 29, 2024

• fix minor issues

  egesarac

  committed
  62dff53
  More actions

• fix toLimSup

  egesarac

  committed
  3cadbb7
  More actions

• fix parse_trim_complete

  egesarac

  committed
  c0eebb9
  More actions

Commits on Jul 27, 2024

• Update experiments

  mchalupa

  committed
  23d559e
  More actions

Commits on Jul 26, 2024

• experiments: gen more automata

  mchalupa

  committed
  054c0b8
  More actions

• experiments: gen automata for constant time checks

  mchalupa

  committed
  5db5fea
  More actions

• Automaton: allow printing weights with full precision

  mchalupa

  committed
  802b60e
  More actions

Commits on Jul 24, 2024

• top liminf cycle update

  Mazzocchi

  authored
  d4dc6e7
  More actions

• hop

  Mazzocchi

  authored
  eb866f4
  More actions

• top liminf vs top inf

  Mazzocchi

  authored
  3513370
  More actions

• top safety fixed

  Mazzocchi

  authored
  648e64f
  More actions

Commits on Jul 23, 2024

• main: update value functions

  mchalupa

  committed
  e5e582e
  More actions

• tests/test-is-constant: print more information

  mchalupa

  committed
  a8078ae
  More actions

• Weight: redefine weight_t

  mchalupa

  committed
  df72666
  More actions

• tests/test-is-contant: use only complete automata

  mchalupa

  committed
  c4cb0b9
  More actions

• experiments: add scripts

  mchalupa

  committed
  30d0f6d
  More actions

• tests: change params of test-is-constant

  mchalupa

  committed
  c2e330d
  More actions

• Update constant experiments

  mchalupa

  committed
  9929be0
  More actions

• tests: add a test for floating point error in isConstant

  mchalupa

  committed
  2999dea
  More actions

• experiments: add bin for isConstant

  mchalupa

  committed
  fc7608b
  More actions

Commits on Jul 22, 2024

• make.legacy: add a target to build a test

  mchalupa

  committed
  d083201
  More actions

• State: share alphabet with Automaton

  mchalupa

  committed
  1072536
  More actions

• Do not assign a var in a loop if it can be done before that

  mchalupa

  committed
  e41ed9d
  More actions

Commits on Jul 21, 2024

• tests: fix params

  mchalupa

  committed
  6ca72d9
  More actions

• Automaton::isIncludedIn: assert the compatibility of alphabets

  mchalupa

  committed
  0673f43
  More actions

Pagination

PreviousNext