Commits · 085a30f2f015b4a679854c9cdc35f2aa8c29e1f2 · Franck Dary / macaon

Jun 12, 2020
- Introduced static oracle to gain speed when dynamic oracle is not mandatory · 74a4a5f6
  Franck Dary authored 4 years ago
  
  74a4a5f6
May 10, 2020
- Aded AppliableTransModule · 1b96cca2
  Franck Dary authored 4 years ago
  
  1b96cca2
Apr 05, 2020
- Sequential · 050839ed
  Franck Dary authored 4 years ago
  
  050839ed
Apr 02, 2020
- added transition split · d438d3c3
  Franck Dary authored 5 years ago
  
  d438d3c3
Feb 17, 2020
- Avoiding loops at end of decoding · f669bcfa
  Franck Dary authored 5 years ago
  
  f669bcfa
Feb 16, 2020
- Forced EOS at the end of decode · b6fda44a
  Franck Dary authored 5 years ago
  
  b6fda44a
Feb 05, 2020
- Added decoder · 586b6b0b
  Franck Dary authored 5 years ago
  
  586b6b0b
Jan 29, 2020
- Added function to get index of a transition · ce420cb5
  Franck Dary authored 5 years ago
  
  ce420cb5
Jan 21, 2020
- Started to implement data loader · 0733a6af
  Franck Dary authored 5 years ago
  
  0733a6af
Jan 13, 2020
- Working skeleton of oracle decoding · 78a246d7
  Franck Dary authored 5 years ago
  
  78a246d7
Jan 12, 2020
- TransitionSet can now give vector of appliable transitions · a74b1252
  Franck Dary authored 5 years ago
  
  a74b1252
Dec 20, 2019
- Added fmt library in the project · db30ed5b
  Franck Dary authored 5 years ago
  
  db30ed5b