Commits · 1.0.8 · Gomes, J.M. / cDMN Solver

Browse files

Jun 03, 2021
- New version release · e5b90c4f
  Simon Vandevelde authored Jun 03, 2021
  
  View commits for tag 1.0.8 1.0.8
  
  e5b90c4f
- Remove crack the code test · 120699bd
  Simon Vandevelde authored Jun 03, 2021
  
  120699bd
- Fix bug with incorrect upper bound · 927d885f
  Simon Vandevelde authored Jun 03, 2021
  
  927d885f
- Update logicalCircuit test · 03dda535
  Simon Vandevelde authored Jun 03, 2021
  
  03dda535
- Add boolean support in verification · 4bcee71a
  Simon Vandevelde authored Jun 03, 2021
  
  4bcee71a
- Merge branch 'dev' of https://gitlab.com/EAVISE/cdmn/cdmn-solver into dev · cb04ea4f
  Simon Vandevelde authored Jun 03, 2021
  
  cb04ea4f
- Merge branch 'iss86' into 'dev' · 017c5142
  Simon Vandevelde authored Jun 03, 2021
  017c5142
- Add API test · 8ad8ef37
  Simon Vandevelde authored Jun 03, 2021
  
  8ad8ef37
- Fix API support for bools · 3bb90038
  Simon Vandevelde authored Jun 03, 2021
  
  3bb90038
- Add new challenge · 1880f923
  Simon Vandevelde authored Jun 03, 2021
  
  1880f923
- Update idp-engine · 5172b467
  Simon Vandevelde authored Jun 03, 2021
  
  5172b467
- Fix IDP API · 3fca6152
  Simon Vandevelde authored Jun 03, 2021
  
  3fca6152
Jun 02, 2021
- Fix issue with new IDP-Z3 v · bbf37282
  Simon Vandevelde authored Jun 02, 2021
  
  bbf37282
Jun 01, 2021
- Merge branch 'shadowed_verification' into 'dev' · 230dec31
  Simon Vandevelde authored Jun 01, 2021
  230dec31
- change shadowed verification to use propagation · 0feae4a5
  Simon Vandevelde authored Jun 01, 2021
  
  0feae4a5
- Support for propagation · 0be8fdba
  Simon Vandevelde authored Jun 01, 2021
  
  0be8fdba
- Fix issue with importing IDP-Z3 · f32b54d0
  Simon Vandevelde authored Jun 01, 2021
  
  f32b54d0
May 27, 2021
- Release 1.0.7 · f2ed7fc1
  Simon Vandevelde authored May 27, 2021
  
  View commits for tag 1.0.7 1.0.7
  
  f2ed7fc1
- Merge branch 'dev' into 'master' · d5bb2bab
  Simon Vandevelde authored May 27, 2021
  d5bb2bab
- Temp remove test · 10e07bde
  Simon Vandevelde authored May 27, 2021
  
  10e07bde
- Remove unneeded prints · a97b126c
  Simon Vandevelde authored May 27, 2021
  
  a97b126c
- Temp remove Doctor Planning · fe20c143
  Simon Vandevelde authored May 27, 2021
  
  fe20c143
- Update print to pretty_print · 0aab48f5
  Simon Vandevelde authored May 27, 2021
  
  0aab48f5
- Fix showing version numbers · ee43d569
  Simon Vandevelde authored May 27, 2021
  
  ee43d569
- Update to latest version · cfce0981
  Simon Vandevelde authored May 27, 2021
  
  cfce0981
May 16, 2021
- Fix error · 6a403754
  Simon Vandevelde authored May 16, 2021
  
  6a403754
- Add Covid_Testing example · f47df737
  Simon Vandevelde authored May 16, 2021
  
  f47df737
- Fix bug with int · cea267a4
  Simon Vandevelde authored May 16, 2021
  
  cea267a4
Apr 28, 2021
- Control nb of models in API model expansion · 32ca7c1c
  Simon Vandevelde authored Apr 28, 2021
  
  32ca7c1c
- Add optimization · 3757290d
  Simon Vandevelde authored Apr 28, 2021
  
  3757290d
Mar 31, 2021
- Update version number · c33d53f4
  Simon Vandevelde authored Mar 31, 2021
  
  View commits for tag 1.0.6 1.0.6
  
  c33d53f4
- Remove unicode · 397cab29
  Simon Vandevelde authored Mar 31, 2021
  
  397cab29
- Fix error in error checking · 55acb48a
  Simon Vandevelde authored Mar 31, 2021
  
  55acb48a
- Remove thorough error check · cc99ad09
  Simon Vandevelde authored Mar 31, 2021
  
  cc99ad09
- Update CLI · b511aec1
  Simon Vandevelde authored Mar 31, 2021
  
  b511aec1
Mar 15, 2021
- hotfix · 8bfbc5bd
  Simon Vandevelde authored Mar 15, 2021
  
  View commits for tag 1.0.5 1.0.5
  
  8bfbc5bd
- idp_solver to idp_engine · af079b05
  Simon Vandevelde authored Mar 15, 2021
  
  af079b05
- Release 1.0.4 · 6655d1bc
  Simon Vandevelde authored Mar 15, 2021
  
  View commits for tag 1.0.4 1.0.4
  
  6655d1bc
- Merge branch 'iss84' into 'master' · 5d7a8ba7
  Simon Vandevelde authored Mar 15, 2021
  5d7a8ba7
- Remove incorrect test · 551c9634
  Simon Vandevelde authored Mar 15, 2021
  
  551c9634