Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Z
Zipr Toolchain
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Model registry
Operate
Environments
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Open Source Software
Zipr Toolchain
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
b579ed1d0b9c344ac4ee5f832f388d429dfa2ea5
Select Git revision
Branches
20
13-keystone-should-return-an-error-when-assembling-instruction
19-need-ubuntu22-support
21-job-failed-248429
SRL-Windows
SRL_kernelModules
ZS-91-opensrc-zipr
add-u24
add_arm32_eh
ais-release-sept-2019
arm_port
aware-sw-delivery
bugfixes
cfar_phase1_final_release
cfar_phase2_3rdquarter_release
cfar_phase2_final_release
cfar_phase2_midterm_release
cfar_phase3_midterm_release
cgc-sw-deliverables
cgc_dev
copyright-headers
Tags
6
gt_eval
Release-2-26-2021
cfar-phase3-final
CFAR_AEI
CfarJuly2018Eval
pre-las-vegas
26 results
Begin with the selected commit
Created with Raphaël 2.2.0
16
Nov
15
11
10
9
8
4
3
2
1
31
Oct
30
29
28
27
26
25
21
20
19
18
17
12
11
10
5
4
3
1
30
Sep
29
28
27
22
21
16
14
12
9
8
6
2
31
Aug
30
27
26
25
24
22
18
17
16
15
12
9
8
5
4
3
2
30
Jul
29
27
26
25
22
21
15
14
12
8
7
6
5
1
29
Jun
28
24
23
21
20
17
16
15
14
13
10
1
31
May
13
5
4
6
Apr
31
Mar
29
25
23
22
21
18
17
15
18
Jan
17
16
13
12
11
30
Dec
29
28
30
Nov
5
2
29
Oct
27
Integer tests by Austin
Added pn into the trunk. The make file will only make pn when requested specifically to do so at the moment.
...
Added knapsack_problem test
Added some simple tests
Additions to simple test makefile
Now ps_validate checks if the conclic engine has generated output pairs for an input before attempting to replay the input.
...
peasoupified...
...
Added make rules for peasoup
Version where overflow is not detected
Added rule to make peasoupified version
Copying T&E sample programs here
Adding more binary test cases.
Use unified code for truncation: we handle 32->16 and 32->8 (signed, unsigned, unknown) in one function
Added not and unified support for truncation
Added truncation 32-->16 unsigned
saving work
Removed debugging code
cleanup code, comments and tests
Restore timeout to 5mn for Pn
...
Handling 16 bit overflows
...
turned off -l tracer for grace. Causes problems in some test programs.
ps_validate.sh now actually checks for exit status. If no exit status if available for a given json file, it is assumed the json file was never ran for baseline output, and any further validation for that input is ignored.
ps_validate.sh now validates exit status
ps_validate.sh now checks outputs generated by the program in addition to stdout and stderr
Changed rewriter to expected executed address files consiting only of a list of hex addresses.
When generating coverage, the executed address file used for coveage now only contains a list of addresses.
Fixed error in rewriter. Was previously getting the size of the executed address file for coverage in the rewriter using seek, but did not reset the stream to the beginning.
Changed xform Makefile to clean .a files.
Adding readme file with inputs.
Adding needed directories.
More input commits.
Adding input files.
Adding dry run source test case.
Loading