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
*
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
*
Add scheduling
Yann Herklotz
2020-09-03
1
-0
/
+139