Commits · v0.4.4 · Mohab Safey El Din / msolve · GitLab

Snippets Groups Projects

Jul 28, 2022
- Merge branch 'julia-export-bug' into 'master' · 4d164d6d
  Christian Eder authored 2 years ago
  View commits for tag v0.4.4 v0.4.4
  
  4d164d6d
Jul 27, 2022
- bumps version number for new minor bug fix release · ec351d62
  Christian Eder authored 2 years ago
  
  ec351d62
- adds lml adjustment when reducing basis in modular f4 · 9e9dad06
  Christian Eder authored 2 years ago
  
  9e9dad06
- adds lml adjustment when reducing basis in f4 · 5fc5f547
  Christian Eder authored 2 years ago
  
  5fc5f547
- adds more debug information if needed · 378d4edb
  Christian Eder authored 2 years ago
  
  378d4edb
Jul 26, 2022
- new minor release for normal form and saturation bug fixes · 36dccfe8
  Christian Eder authored 2 years ago
  
  View commits for tag v0.4.3 v0.4.3
  
  36dccfe8
Jul 23, 2022
- Merge branch 'nf_bug_fixes' into 'master' · e40c703d
  Christian Eder authored 2 years ago
  e40c703d
- fixes v2 printing for nf · a296ca8c
  Christian Eder authored 2 years ago
  
  a296ca8c
- fixes validation checks for nf and f4sat · 828895e6
  Christian Eder authored 2 years ago
  
  828895e6
- removes debug info printing · 290b1f3d
  Christian Eder authored 2 years ago
  
  290b1f3d
- removes debug info · 24393ed3
  Christian Eder authored 2 years ago
  
  24393ed3
- fixes f4sat · 3e7fbd65
  Christian Eder authored 2 years ago
  
  3e7fbd65
- generalize input data checking with regard to normal form resp. saturation input · b6358297
  Christian Eder authored 2 years ago
  
  b6358297
- mentions AlgebraicSolving.jl in interfaces · 11878ac6
  Christian Eder authored 2 years ago
  
  11878ac6
Jul 22, 2022
- updates version numbering · 91bd6734
  Christian Eder authored 2 years ago
  
  View commits for tag v0.4.2 v0.4.2
  
  91bd6734
- Merge branch 'debug' into 'master' · 8aafdab2
  Mohab Safey El Din authored 2 years ago
  8aafdab2
- attempt to fix bug on ARM · c8d1a818
  Mohab Safey El Din authored 2 years ago
  
  c8d1a818
Jul 20, 2022
- Merge branch 'debug' into 'master' · da4188b8
  Mohab Safey El Din authored 2 years ago
  da4188b8
- one more bug fix (dquot == 1) · 976bb9f5
  Mohab Safey El Din authored 2 years ago
  
  976bb9f5
Jul 19, 2022
- Merge branch 'debug' into 'master' · 8c2ee354
  Mohab Safey El Din authored 2 years ago
  8c2ee354
- some more bug fixes + removes dbg msgs · 73a28ac5
  Mohab Safey El Din authored 2 years ago
  
  73a28ac5
Jul 18, 2022
- some bug fixes · 5ea68ebb
  Mohab Safey El Din authored 2 years ago
  
  5ea68ebb
Jul 15, 2022
- bumps version number · 0c05f5f4
  Christian Eder authored 2 years ago
  
  View commits for tag v0.4.1 v0.4.1
  
  0c05f5f4
- Merge branch 'compiler_warnings' into 'master' · c071153c
  Christian Eder authored 2 years ago
  c071153c
- reenters trace_det functionality without returning · bbba478e
  Christian Eder authored 2 years ago
  
  bbba478e
- disable unused functions · 2b81cbf6
  Christian Eder authored 2 years ago
  
  2b81cbf6
- remove unused variables · 1a544ca0
  Christian Eder authored 2 years ago
  
  1a544ca0
- remove unused variable · 18ce3a25
  Christian Eder authored 2 years ago
  
  18ce3a25
- fixes help for multithreading · 2f6c68e4
  Christian Eder authored 2 years ago
  
  2f6c68e4
Jul 14, 2022
- Merge branch 'julia-interface' into 'master' · 0c65a79e
  Christian Eder authored 2 years ago
  View commits for tag v0.4.0 v0.4.0
  
  0c65a79e
- updates version number to 0.4.0 due to julia interface changes · 3a652342
  Christian Eder authored 2 years ago
  
  3a652342
- updates julia interface to support more details for rational parametrization · 885685f0
  Christian Eder authored 2 years ago
  
  885685f0
Jul 09, 2022
- Merge branch 'debug' into 'master' · 8d55764f
  Mohab Safey El Din authored 2 years ago
  View commits for tag v0.3.2 v0.3.2
  
  8d55764f
- debug -g2 option in char 0 · dfcf6cfb
  Mohab Safey El Din authored 2 years ago
  
  dfcf6cfb
Jul 08, 2022
- Merge branch 'arm-linear-system-fix' into 'master' · 4187f289
  Christian Eder authored 2 years ago
  View commits for tag v0.3.1 v0.3.1
  
  4187f289
- fixes arm implementation for linear input systems · 3271d752
  Christian Eder authored 2 years ago
  
  3271d752
Jul 07, 2022
- Merge branch 'debug' into 'master' · 74a8c924
  Mohab Safey El Din authored 2 years ago
  74a8c924
- attempt to fix bug on arm · 399cc7bc
  Mohab Safey El Din authored 2 years ago
  
  399cc7bc
- fixes comma issue in the display of the output · 093da837
  Mohab Safey El Din authored 2 years ago
  
  093da837
Jul 06, 2022
- Merge branch 'tests' into 'master' · 879afc3c
  Christian Eder authored 2 years ago
  879afc3c