8000 Commits · loonwerks/jkind · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jan 21, 2025

Update version for release 4.6.0
kfhoech
committed

Commits on Jan 10, 2025

Commits on Jan 6, 2025

Commits on Dec 25, 2024

updates README
AmerNTahat
committed
untrack docs/JKind User Guide.docx temp
AmerNTahat
committed
untrack docs/JKind User Guide.docx
AmerNTahat
committed
untrack .projectfiles
AmerNTahat
committed
cleans up Cvc5Solver
AmerNTahat
committed
adds recent updates to Cvc5Solver
AmerNTahat
committed
updated README for cvc5 support
AmerNTahat
committed
updated gitignore
AmerNTahat
committed
Update .gitignore, modify Cvc5Solver, and repair JKind build
AmerNTahat
committed
updates gitignore
AmerNTahat
committed
Modified Cvc5Solver, test arguments, properties files, rebuilt with gradlew, and ran test suites
AmerNTahat
committed

Commits on Dec 24, 2024

modified cvc5Solver java and gradle.properties
AmerNTahat
committed

Commits on Oct 23, 2024

cvc5 support
iamundson
committed

Commits on Aug 13, 2024

Pin versions of eclipse dependencies to avoid Java version incompatibilities
kfhoech
committed

Commits on Sep 30, 2022

Fixes to allow '!' in identifiers (#75)
mww-aws
authored

Commits on Aug 29, 2022

Added synchronization to fix NPE bug in MessageHandler (#72)
mww-aws
authored

Commits on Nov 16, 2021

Commits on Nov 15, 2021

Commits on Nov 11, 2021

Fix missing eclipse libs in JAR
kfhoech
committed

Commits on Nov 10, 2021

Commits on Nov 9, 2021

0