Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
release-ci
8c406733
·
Test release flag in ci
·
Aug 05, 2020
!30
remove-pretty
27e54c1e
·
remove showSorts, rename sortAsScope
·
May 26, 2020
!25
rename
6b0c6325
·
Rename ma to copar in a few other places
·
Nov 09, 2018
restrictPartition
e4674557
·
Fix whitespace
·
Oct 24, 2018
rigrag
2ce5245f
·
Use Z in zigzag
·
Jun 02, 2020
!27
scratch/debug-ap-memusage
f0a46785
·
Add another TODO comment
·
Nov 01, 2018
scratch/performance
071aaed6
·
Random stuff that improves performance
·
Aug 05, 2018
scratch/subterm-elemination
c27b98c8
·
Current state of the work
·
Oct 26, 2018
specialization
c7e3f73b
·
hardwired: Actually specialize for the right functor
·
Feb 24, 2020
!15
ss2
6b7e2c3d
·
Add more debug utils for BDDs
·
Dec 15, 2022
stack
e13739a7
·
Update stack.yaml
·
Mar 11, 2019
sumbag
733171e8
·
Add microbenchmarks for SumBag
·
Mar 11, 2019
sylvan-c-improvements
fb8da7b6
·
Remove unnecessary NULL check for constant pointer
·
Mar 02, 2023
sylvansymbolic
ba44d2dc
·
Fix whitespace
·
Oct 14, 2022
symbolic
7b7b8c6e
·
Fix typos in docker README
·
May 10, 2021
symbolic-bdd-save
a75502fe
·
Don't include random path in zip file
·
Mar 17, 2023
symbolic-io-improvements
17ad10d8
·
Merge branch 'SylvanSymbolic' into 'symbolic-io-improvements'
·
Mar 15, 2023
symci
7d66d59d
·
ci: Hardcode compiler version
·
Sep 06, 2023
syntax-doc
549f1e49
·
Add third reference to 'help functors' to 'help' output
·
Nov 26, 2018
t-beg-example
45fa1597
·
Add T-Beg example markov chain
·
Nov 04, 2020
!43
Prev
1
2
3
4
5
6
Next