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

Browse files

Mar 08, 2022
- Merge branch 'idp092' into 'dev' · 99e317e6
  Simon Vandevelde authored Mar 08, 2022
  99e317e6
- Update API to work with idp092 · bb318b17
  Simon Vandevelde authored Mar 08, 2022
  
  bb318b17
- Update to new sum syntax · 04d60042
  Simon Vandevelde authored Mar 08, 2022
  
  04d60042
- Final period · 2e2c83a0
  Simon Vandevelde authored Mar 08, 2022
  
  2e2c83a0
Mar 07, 2022
- Add period in structure · e8884c8d
  Simon Vandevelde authored Mar 07, 2022
  
  e8884c8d
- Period in structure · 961cabfb
  Simon Vandevelde authored Mar 07, 2022
  
  961cabfb
- Max numbers is named arg · 4eaa91ad
  Simon Vandevelde authored Mar 07, 2022
  
  4eaa91ad
- Merge branch 'master' into dev · 5845b30f
  Simon Vandevelde authored Mar 07, 2022
  
  5845b30f
- Update reference · f2fbc572
  Simon Vandevelde authored Mar 07, 2022
  
  f2fbc572
Jan 09, 2022
- Remove unneeded print · 203e8313
  Simon Vandevelde authored Jan 09, 2022
  
  203e8313
Dec 28, 2021
- Cleanup DMN string · 4948d4b0
  Simon Vandevelde authored Dec 28, 2021
  
  4948d4b0
- Support new Camunda XML · 07e1d715
  Simon Vandevelde authored Dec 28, 2021
  
  07e1d715
Jun 03, 2021
- New version release · e5b90c4f
  Simon Vandevelde authored Jun 03, 2021
  
  View commits for tag 1.0.8 1.0.8
  
  e5b90c4f
- Merge branch 'dev' into 'master' · 0d509fcd
  Simon Vandevelde authored Jun 03, 2021
  0d509fcd
- 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