Document cvc5-style numerals (!5) · Merge requests · veriT / Alethe · GitLab

Snippets Groups Projects

Merged Hans-Jörg requested to merge devel/decimals into master 10 months ago

Aug 07, 2024
- Clarify that symbols that overlap with numbers are not allowed · de29f8f1
  Hans-Jörg authored 8 months ago
  
  de29f8f1
- Add changes to changelog · 0e14e021
  Hans-Jörg authored 10 months ago
  
  0e14e021
- Apply 1 suggestion(s) to 1 file(s) · 062a4959
  Haniel Barbosa authored 10 months ago and Hans-Jörg committed 8 months ago
  
  Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
  062a4959
- Update changelog: note that forall_inst was changed · 1b0dfa9e
  Hans-Jörg authored 10 months ago
  
  1b0dfa9e
- Remove confusing sentence fragment · ebfd3b93
  Hans-Jörg authored 10 months ago
  
  ebfd3b93
- Rename negative_ to nonpositive_ · eaeb3951
  Hans-Jörg authored 10 months ago
  
  eaeb3951
- No division by 0 in rational constants · 0258cc6c
  Hans-Jörg authored 10 months ago
  
  0258cc6c
- Add changes to changelog · 2e3d2fd7
  Hans-Jörg authored 10 months ago
  
  2e3d2fd7
- Change la_generic to use the new number formats · a686dd90
  Hans-Jörg authored 10 months ago
  
  a686dd90
- Fix affiliation · 4fe7cf4c
  Hans-Jörg authored 10 months ago
  
  4fe7cf4c
- Add condensed syntax for numbers and explain · 2a770483
  Hans-Jörg authored 10 months ago
  
  2a770483