rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3,744 Commits 2 Branches 18 Tags
bcfa0219e2b3410eeb5774b28559a26fc9ee938b
Commit Graph

330 Commits

Author SHA1 Message Date
Mark Thom
a2dd189241 add Scryer Prolog Meetup 2024 to README 2024-04-05 12:29:02 -06:00
Markus Triska
74a525a672 link to newly available paper on analysis of dose-escalation protocols 
Many thanks to @dcnorris for this great application and cooperation!
 2024-02-18 09:25:29 +01:00
Markus Triska
bcfdc812f9 explain starting Scryer Prolog 2023-12-22 08:36:29 +01:00
Markus Triska
a02bd46094 mention more passing tests 2023-11-14 04:09:03 +01:00
Mark
4520bedf8d update release link 2023-11-02 17:32:33 -06:00
Adrián Arroyo Calle
660860bccf Replace Hyper with Warp for HTTP server 
- Use Warp
- Optimize clones
- HTTPS server
- Content-Length limit
- HTTP Basic Auth
- Stop server with Ctrl-C
 2023-09-27 18:50:19 +02:00
Markus Triska
640f29fe0f update required Rust version 2023-09-09 07:30:23 +02:00
Markus Triska
b843b76b7a this holds for all architectures (also 32-bit systems) 2023-09-08 23:22:36 +02:00
Rujia Liu
b6ce6b7cdb Basic WebAssembly support with minimal Javascript API #615. Currently 6/12 crypto functions supported. Tested in browser with all default features disabled. 2023-09-08 17:27:22 +08:00
Markus Triska
5ebd4bb2a4 mention precompiled binaries 2023-09-03 14:12:46 +02:00
Markus Triska
1c089a2bbb better wording, applying the feedback from @dcnorris. Thank you a lot! 2023-07-31 22:07:13 +02:00
Markus Triska
918dfca409 DOC: new section on applications of Scryer Prolog 
This addresses an important aspect of #1777.
 2023-07-09 10:29:53 -06:00
Markus Triska
7f159a7ed2 advertise newly achieved strong syntactic conformance: all current tests pass 
This addresses an important aspect of #1777.
 2023-07-03 22:04:26 +02:00
Mark
bf581879e6 update README 2023-06-24 09:11:30 -06:00
infogulch
8792ee438c Add cache step to test workflow 2023-04-02 02:09:41 -05:00
Markus Triska
b87fe1e21f DOC: link to "Indexing dif/2" 2023-04-01 11:04:37 +02:00
Markus Triska
d6ac125425 DOC: explain location of scryer-prolog after compilation 
This question was recently raised on the #scryer IRC channel.
 2023-04-01 11:04:37 +02:00
Markus Triska
b79d8732ea use the release flag so that the instructions can be used verbatim 
Also, the location of the executable depends on this flag.
 2023-04-01 11:04:33 +02:00
Markus Triska
3df0806017 change "run" to "build", since "run" leads to a Scryer prompt which can be unexpected 2023-04-01 11:03:31 +02:00
Markus Triska
1a01438064 add link to newly available homepage 
Many thanks to @aarroyoc for the documentation system, and for hosting the page!
 2023-02-20 20:09:47 +01:00
