gabrieldosreis/open-axiom issues and pull requests

#57 - [bemol] Don't expose `OpenAxiom::SourceInput`

Pull Request - State: closed - Opened by GabrielDosReis 6 months ago

#57 - [bemol] Don't expose `OpenAxiom::SourceInput`

Pull Request - State: closed - Opened by GabrielDosReis 6 months ago

#56 - [boot] Export names used in other modules

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#56 - [boot] Export names used in other modules

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#55 - [build] Tidy C++ build options

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#55 - [build] Tidy C++ build options

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#54 - Simplify native reading

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#54 - Simplify native reading

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#53 - [bemol] Properly classify whitespace tokens

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#53 - [bemol] Properly classify whitespace tokens

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#52 - [hyper] Reduce uses of `sprintf`

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#52 - [hyper] Reduce uses of `sprintf`

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#51 - [graph] Tidy uses of `sprintf`

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#51 - [graph] Tidy uses of `sprintf`

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#50 - [asq] Rename VERSION to ASQ_VERSION

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#50 - [asq] Rename VERSION to ASQ_VERSION

Pull Request - State: closed - Opened by GabrielDosReis 7 months ago

#49 - [interp] Fix errornous type assertions

Pull Request - State: closed - Opened by GabrielDosReis 8 months ago

#49 - [interp] Fix errornous type assertions

Pull Request - State: closed - Opened by GabrielDosReis 8 months ago

#48 - Bump version date

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#48 - Bump version date

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#47 - [hyper] `SpadStatus`: distinct type for spad server status

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#47 - [hyper] `SpadStatus`: distinct type for spad server status

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#46 - Remove "unused but set variables" from native code

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#46 - Remove "unused but set variables" from native code

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#45 - [hyper] Make displayed region a distinct type

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#45 - [hyper] Make displayed region a distinct type

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#44 - [hyper] Give spad server commands unique type

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#44 - [hyper] Give spad server commands unique type

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#43 - Native components: Don't allow writeable literal strings

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#43 - Native components: Don't allow writeable literal strings

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#42 - [hyper] Token types are now of `enum class` type

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#42 - [hyper] Token types are now of `enum class` type

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#41 - [hyper] Data member `Token::type` should not be of type `int`

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#41 - [hyper] Data member `Token::type` should not be of type `int`

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#40 - Fix thinko in call to read_ht_file

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#40 - Fix thinko in call to read_ht_file

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#39 - Sequester Hyper `StateNode`

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#39 - Sequester Hyper `StateNode`

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#38 - Strongly type Hyper `gFileHashTable`

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#38 - Strongly type Hyper `gFileHashTable`

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#37 - Simplify Hyper `read_ht_file` further

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#37 - Simplify Hyper `read_ht_file` further

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#36 - Rewrite Hyper `read_ht_db`

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#36 - Rewrite Hyper `read_ht_db`

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#35 - Make Hyper's FilePosition::name `const char*`

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#35 - Make Hyper's FilePosition::name `const char*`

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#34 - Replace `setjmp/longjmp` with `try/catch` in Hyper

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#34 - Replace `setjmp/longjmp` with `try/catch` in Hyper

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#33 - Remove `useAscii` from HT component.

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#33 - Remove `useAscii` from HT component.

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#32 - Update build requirements and CI setup

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#32 - Update build requirements and CI setup

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#31 - Don't use sprintf in cfuns-c.cxx

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#31 - Don't use sprintf in cfuns-c.cxx

Pull Request - State: closed - Opened by GabrielDosReis about 1 year ago

#30 - Use c++20 to build GUI

Pull Request - State: closed - Opened by ip1981 over 2 years ago