index
:
vericert
debug/unhashed
dev-michalis
dev/asplos
dev/div
dev/divider
dev/full-nix-build
dev/mac-op
dev/michalis
dev/scheduling
dev/value
exp/inl-cse-const
master
stable
Vericert is a formally verified high-level synthesis tool.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
hls
/
Schedule.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Do not remove dependencies from control-flow
Yann Herklotz
2022-05-31
1
-1
/
+6
*
Fix code generation in partitioning and scheduling
Yann Herklotz
2022-05-27
1
-1
/
+28
*
Rewrite a lot fixing scheduling of Gible
Yann Herklotz
2022-05-27
1
-26
/
+40
*
Remove literal files again
Yann Herklotz
2022-03-26
1
-2
/
+0
*
Add more documentation
Yann Herklotz
2022-03-24
1
-1
/
+1
*
Change origin of tangled files
Yann Herklotz
2022-03-23
1
-1
/
+1
*
Add comments to allow for literate detangling
Yann Herklotz
2022-03-22
1
-1
/
+3
*
Fix RAW dependency calculation for predicates
Yann Herklotz
2022-03-06
1
-0
/
+3
*
Add bourdoncle to build
Yann Herklotz
2021-12-09
1
-1
/
+4
*
Fix operation chaining in scheduler
Yann Herklotz
2021-11-18
1
-8
/
+12
*
Fix generation of RTLParFU
Yann Herklotz
2021-11-17
1
-4
/
+5
*
Merge remote-tracking branch 'origin/dev/divider' into dev/scheduling
Yann Herklotz
2021-11-16
1
-16
/
+53
|
\
|
*
Fix Scheduling to add missing states
Yann Herklotz
2021-02-22
1
-14
/
+34
|
*
Correctly add initial scheduling variables
Yann Herklotz
2021-02-21
1
-4
/
+20
*
|
Move lp_solve to the /temp directory
Yann Herklotz
2021-11-13
1
-4
/
+6
*
|
Fix the scheduler to not remove dead code
Yann Herklotz
2021-11-11
1
-1
/
+1
*
|
Fix compilation issues with new types
Yann Herklotz
2021-10-30
1
-12
/
+14
*
|
[scheduling] Fix connected components of DFG
Yann Herklotz
2021-10-01
1
-6
/
+7
*
|
Improve pretty-printing and add undirected graph
Yann Herklotz
2021-10-01
1
-5
/
+21
*
|
Fix equivalence checking
Yann Herklotz
2021-10-01
1
-1
/
+0
*
|
Fix scheduler for operation chaining
Yann Herklotz
2021-10-01
1
-8
/
+22
*
|
Make all OCaml files compile
Yann Herklotz
2021-09-29
1
-3
/
+3
*
|
Revert "Remove more OCaml files to compile successfully without admits."
Yann Herklotz
2021-09-27
1
-0
/
+801
*
|
Remove more OCaml files to compile successfully without admits.
Yann Herklotz
2021-07-11
1
-801
/
+0
|
/
*
Fix bug in schedule
Yann Herklotz
2021-02-19
1
-2
/
+1
*
Fix schedule for now
Yann Herklotz
2021-02-18
1
-1
/
+2
*
Add udiv and sdiv to constraints
Yann Herklotz
2021-02-17
1
-12
/
+20
*
Remove dead code and add more constraints
Yann Herklotz
2021-02-17
1
-107
/
+16
*
Add option to turn off if-conversion
Yann Herklotz
2021-02-16
1
-2
/
+2
*
Use topological sort for now
Yann Herklotz
2021-02-16
1
-4
/
+9
*
Add schedule for new RTLPar type
Yann Herklotz
2021-02-16
1
-29
/
+42
*
Replace original gather function with new constraints
Yann Herklotz
2021-02-15
1
-15
/
+16
*
Add resource constraints
Yann Herklotz
2021-02-15
1
-6
/
+71
*
Add information about pipeline and comb_delay
Yann Herklotz
2021-02-15
1
-8
/
+41
*
Add data and control dependencies to reworked graph
Yann Herklotz
2021-02-15
1
-43
/
+236
*
Make the schedule a bit neater
Yann Herklotz
2021-02-15
1
-74
/
+63
*
Use proper graph for DFG
Yann Herklotz
2021-02-15
1
-77
/
+113
*
Add temporary fixes to get everything to compile
Yann Herklotz
2021-02-12
1
-10
/
+54
*
Fix scheduling for if-conversion
Yann Herklotz
2021-02-03
1
-14
/
+90
*
Add predicated values and instructions
Yann Herklotz
2021-02-02
1
-8
/
+6
*
Add Vrange and predicates
Yann Herklotz
2021-02-02
1
-21
/
+21
*
Fix OCaml files for compilation
Yann Herklotz
2021-01-31
1
-35
/
+18
*
Translate from RTLBlock to RTLPar
Yann Herklotz
2021-01-13
1
-201
/
+39
*
Fix bugs in Scheduling
Yann Herklotz
2020-10-31
1
-3
/
+12
*
Add tbl_to_casestatement into extraction
Yann Herklotz
2020-10-26
1
-10
/
+23
*
Fix scheduling for loads and stores with WAR dependencies
Yann Herklotz
2020-10-23
1
-16
/
+120
*
Fix bug in scheduling
Yann Herklotz
2020-10-20
1
-1
/
+1
*
Add top level functions to schedule
Yann Herklotz
2020-10-19
1
-49
/
+115
*
Add output to scheduling
Yann Herklotz
2020-10-18
1
-25
/
+282
*
Add HTLBlockgen and more scheduling
Yann Herklotz
2020-10-15
1
-42
/
+64
[next]