Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Kaushik Mallik
MascotSDS
Repository
Branches
Overview
Active
Stale
All
parallel
79a2ee36
·
merged with the current state of the master
·
Jun 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cmake_install
8f7177d4
·
_env.sh -> env.sh
·
Aug 24, 2021
!7
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
universal_bdds_representation
91768b70
·
Bugfixes: Incorrect decimal to binary conversion at several places
·
Sep 29, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
develop
23756d65
·
add TODO.md
·
Oct 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-repleace-mex-with-python
fe427e51
·
Add CMakeLists.txt to cython
·
Oct 29, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
unifying_approximations
d5abec04
·
refactoring + unifying approx
·
Sep 14, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-boolean-predicates
be332c2a
·
implemented the boolean predicates; not working: runtime error
·
Nov 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
FairSyn
757a586d
·
Merge branch 'FairSyn' of gitlab.mpi-sws.org:kmallik/mascot-sds into FairSyn
·
Jan 01, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-parallel-abstraction-thread-lib
5605ffb7
·
still not working, remove the call by reference in the parallel threads
·
Jan 19, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
testing_parallelism
f4dc90b5
·
passing inputs by value instead of reference to the parallel threads
·
Feb 13, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-parallel-abstraction
ae87715f
·
Merge branch 'master' into feature-parallel-abstraction
·
May 21, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
ae87715f
·
Merge branch 'master' into feature-parallel-abstraction
·
May 21, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar