Skip to content

Activity

Showing most recent first

Use 1.9.5 branch of cadical fork

Lipenpushed 1 commit to master • 5803c00…27a64a5 • 
on Mar 2, 2024

Use 1.9.4 branch of cadical fork

Lipenpushed 1 commit to master • d64943d…5803c00 • 
on Mar 2, 2024

Run single ldconfig command

Lipenpushed 1 commit to master • 9e76ef4…d64943d • 
on Mar 2, 2024

Fix ldconfig command execution

Lipenpushed 1 commit to master • bacfc2b…9e76ef4 • 
on Mar 2, 2024

Fix workflow

Lipenpushed 1 commit to master • 4788f36…bacfc2b • 
on Mar 2, 2024

Fix Kissat tests

Lipenpushed 3 commits to master • 7365520…4788f36 • 
on Mar 2, 2024

Build Kissat on CI

Lipenpushed 5 commits to master • a49c375…7365520 • 
on Mar 2, 2024

Bump Gradle to 8.6

Lipenpushed 3 commits to master • 7583ba4…a49c375 • 
on Mar 1, 2024

Add more methods for Minisat/Glucose, fix tests

Lipenpushed 7 commits to master • 1e2669a…7583ba4 • 
on Mar 1, 2024

Fix lib prefix

Lipenpushed 3 commits to master • 5edc0c2…1e2669a • 
on Mar 1, 2024

Fix libdir on Debian

Lipenpushed 1 commit to master • 27cdd95…5edc0c2 • 
on Mar 1, 2024

Use Lipen/glucose fork with Meson

Lipenpushed 1 commit to master • 0ab0f0b…27cdd95 • 
on Mar 1, 2024

Remove Python setup from windows build job

Lipenpushed 2 commits to master • 1085015…0ab0f0b • 
on Mar 1, 2024

Remove minisat fixup

Lipenpushed 1 commit to master • 56bacbb…1085015 • 
on Mar 1, 2024

Fix path

Lipenpushed 1 commit to master • 6b9df15…56bacbb • 
on Mar 1, 2024

Fix path to libminisat.so

Lipenpushed 1 commit to master • b81c12c…6b9df15 • 
on Mar 1, 2024

Fix install dir

Lipenpushed 1 commit to master • 38fde58…b81c12c • 
on Mar 1, 2024

Remove -v

Lipenpushed 1 commit to master • 19a563a…38fde58 • 
on Mar 1, 2024

Install Meson on CI

Lipenpushed 1 commit to master • 4a0109e…19a563a • 
on Mar 1, 2024

Use Lipen/minisat fork

Lipenpushed 1 commit to master • 4dfc861…4a0109e • 
on Mar 1, 2024

Update kotlin-logging to v5

Lipenpushed 1 commit to master • b81d54b…4dfc861 • 
on Mar 1, 2024

Fix comment

Lipenpushed 1 commit to master • be3d094…b81d54b • 
on Oct 28, 2023

Use const

Lipenpushed 14 commits to master • ff926a2…be3d094 • 
on Oct 27, 2023

Format

Lipenpushed 2 commits to master • 02acd00…ff926a2 • 
on Oct 24, 2023

Reorder imports

Lipenpushed 2 commits to master • 38ffe7c…02acd00 • 
on Oct 24, 2023

Bump deps

Lipenpushed 1 commit to master • 5ebd28f…38ffe7c • 
on Oct 24, 2023

Add logo

Lipenpushed 1 commit to master • e3851fc…5ebd28f • 
on Oct 24, 2023

Merge branch 'master' into nexus/aig-bdd

Lipenpushed 56 commits to nexus/aig-bdd • eed73ab…37b09a4 • 
on Oct 23, 2023

Add script for determining proportion of models

Lipenpushed 1 commit to nexus/aig-bdd • 892263e…eed73ab • 
on Oct 23, 2023

Restore spaces in patch

Lipenpushed 1 commit to master • 2f9572a…e3851fc • 
on Sep 29, 2023