openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
V
Verdi Neruda
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 7 hours
ago. based on code collected
1 day
ago.
Mar 28, 2023 — Mar 28, 2024
Showing page 1 of 4
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Minor changes to the verdi_neruda contribution to avoid a warning and a syntax error when using SICStus Prolog as the back-end compiler
Paulo Moura
More...
about 10 years ago
Add option "exit" to the shell to exit and return to the top-level interpreter.
Paulo Moura
More...
over 10 years ago
Prettified the output from benchmark_all.
Victor Lagerkvist
More...
almost 14 years ago
Removed unused SCRIPTS.txt file. Added info/1 directives to the sample database objects.
Paulo Moura
More...
almost 14 years ago
Fixed the special case when there are no unifiers to print.
Victor Lagerkvist
More...
almost 14 years ago
The shell now prints the bindings that were made during a proof instead of the goal.
Victor Lagerkvist
More...
almost 14 years ago
First pass at supporting variable names in commands for pretty output. Not tested.
Paulo Moura
More...
almost 14 years ago
Changed the init in the shell.
Victor Lagerkvist
More...
almost 14 years ago
Minor documentation to the a* and iddfs interpreters.
Paulo Moura
More...
almost 14 years ago
Fixed the benchmark_all command.
Victor Lagerkvist
More...
almost 14 years ago
Minor clarification to the Logtalk version requirements.
Paulo Moura
More...
almost 14 years ago
Merge branch 'master' of github.com:Joelbyte/verdi-neruda
Paulo Moura
More...
almost 14 years ago
Added support for default parameter values to the iddfs and a* interpreters.
Paulo Moura
More...
almost 14 years ago
Improved the readme.
Victor Lagerkvist
More...
almost 14 years ago
Changed the version number in counter.lgt.
Victor Lagerkvist
More...
almost 14 years ago
Fixed a bug in counter.lgt.
Victor Lagerkvist
More...
almost 14 years ago
Changed the version number to the lowly 0.1 to 1.0 and improved the readme.
Victor Lagerkvist
More...
almost 14 years ago
Turn off informational messages when using SICStus Prolog 4.x as the back-end compiler.
Paulo Moura
More...
almost 14 years ago
Fixed a minor bug in one of the benchmark databases.
Victor Lagerkvist
More...
almost 14 years ago
Some more changes to README.txt.
Victor Lagerkvist
More...
almost 14 years ago
Fixed minor formatting issues and typos in the README.txt file.
Paulo Moura
More...
almost 14 years ago
Added line breaks to the examples section in the readme. I heard they are great!
Victor Lagerkvist
More...
almost 14 years ago
Improved README.txt.
Victor Lagerkvist
More...
almost 14 years ago
Improved user interaction when asking for more solutions while using prove commands.
Paulo Moura
More...
almost 14 years ago
Minor changes to workaround portability issues with Qu-Prolog and XSB.
Paulo Moura
More...
almost 14 years ago
Removed discontinous and dynamic directives.
Victor Lagerkvist
More...
almost 14 years ago
Added conditional compilation for some shell commands.
Victor Lagerkvist
More...
almost 14 years ago
Partitioned the database into a set of bench_*.lgt files and fixed som minor bugs in shell.lgt.
Victor Lagerkvist
More...
almost 14 years ago
Calls to built-in predicates now use the syntax {Call}. It is no longer necessary to explicitly declare built-in predicates.
Paulo Moura
More...
almost 14 years ago
Added a default, demo database.
Paulo Moura
More...
almost 14 years ago
←
1
2
3
4
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree