Menu
▾
▴
Bugs Maximize Restore
| # | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Creator▾
|
Created▾ | Updated▾ | Priority▾ | |
|---|---|---|---|---|---|---|---|---|---|
| 266 | Typo in option check for -Wl,--export-dynamic | Performance problem | open | Eli Schwartz | 2025-09-14 | 2025-09-14 | 5 | ||
| 265 | Build fails with implicit-int in a configure test probe | Performance problem | open | Eli Schwartz | 2024-03-15 | 2024-05-15 | 5 | ||
| 264 | Build fails with strict-aliasing violations. | Performance problem | open | Eli Schwartz | 2024-03-15 | 2024-05-15 | 5 | ||
| 263 | predicate_property/2 | Core Dump | open | Felix Weitkämper | 2023-07-29 | 2023-08-03 | 5 | ||
| 262 | Missing predicates in Mcintyre | Other | open | Felix Weitkämper | 2023-07-26 | 2023-12-18 | 5 | ||
| 261 | Performance of the list comprehension predicates | Performance problem | open | Felix Weitkämper | 2023-06-26 | 2023-07-18 | 5 | ||
| 260 | longjmp error | Core Dump | open | Felix Weitkämper | 2023-06-15 | 2023-06-20 | 5 | ||
| 259 | Packaging XSB for Guix | Other | open | Alvin Hsu | 2023-06-01 | 2024-03-01 | 5 | ||
| 258 | Numerical lists in the C-Interface | Other | open | Felix Weitkämper | 2023-05-16 | 2023-05-16 | 5 | ||
| 257 | A question on recursive query | wrong answer | open | chi | 2022-12-06 | 2022-12-15 | 5 | ||
| 256 | A minor question on negation in recursive query | wrong answer | open | chi | 2022-12-05 | 2022-12-05 | 5 | ||
| 255 | The Datalog engine hang on recursive query | wrong answer | open | chi | 2022-11-28 | 2022-11-29 | 5 | ||
| 254 | How can I execute a program with command line or python directly | Other | open | chi | 2022-11-22 | 2022-11-28 | 5 | ||
| 253 | partial order asnwer subsumption question | Other | open | Christophe Rey | 2022-10-04 | 2022-10-04 | 5 | ||
| 252 | Documentation error for associative tries | Other | open | BlackRedYellow | 2021-12-20 | 2021-12-20 | 5 | ||
| 251 | sgml2pl parser compile error | Other | open | Tuncay Tekle | 2021-11-15 | 2021-11-15 | 5 | ||
| 250 | unexpected answer with well founded semantics | wrong answer | open | Christophe Rey | 2021-07-14 | 2021-07-14 | 5 | ||
| 244 | XSB interactive promt not working macOS Big Sur 11.1 | Other | open | Maxime Jakubowski | 2021-03-04 | 2021-03-04 | 5 | ||
| 243 | XSB Error with MulVal | Performance problem | open | XSB development team | Adeel Malik | 2020-05-20 | 2020-05-20 | 5 | |
| 242 | Ctrl-C stops the computation of goals specified by the -e option instead of creating a break | Wish List | open | Ed Schwartz | 2018-11-01 | 2018-11-05 | 5 |