Robert Jacobson
34ec6d3167 Changed the links for the delimited continuations papers and the precise garbage collection paper. 2023-02-20 01:11:52 -07:00
Robert Jacobson
c9295323f6 Added links to referenced research papers in the Phase 2 and Nice to Have Features sections. 2023-02-20 01:11:52 -07:00
Mark Thom
1eff758751 update README to point to local wambook (#1668) 2022-12-16 00:45:00 -07:00
Mark Thom
9fd1bf5574 mention #scryer in README 2022-11-14 21:16:46 -07:00
Mark Thom
b491a06c6d README rustc version bump 2022-11-14 21:13:52 -07:00
Adrián Arroyo Calle
f2940ddfcf Some minor fixes. Thanks to @triska for them! 2022-10-26 23:36:07 -06:00
Adrián Arroyo Calle
1c8aae0839 MSI installer 2022-05-22 14:18:51 +02:00
Adrián Arroyo Calle
6feb1f8b82 Fix build on Windows 10 2022-05-22 13:18:11 +02:00
Markus Triska
47a6b498e3 ENHANCED: "f" on toplevel to report answers up to the next multiple of 5. 
This makes counting solutions easy.
 2022-05-21 18:20:08 +02:00
Markus Triska
1e9821ec0c document atom and predicate completion with TAB 
This feature, added via
https://github.com/mthom/scryer-prolog/pull/1467, makes the toplevel
interaction a lot more convenient in many cases.

Many thanks to @euanlacy!
 2022-05-15 10:05:30 +02:00
Mark Thom
d06b5f7ab5 prepare for publishing to crates.io (#1335) 2022-03-15 00:07:42 -06:00
Markus Triska
c6264cf098 ADDED: library(simplex), for solving linear programming problems. 2022-03-06 21:49:52 +01:00
Mark Thom
bc9123affb only recommend git cloning to get the latest scryer version in README.md 2022-03-06 10:27:25 -07:00
Mark Thom
7fd12972ad Merge pull request #1322 from triska/explain_strings_better 
DOC: Better explanation of strings and partial strings.
 2022-03-06 10:07:37 -07:00
Mark Thom
2d19243b3b Merge branch 'rebis-dev' into 0.9.0 release
Some checks failed
Test / build (macos-10.15, beta) (push) Has been cancelled
Details
Test / build (macos-10.15, stable) (push) Has been cancelled
Details
Test / build (ubuntu-20.04, beta) (push) Has been cancelled
Details
Test / build (ubuntu-20.04, stable) (push) Has been cancelled
Details
2022-03-06 09:45:05 -07:00
Markus Triska
8ad4f188f2 DOC: Better explanation of strings and partial strings. 2022-03-06 11:05:31 +01:00
Markus Triska
9f864574de ADDED: "f" to enumerate the next 5 solutions, similar to GUPU. 2022-03-02 21:05:49 +01:00
Markus Triska
91aa0f200e add links to the rebis-dev branch and its announcement 2022-01-13 08:46:24 +01:00
Markus Triska
cfbb05fb1b deterministic --> semi-deterministic 2022-01-12 21:58:23 +01:00
Adrián Arroyo Calle
abf980d603 Merge remote-tracking branch 'upstream/rebis-dev' into add-ugraphs-library 2022-01-07 19:14:34 +01:00
Mark Thom
693b6d2547 add version dependency information to README 2022-01-07 07:52:56 -07:00
Mark Thom
06313cac64 update README.md 2022-01-07 00:17:17 -07:00
Adrián Arroyo Calle
0288d5dc19 Add ugraphs library 2021-12-31 12:56:24 +01:00
Markus Triska
538085169a ADDED: library(tls), providing all predicates for TLS connections. 
The currently available predicates for TLS-connections can be extended
with predicates to load and reason about certificates etc.
 2021-12-05 18:16:47 +01:00
Markus Triska
74e76b6f97 MODIFIED: Remove TLS-related predicates from library(sockets). 
They will become available in a new library, library(tls).
 2021-12-05 17:39:22 +01:00
Markus Triska
77c04c3a14 ADDED: Support for creating TLS servers. 
The new predicates tls_server_context/2 and tls_server_negotiate/3 can
be used to negotiate TLS connections with clients for encrypted and
authenticated communication.
 2021-12-03 16:45:27 +01:00
Markus Triska
c44d27fb7f mention pure output predicates in the README 2021-11-08 20:29:39 +01:00
panasenco
dfbf291725 Restructuring and improving documentation. 2021-04-28 22:22:20 -07:00
panasenco
828550687c Rewrote many parts of library(json) to leave no choicepoints when generating JSON. However, the generating performance actually worsened slightly... 2021-04-22 15:21:27 -07:00
Markus Triska
30fd99679a add a new section about support and discussions 2021-04-17 13:45:41 +02:00