1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–25 of 87)

Title T P Status Votes Assignee Version Created Updated Actions
#990: Lg Shark Code Calculator Pack 9 Rapidsharebfdcm ^NEW^
task major resolved
#964: _BEST_ Download King Krule 6 Feet Beneath The Moon Zip
task major resolved
#989: Mishkat Al Masabih Arabic Pdf Download BETTER99
task major resolved
#985: DJ Magrao Festa Mix Vol 5 ~UPD~
task major resolved
#980: Crack Win Iso Standard 6 Key ^NEW^
task major resolved
#979: PTC Creo V2.0 M030 MULTiLANGUAGE-SolidSQUAD
task major resolved
#974: Snapshotsanintroductiontotourismpdf
task major resolved
#972: Download Finecut 8 For Illustrator Tango Furious Gospel !FULL!
task major resolved
#949: Fix not yet implemented stuff for BDDs with Aggregates
task minor open
#948: Investigate link between using replaceVariablesUsingEqualities and correctness
task major new
#870: a question about initialization in LTC
task major invalid
#437: XSB support for recursion over negation
XSB
task major resolved
#339: Definitions with negative recursion leads to incorrect Prolog program
XSB
task major duplicate
#844: Put XSB on as default
XSB
task minor resolved
#692: Improve function check for partial interpretations
task minor invalid
#840: Split definitions as much as possible (also for xsb things)
task major new
#200: Printing of procedures
task major new
#795: Currently xsb_compiler.P's built-in type for char returns too much
task minor new
#661: New Release
task major resolved
#752: modelexpand with output vocabularium
task major new
#739: Self-swap in gcc 4.8 results in sig_abort
task minor new
#720: Double recursive aggregate file
task trivial resolved
#705: BDD nondeterminism in a very specific case
task minor new
#657: Cherry-pick non-specific code from pull requests on hold
task minor resolved
#369: Delay modelexpansion for symbols that only occur in the head of definitions
Inferences
task minor resolved
  2. 1
  3. 2
  4. 3
  5. 4