 Lucas Stadler
|
e5ac979f6a
Use libc::c_void for the opaque struct
|
лет назад: 10 |
|
Lucas Stadler
|
a71e0aac9f
Fix the opaque type
|
лет назад: 10 |
|
Lucas Stadler
|
24965887e1
Use `zeroed` instead of `unitialized`.
|
лет назад: 10 |
|
Lucas Stadler
|
6e15c8137c
Add work-in-progress png example
|
лет назад: 10 |
|
Lucas Stadler
|
416aa59f35
Initial commit: Hello FFI in Rust!
|
лет назад: 10 |
|
Lucas Stadler
|
d767e2d6e8
Add Makefiles for unpaginate and stars
|
лет назад: 10 |
|
Lucas Stadler
|
7cc4dec177
Make the usage message prettier
|
лет назад: 10 |
|
Lucas Stadler
|
e977e4e9ca
Add an example for reading repos from a file
|
лет назад: 10 |
|
Lucas Stadler
|
bd3c5dc805
Add a README
|
лет назад: 10 |
|
Lucas Stadler
|
1f049196f8
Add a README
|
лет назад: 10 |
|
Lucas Stadler
|
fa3ce48524
Move semaphore/waitgroup declaration closer to usage
|
лет назад: 10 |
|
Lucas Stadler
|
8abecc94c2
Fix spawning of the error reporting goroutine
|
лет назад: 10 |
|
Lucas Stadler
|
141ebf72bd
Don't fail immediately if errors occur
|
лет назад: 10 |
|
Lucas Stadler
|
fb1c63a477
Ignore all JSON files, not just the stars
|
лет назад: 10 |
|
Lucas Stadler
|
0666312dc8
Remove unused userName config variable
|
лет назад: 10 |
|
Lucas Stadler
|
969309f365
Support for basic auth with token or password
|
лет назад: 10 |
|
Lucas Stadler
|
1f4fb41a2c
Provide a tiny bit of docs
|
лет назад: 10 |
|
Lucas Stadler
|
b91d2b5df0
Make the usage message prettier
|
лет назад: 10 |
|
Lucas Stadler
|
041e07c76a
Fix commas with multiple pages
|
лет назад: 10 |
|
Lucas Stadler
|
0b7ba6d386
Follow the `next` link and collect the results
|
лет назад: 10 |
|
Lucas Stadler
|
7eb856b0a5
Extract next link if there is one
|
лет назад: 10 |
|
Lucas Stadler
|
640a4f7191
Unpaginate all the (json) resources
|
лет назад: 10 |
|
Lucas Stadler
|
c7594b11db
Rename starInfo to repoInfo
|
лет назад: 10 |
|
Lucas Stadler
|
6d09869aa6
Ignore binaries, output directory and sample json
|
лет назад: 10 |
|
Lucas Stadler
|
bef8023f7c
Introduce a config struct and cmdline flags
|
лет назад: 10 |
|
Lucas Stadler
|
b019075741
Make stars fly faster
|
лет назад: 10 |
|
Lucas Stadler
|
94510593c3
Make stars not go lost in the ether
|
лет назад: 10 |
|
Lucas Stadler
|
0b76da28d9
include from_vec only when running tests
|
лет назад: 10 |
|
Lucas Stadler
|
bd6f9241e8
add two (slightly more complex) examples
|
лет назад: 10 |
|
Lucas Stadler
|
ea6f4850a7
remove two more uses of `.clone`
|
лет назад: 10 |
|
Lucas Stadler
|
8a2361dd6c
replace nested loop with `.find`
|
лет назад: 10 |
|
Lucas Stadler
|
d052a48bd9
link the dpll source from the readme
|
лет назад: 10 |
|
Lucas Stadler
|
9476b08a70
mention the dpll solver in the readme, document usage
|
лет назад: 10 |
|
Lucas Stadler
|
95fac8cd93
avoid `.clone()` where possible
|
лет назад: 10 |
|
Lucas Stadler
|
2c471cd484
add commented out debug statements
|
лет назад: 10 |
|
Lucas Stadler
|
31f11b62c9
remove threading workaround
|
лет назад: 10 |
|
Lucas Stadler
|
4fdf121d23
make dpll non-recursive
|
лет назад: 10 |
|
Lucas Stadler
|
78b1496b22
use a thread to increase the stack size
|
лет назад: 10 |
|
Lucas Stadler
|
45ea797254
add a few example cnfs
|
лет назад: 10 |
|
Lucas Stadler
|
d827caf10c
support multiple spaces between variables
|
лет назад: 10 |
|
Lucas Stadler
|
7b3037355f
make filter condition a bit more obvious
|
лет назад: 10 |
|
Lucas Stadler
|
fe27aa5551
support comments and empty lines
|
лет назад: 10 |
|
Lucas Stadler
|
19c052f5d8
use dpll on the dimac formula that was parsed from stdin
|
лет назад: 10 |
|
Lucas Stadler
|
67b0a7f659
make emacs happy (spaces as indents)
|
лет назад: 10 |
|
Lucas Stadler
|
914f3a7877
it says dpll, but i don't believe it yet
|
лет назад: 10 |
|
Lucas Stadler
|
9d2e76e077
implement is_clause_unit
|
лет назад: 10 |
|
Lucas Stadler
|
5bb55f6745
use `.iter().{any,all}` instead of manual iteration
|
лет назад: 10 |
|
Lucas Stadler
|
77c4e49916
use is_true and is_false in the is_clause_* functions
|
лет назад: 10 |
|
Lucas Stadler
|
1a75ade163
change is_true and is_false to work properly with unknowns
|
лет назад: 10 |
|
Lucas Stadler
|
321a0b3969
implement is_true, is_false and is_unknown
|
лет назад: 10 |
