Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
ghc-8.8
c54429a9
·
enable `generic` for json
·
Oct 19, 2020
!39
noSort
976278e6
·
sad
·
Oct 25, 2020
absorbing-poly-minimize
305ac203
·
compute... -> enumerate...
·
Nov 04, 2020
!44
t-beg-example
45fa1597
·
Add T-Beg example markov chain
·
Nov 04, 2020
!43
mini-tests-cleanup
8c07590f
·
examples: Give dfa example an initial state
·
Nov 13, 2020
!46
main-refactor
a285d396
·
tests: Remove unused imports
·
Nov 17, 2020
!47
fb-signatures-simple
663ff404
·
Add DEncoding (better encoding for naive algorithm)
·
Dec 31, 2020
fb-signatures-simple_stack-ghci
01fad50f
·
Bug in stat output
·
Mar 18, 2021
distrib-tmp
468f017b
·
Add documentation on distributed refinement
·
Apr 15, 2021
certificates
7642f444
·
change mvPrinter for `mempty`
·
Apr 28, 2021
!48
symbolic
7b7b8c6e
·
Fix typos in docker README
·
May 10, 2021
Windows-Fixed-(-)
e992401c
·
Hopefully the last Formatting Warning
·
May 10, 2022
!49
fixed-DFA
fd0f754b
·
Update dfa
·
Jun 02, 2022
distributed
42322124
·
Merge MR 50 'Update dfa'
·
Jun 20, 2022
Comments_to_help_Silas_understand_the_Alg
fe8903e4
·
Bunch of comments and some trivial refactoring.
·
Jul 07, 2022
distci
5f0844e5
·
ci: Update ghc container
·
Jul 26, 2022
Master-Distributed-Merge
e087d11f
·
Merge remote-tracking branch 'origin/distci' into Master-Distributed-Merge
·
Jul 26, 2022
!51
sylvansymbolic
ba44d2dc
·
Fix whitespace
·
Oct 14, 2022
ci
7b790ad3
·
ci: Enable new ci for master
·
Oct 19, 2022
ss2
6b7e2c3d
·
Add more debug utils for BDDs
·
Dec 15, 2022
Prev
1
2
3
4
5
6
Next