Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on May 22, 2024

• Create LICENSE

  gyankos

  authored
  049f0c1

  Copy full SHA for 049f0c1

• Add files via upload

  gyankos

  authored
  08b3652

  Copy full SHA for 08b3652

Commits on May 19, 2024

• Update cmake-single-platform.yml

  gyankos

  authored
  85c16ba

  Copy full SHA for 85c16ba

• Merge pull request #2 from gyankos/master

  Show description for abcce4b
  gyankos

  authored
  abcce4b

  Copy full SHA for abcce4b

Commits on May 18, 2024

• Update my_unordered_set.h

  gyankos

  authored
  a7331c1

  Copy full SHA for a7331c1

• Update model_reducer.h

  gyankos

  authored
  e91ee2a

  Copy full SHA for e91ee2a

• Update map_inout.h

  gyankos

  authored
  0a24539

  Copy full SHA for 0a24539

• Update ltlf.h

  gyankos

  authored
  df09b2a

  Copy full SHA for df09b2a

• Update declare_to_powerdecl.h

  gyankos

  authored
  f65528a

  Copy full SHA for f65528a

• Update declare_to_lydialtlf.h

  gyankos

  authored
  7590a45

  Copy full SHA for 7590a45

• Update declare_cases.h

  gyankos

  authored
  1a89de8

  Copy full SHA for 1a89de8

• Update model_reducer.cpp

  gyankos

  authored
  f990fb8

  Copy full SHA for f990fb8

• Update ltlf.cpp

  gyankos

  authored
  c943471

  Copy full SHA for c943471

• Update declare_to_powerdecl.cpp

  gyankos

  authored
  552b644

  Copy full SHA for 552b644

• Update declare_to_lydialtlf.cpp

  gyankos

  authored
  e1b5996

  Copy full SHA for e1b5996

• Update declare_cases.cpp

  gyankos

  authored
  f72be16

  Copy full SHA for f72be16

• Update main.cpp

  gyankos

  authored
  b1896c5

  Copy full SHA for b1896c5

• Update tests.cpp

  gyankos

  authored
  050eea2

  Copy full SHA for 050eea2

• Update to_automaton.cpp

  gyankos

  authored
  7ee90e4

  Copy full SHA for 7ee90e4

Commits on Oct 23, 2023

• Merge branch 'master' of github.com:jackbergus/DECLAREd

  jackbergus

  committed
  0bb73e7

  Copy full SHA for 0bb73e7

• Update to NegSuccession

  jackbergus

  committed
  6a0ceb9

  Copy full SHA for 6a0ceb9

Commits on Oct 10, 2023

• Merge branch 'main' of github.com:gyankos/reducer

  jackbergus

  committed
  81aa6e5

  Copy full SHA for 81aa6e5

• Delete dist/libantlr4-runtime.a

  jackbergus

  authored
  98b77a1

  Copy full SHA for 98b77a1

• Anonymous submission

  jackbergus

  committed
  83681b6

  Copy full SHA for 83681b6

Commits on Oct 3, 2023

• Merge pull request #1 from gyankos/master

  Show description for 185e429
  gyankos

  authored
  185e429

  Copy full SHA for 185e429

• Merge branch 'main' of github.com:gyankos/reducer

  jackbergus

  committed
  2fc62f9

  Copy full SHA for 2fc62f9

• Initial commit

  gyankos

  authored
  3feb046

  Copy full SHA for 3feb046

Commits on Sep 6, 2023

• Further

  jackbergus

  committed
  2c31121

  Copy full SHA for 2c31121

Commits on Sep 5, 2023

• ChainSuccession with also response

  jackbergus

  committed
  8d35263

  Copy full SHA for 8d35263

Commits on Sep 4, 2023

• Now, considering both arguments for chocie

  jackbergus

  committed
  6994f6a

  Copy full SHA for 6994f6a

• Bug found: only was handling one element at a time

  jackbergus

  committed
  84138ae

  Copy full SHA for 84138ae

Commits on Aug 28, 2023

• Update CMakeLists.txt

  anonimoIV

  authored
  fa0cd03

  Copy full SHA for fa0cd03

• Setting up rapidxml

  jackbergus

  committed
  cf745bf

  Copy full SHA for cf745bf

• Merge branch 'master' of github.com:anonimoIV/modelinference

  jackbergus

  committed
  9b3ad5d

  Copy full SHA for 9b3ad5d

• Further testing

  jackbergus

  committed
  865dd9b

  Copy full SHA for 865dd9b

Pagination

Previous

Next