Skip to content

Activity

Showing most recent first

refine envrc

rkaminskpushed 1 commit to wip • 4ca41b6…9768d58 • 
26 days ago

Deleted branch

rkaminskdeleted python313 • 
on Feb 26

no need to make Application.main abstract

rkaminskpushed 1 commit to wip • 2302f7f…4ca41b6 • 
on Feb 25

adjust web options

rkaminskpushed 1 commit to wip • 6bd7584…2302f7f • 
on Feb 25

use macos latest

rkaminskpushed 1 commit to python313 • 259bba5…5fad142 • 
on Jan 16

update cibw

rkaminskpushed 1 commit to python313 • 92b27c0…259bba5 • 
on Jan 16

fix cibuildwheel

rkaminskpushed 1 commit to python313 • 2112299…92b27c0 • 
on Jan 16

publish python 3.13 pypi packages

rkaminskcreated python313 • 2112299 • 
on Jan 16

Deleted branch

rkaminskdeleted format • 
on Dec 11, 2024

Merge pull request #531 from potassco/format

Pull request merge
rkaminskpushed 3 commits to wip • e3b4e9a…6bd7584 • 
on Dec 11, 2024

reformat code base

Force push
rkaminskforce pushed to format • 1109044…4a12774 • 
on Dec 11, 2024

Deleted branch

rkaminskdeleted feature/checkpoint • 
on Dec 11, 2024

Improve support for writing checkpoints in aspif format (#530)

Pull request merge
rkaminskpushed 1 commit to wip • 34e9f07…e3b4e9a • 
on Dec 11, 2024

update cffi + fix emplace calls

rkaminskpushed 1 commit to feature/checkpoint • 72c4061…de31874 • 
on Dec 11, 2024

add a pre-commit config with basic formatters

Force push
rkaminskforce pushed to format • c8b9dba…1109044 • 
on Dec 11, 2024

add a pre-commit config with basic formatters

rkaminskcreated format • c8b9dba • 
on Dec 11, 2024

check backend type

rkaminskpushed 1 commit to feature/checkpoint • 7ff4e13…72c4061 • 
on Dec 11, 2024

cleanup pass

rkaminskpushed 1 commit to feature/checkpoint • eec53c0…7ff4e13 • 
on Dec 11, 2024

update generated lexer

rkaminskpushed 1 commit to feature/checkpoint • 3733f33…eec53c0 • 
on Dec 10, 2024

add support to load multiple slices of aspif

rkaminskcreated feature/checkpoint • 3733f33 • 
on Dec 10, 2024

Deleted branch

rkaminskdeleted fix-propagator-issue • 
on Dec 4, 2024

Merge pull request #529 from potassco/fix-propagator-issue

Pull request merge
rkaminskpushed 2 commits to wip • 9a67244…34e9f07 • 
on Dec 4, 2024

Update clasp.

BenKaufmanncreated fix-propagator-issue • baf643a • 
on Dec 4, 2024

Deleted branch

rkaminskdeleted issue-525 • 
on Dec 2, 2024

Merge pull request #527 from potassco/issue-525

Pull request merge
rkaminskpushed 6 commits to wip • 8b78be9…9a67244 • 
on Dec 2, 2024

add function to remove projection atoms

rkaminskpushed 1 commit to issue-525 • 1ee8c90…a254167 • 
on Dec 2, 2024

Add API for changing the set of atoms to project on.

BenKaufmanncreated issue-525 • 1ee8c90 • 
on Nov 26, 2024

Deleted branch

rkaminskdeleted simp-ext • 
on Nov 22, 2024

Merge pull request #526 from potassco/simp-ext

Pull request merge
rkaminskpushed 2 commits to wip • e20f16c…8b78be9 • 
on Nov 22, 2024

Simplify ClaspAPIBackend::external().

BenKaufmanncreated simp-ext • cceb3ed • 
on Nov 22, 2024