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
github.com
Smattr
rumur
Repository
Branches
Overview
Active
Stale
All
feature/liveness
eb9c1e9d
·
first cut at final liveness check
·
Apr 09, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/shortest-trace
263d49dc
·
add a test for the shortest trace functionality
·
Jun 15, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
F6A5C1AD-BDDF-422F-9463-C188C223934B
d627779e
·
use a "slippy" seen set occupancy counter
·
Jun 18, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
00D99E70-100B-4E49-B5D4-9E8E7FD0D418
e74b964d
·
enable some now-passing tests
·
Oct 01, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/improve-visitor
d8f57a68
·
[FIXME] implement validate() using a post-order traversal
·
Nov 17, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
B9782853-A58C-4535-B5A0-4019306952FF
6064e3b0
·
update Debian changelog
·
Feb 20, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
02312BB4-F75F-4B5B-A736-56FEE1E3AF1C
f0102626
·
add Clang 9 on Linux to CI
·
Apr 16, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
3124824B-97B7-4D3C-8924-1AF21D6F7142
b435c114
·
enable testing on non-master
·
Apr 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/rtm
ebba5603
·
fix missing break in command-line parsing
·
May 11, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/rtm2
c1d3e8c7
·
fix missing break in command-line parsing
·
May 11, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/scalarset-remapping
44f81e3e
·
add test for an unusual scalarset case
·
Jul 05, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/scalarset-remapping2
151cec36
·
during diff printing, track the previous handle separate to the current
·
Jul 06, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
397D9DC2-5692-4391-BB42-C55AF0D7E102
4ed116ba
·
XXX: test branch
·
Jul 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
02A64192-E514-4AEA-B88D-AC7B63EA5AC4
7d976b7a
·
XXX: test FreeBSD on non-master
·
Jul 10, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/scalarset-remapping4
edd9eb04
·
add specialised scalarset mapping fast paths
·
Jul 15, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/scalarset-remapping5
5ca22912
·
XXX: fix: different attempt at unrolling opt
·
Jul 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/scalarset-remapping3
10614037
·
add a command line option for disabling scalarset schedules
·
Jul 25, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
63275909-DCC5-47E3-8087-87FA5D345FA3
c6c1f2c6
·
explicitly install libgmp in Travis for Ubuntu 20.04
·
Sep 09, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/relaxed
272a6e69
·
abstract cache line size along with a sanity check
·
Oct 01, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/cache-align-structures
cac2bc16
·
experiment with cache-line-aligning the pending queues
·
Oct 01, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next